158 search results - page 1 / 32 » Space Efficiency of Propositional Knowledge Representation F... |
JAIR
2000
13 years 4 months ago
2000
IJPRAI
2000
13 years 4 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...
AAAI
1993
13 years 6 months ago
1993
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
JANCL
2006
13 years 5 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
COSIT
1999
Springer
13 years 9 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...