Planning with Sensing Actions and Incomplete Information Using Logic Programming.
Tran Cao SonPhan Huy TuChitta BaralPublished in: LPNMR (2004)
Keyphrases
- logic programming
- incomplete information
- sensing actions
- partial information
- logic programs
- deductive databases
- extended logic programs
- planning problems
- event calculus
- nonmonotonic reasoning
- knowledge representation
- reasoning tasks
- situation calculus
- answer set programming
- query answering
- autonomous agents
- knowledge base
- stable models
- programming language
- answer sets
- probabilistic reasoning
- classical planning
- search algorithm
- open world
- machine learning