Progression of Decomposed Local-Effect Action Theories.

Denis K. Ponomaryov Mikhail Soutchanski

Published in: CoRR (2017)

Keyphrases

action theories
situation calculus
reasoning about actions
deterministic finite state automata
learning algorithm
knowledge representation
incomplete information
modal logic