Optimisation and Relaxation for Multiagent Planning in the Situation Calculus.

Toby O. Davies Adrian R. Pearce Peter J. Stuckey Harald Søndergaard

Published in: AAMAS (2015)

Keyphrases

situation calculus
multiagent planning
multiagent systems
action theories
event calculus
mechanism design

reasoning about actions
initial state
fluent calculus
modal logic
blocks world
provably correct

logical language
concurrent actions
objective function
sensing actions
learning algorithm
action language

indirect effects
autonomous agents
dynamic programming
multi agent
machine learning
taxonomic reasoning