Towards an Expressive Practical Logical Action Theory.

Mikhail Soutchanski Wael Yehia

Published in: Turing-100 (2012)

Keyphrases

action theories
situation calculus
incomplete information
model theoretic
linear programming
markov chain
multiagent systems