On the Relation Between Situation Calculus and Event Calculus.

Kristof Van Belleghem Marc Denecker Danny De Schreye

Published in: J. Log. Program. (1997)

Keyphrases

event calculus
situation calculus
action theories
reasoning tasks
initial state
reasoning about actions
sensing actions
concurrent actions
modal logic
partially ordered
temporal logic
action language
machine learning
logic programming
programming language
query language
indirect effects
reinforcement learning