A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus

Massimo Franceschet, Angelo Montanari. A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. Annals of Mathematics and Artificial Intelligence, 30(1-4):93-118, 2000.

Abstract

Abstract is missing.