Sign in
A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants.
Iliano Cervesato
Angelo Montanari
Published in:
J. Log. Program. (1999)
Keyphrases
</>
event calculus
situation calculus
general theory
reasoning about actions and change
probability distribution
directed acyclic graph
domain specific knowledge