A Syntax-Based Approach to Reasoning about Actions and Events.

Quoc Bao Vo Abhaya C. Nayak Norman Y. Foo

Published in: LPAR (2003)

Keyphrases

reasoning about actions
situation calculus
logic programming
action sequences
action language
fluent calculus
event detection
action theories
propositional dynamic logic
high level
dynamic logic
minimal change
human activities
event sequences
initial state
domain description
dynamic programming
natural language