On Action Theory Change.

Ivan José Varzinczak

Published in: J. Artif. Intell. Res. (2010)

Keyphrases

action theories
situation calculus
initial state
reasoning about actions
multi agent
programming language