Multi-Agent Plan Verification with Answer Set Programming.
Stephan OpferStefan NiemczykKurt GeihsPublished in: MORSE@RoboCup (2016)
Keyphrases
- answer set programming
- multi agent
- logic programs
- multi agent planning
- logic programming
- answer sets
- reasoning tasks
- constraint logic programming
- causal theories
- answer set programs
- stable models
- stable model semantics
- model checking
- reinforcement learning
- disjunctive logic programming
- multiple agents
- modulo theories
- machine learning
- haplotype inference
- update semantics
- ai planning
- deductive databases
- object oriented
- expert systems