Answer Set Planning Under Action Costs.
Thomas EiterWolfgang FaberNicola LeoneGerald PfeiferAxel PolleresPublished in: J. Artif. Intell. Res. (2003)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- action selection
- answer set semantics
- normal logic programs
- planning problems
- derived predicates
- heuristic search
- answer set programs
- counter examples
- plan execution
- loop formulas
- reasoning tasks
- initial state
- semantics of logic programs
- data structure
- knowledge representation