15754 search results - page 2 / 3151 » Programs are Knowledge Bases |
KR
1994
Springer
13 years 9 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
IJCAI
1993
13 years 7 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
COOPPN
2001
Springer
13 years 10 months ago
2001
Springer
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
INTERACT
2003
13 years 7 months ago
2003
: Whereas sophisticated computer users can exercise more control in what they are exposed to and produce computational artifacts, technologically challenged end-users assume a more...