First-Order Strong Progression for Local-Effect Basic Action Theories.

Stavros Vassos Gerhard Lakemeyer Hector J. Levesque

Published in: KR (2008)

Keyphrases

action theories
situation calculus
initial state
incomplete information
reasoning about actions
deterministic finite state automata
action language
artificial intelligence
model theoretic
minimal change
highly expressive
action descriptions
high level
programming language
first order logic
partial order