Reconciling the Event Calculus With the Situation Calculus.

Robert A. Kowalski Fariba Sadri

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

Keyphrases

event calculus
situation calculus
reasoning tasks
action theories
initial state
modal logic
reasoning about actions
sensing actions
concurrent actions
indirect effects
machine learning
programming language
random variables