Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming.
Tran Cao SonChiaki SakamaPublished in: DALT (2009)
Keyphrases
- answer set programming
- reasoning tasks
- cooperative
- logic programming
- reasoning about actions
- action language
- plan execution
- logic programs
- modulo theories
- knowledge representation
- decision theoretic
- answer sets
- constraint logic programming
- answer set programs
- situation calculus
- causal theories
- classical planning
- stable models
- automated reasoning
- heuristic search
- planning problems
- reasoning problems
- knowledge base
- probabilistic reasoning
- knowledge representation and reasoning
- event calculus
- action theories
- stable model semantics
- machine learning
- general purpose
- planning graph
- deductive databases
- update semantics
- disjunctive logic programming
- reasoning systems
- satisfiability modulo theories
- object oriented
- nonmonotonic reasoning