Encoding Planning Problems in Nonmonotonic Logic Programs.
Yannis DimopoulosBernhard NebelJana KoehlerPublished in: ECP (1997)
Keyphrases
- planning problems
- logic programs
- logic programming
- strong equivalence
- answer set semantics
- solving planning problems
- minimal models
- domain independent
- heuristic search
- nonmonotonic reasoning
- autoepistemic logic
- answer set programming
- state space
- answer sets
- fixpoint
- background knowledge
- stable models
- model theoretic
- planning domains
- deductive databases
- semantics of logic programs
- ai planning
- inductive logic programming
- default logic
- default reasoning
- constraint satisfaction
- classical logic
- nonmonotonic logics
- constraint logic programming
- stable model semantics
- search space