Login / Signup
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