158 search results - page 1 / 32 » Space Efficiency of Propositional Knowledge Representation F... |
74
Voted
JAIR
2000
14 years 10 months ago
2000
95
Voted
IJPRAI
2000
14 years 10 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
14 years 11 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...
95
Voted
JANCL
2006
14 years 10 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
15 years 2 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...