Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning.
Ben WrightEnrico PontelliTran Cao SonPublished in: CLIMA (2012)
Keyphrases
- answer sets
- multi agent
- logic programs
- answer set programming
- logic programming
- action selection
- answer set semantics
- expressive power
- initial state
- derived predicates
- normal logic programs
- plan execution
- reinforcement learning
- answer set programs
- planning problems
- heuristic search
- markov chain
- stable models
- search space
- search algorithm
- loop formulas
- database