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