830 search results - page 9 / 166 » Topological Reasoning and The Logic of Knowledge |
IJPRAI
2000
13 years 7 months ago
2000
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
IJCAI
2003
13 years 8 months ago
2003
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
AAAI
1998
13 years 8 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
CL
2000
Springer
13 years 11 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
CI
2002
13 years 7 months ago
2002
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...