2649 search results - page 46 / 530 » Temporal Theories of Reasoning |
107
click to vote
IJPRAI
2000
14 years 11 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...
JOLLI
2008
14 years 11 months ago
2008
Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people's b...
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
119
click to vote
IJAR
2006
14 years 12 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
114
click to vote
CI
2004
14 years 11 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...