An Extension to Conformant Planning Using Logic Programming.
A. Ricardo MoralesPhan Huy TuTran Cao SonPublished in: IJCAI (2007)
Keyphrases
- logic programming
- conformant planning
- logic programs
- symbolic model checking
- answer set programming
- answer sets
- knowledge base
- programming language
- deductive databases
- computationally hard
- knowledge representation
- initial state
- default logic
- forward search
- constraint logic programming
- planning problems
- reasoning about actions
- relational databases
- search space
- fixpoint
- ai planning
- inductive logic programming