Action Theory Evolution

Ivan José Varzinczak

Published in: CoRR (2008)

Keyphrases

action theories
situation calculus
initial state
reasoning about actions
machine learning
general purpose
knowledge base
sufficient conditions
theorem prover