3773 search results - page 119 / 755 » Logical Reasoning |
127
click to vote
KR
1991
Springer
15 years 7 months ago
1991
Springer
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
138
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
121
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
141
Voted
IJPRAI
2000
15 years 3 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...
116
Voted
IJCAI
2007
15 years 4 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...