858 search results - page 55 / 172 » Planning and defeasible reasoning |
122
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
80
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— Robots’ interaction with humans raises new issues for geometrical reasoning where the humans must be taken explicitly into account. We claim that a human-aware motion system ...
IJCAI
2007
15 years 2 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...
118
click to vote
IJPRAI
2000
15 years 15 days 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...
84
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...