A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
From MaRDI portal
Publication:1601877
DOI10.1023/A:1016655210024zbMath1014.68109MaRDI QIDQ1601877
Angelo Montanari, Massimo Franceschet
Publication date: 27 June 2002
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
This page was built for publication: A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus