Massimo Franceschet Papers on DiSC'03 A Logical Approach to Represent and Reason about Calendars Publications Note: Links lead to the DBLP on the Web. Massimo Franceschet 10 Carlo Combi , Massimo Franceschet, Adriano Peron : A Logical Approach to Represent and Reason about Calendars. TIME 2002 : 134-140 9 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) 8 Iliano Cervesato , Massimo Franceschet, Angelo Montanari : A Guided Tour through Some Extensions of the Event Calculus. Computational Intelligence 16 (2): 307-347 (2000) 7 Massimo Franceschet, Angelo Montanari : Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA 1999 : 131-142 6 Carlo Combi , Gian Luca Foresti , Massimo Franceschet, Angelo Montanari : Indexing by Shape of Image Databases Based on Extended Grid Files. ICMCS, Vol. 2 1999 : 230-234 5 Massimo Franceschet, Angelo Montanari : A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME 1999 : 55-66 4 Iliano Cervesato , Massimo Franceschet, Angelo Montanari : The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998 : 368-379 3 Iliano Cervesato , Massimo Franceschet, Angelo Montanari : Event Calculus with Explicit Quantifiers. TIME 1998 : 81-88 2 Iliano Cervesato , Massimo Franceschet, Angelo Montanari : The Complexity of Model Checking in Modal Event Calculi. ICLP 1997 : 419 1 Iliano Cervesato , Massimo Franceschet, Angelo Montanari : Modal Event Calculi with Preconditions. TIME 1997 : 38-45 DiSC'03 © 2003 Association for Computing Machinery