On the relation between situation calculus and event calculus

DOI10.1016/S0743-1066(96)00123-9zbMath0883.68023MaRDI QIDQ4352527

Danny De Schreye, Kristof van Belleghem, Marc Denecker

Publication date: 23 October 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

temporal reasoningsituation calculusevent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Related Items (5)

Probabilistic Event Calculus for Event Recognition ⋮ Event calculus and temporal action logics compared ⋮ A hybrid reasoning system for terminologies and first-order clauses in knowledge bases ⋮ A probabilistic interval-based event calculus for activity recognition ⋮ CP-logic: A language of causal probabilistic events and its relation to logic programming

This page was built for publication: On the relation between situation calculus and event calculus