Answer Set Planning under Action Costs.
Thomas EiterWolfgang FaberNicola LeoneGerald PfeiferAxel PolleresPublished in: JELIA (2002)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- action selection
- derived predicates
- fixpoint
- normal logic programs
- initial state
- answer set programs
- heuristic search
- plan execution
- planning problems
- ai planning
- programming language
- counter examples
- machine learning
- nonmonotonic reasoning