Deriving Invariants and Constraints from Action Theories.

Yan Zhang Norman Y. Foo

Published in: Fundam. Informaticae (1997)

Keyphrases

action theories
situation calculus
reasoning about actions
deterministic finite state automata
artificial intelligence
expert systems
first order logic
constraint satisfaction
nonmonotonic reasoning
initial state
action descriptions