Answer Set Planning Under Action Costs
Thomas EiterWolfgang FaberNicola LeoneGerald PfeiferAxel PolleresPublished in: CoRR (2011)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- derived predicates
- action selection
- answer set semantics
- normal logic programs
- plan execution
- planning problems
- loop formulas
- initial state
- stable models
- nonmonotonic reasoning
- fixpoint
- ai planning
- databases
- deductive databases
- retrieval effectiveness
- heuristic search
- query language
- reinforcement learning