Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus.

Alessandro Provetti

Published in: Comput. Intell. (1996)

Keyphrases

situation calculus
event calculus
reasoning about actions
action theories
fluent calculus
dynamic logic
action language
reasoning tasks
indirect effects
initial state
modal logic
concurrent actions
sensing actions
database systems
knowledge base
relational databases
logical theories
artificial intelligence