Angelo Montanari Papers on DiSC'02 Calendars, Time Granularities, and Automata Publications Note: Links lead to the DBLP on the Web. Angelo Montanari 37 Carlo Combi , Angelo Montanari: Querying Data with Multiple Temporal Dimensions. CAiSE 2002 : 711-714 36 Carlo Combi , Angelo Montanari: Data Models with Multiple Temporal Dimensions: Completing the Picture. CAiSE 2001 : 187-202 35 Ugo Dal Lago , Angelo Montanari: Calendars, Time Granularities, and Automata. SSTD 2001 : 279-298 34 Angelo Montanari, Alberto Policriti , Matteo Slanina : Supporting automated deduction in first-order modal logics. KR 2000 : 547-556 33 Angelo Montanari, Alberto Policriti , Matteo Slanina : Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS 2000 : 559-568 32 Iliano Cervesato , Angelo Montanari: A Calculus of Macro-Events: Progress Report. TIME 2000 : 47-58 31 Luca Chittaro , Angelo Montanari: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence 28 (1-4): 47-106 (2000) 30 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) 29 Iliano Cervesato , Massimo Franceschet , Angelo Montanari: A Guided Tour through Some Extensions of the Event Calculus. Computational Intelligence 16 (2): 307-347 (2000) 28 Massimo Franceschet , Angelo Montanari: Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA 1999 : 131-142 27 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 26 Massimo Franceschet , Angelo Montanari: A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME 1999 : 55-66 25 Iliano Cervesato , Angelo Montanari: A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. JLP 38 (2): 111-164 (1999) 24 Iliano Cervesato , Massimo Franceschet , Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998 : 368-379 23 Iliano Cervesato , Massimo Franceschet , Angelo Montanari: Event Calculus with Explicit Quantifiers. TIME 1998 : 81-88 22 Luca Chittaro , Angelo Montanari: Editorial: Temporal Representation and Reasoning. Annals of Mathematics and Artificial Intelligence 22 (1-2): 1-4 (1998) 21 Iliano Cervesato , Massimo Franceschet , Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. ICLP 1997 : 419 20 Angelo Montanari, Alberto Policriti : A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) 1997 : 196-201 19 Iliano Cervesato , Massimo Franceschet , Angelo Montanari: Modal Event Calculi with Preconditions. TIME 1997 : 38-45 18 Christian S. Jensen , Curtis E. Dyreson , Michael H. Böhlen , James Clifford , Ramez Elmasri , Shashi K. Gadia , Fabio Grandi , Patrick J. Hayes , Sushil Jajodia , Wolfgang Käfer , Nick Kline , Nikos A. Lorentzos , Yannis G. Mitsopoulos , Angelo Montanari, Daniel A. Nonen , Elisa Peressi , Barbara Pernici , John F. Roddick , Nandlal L. Sarda , Maria Rita Scalas , Arie Segev , Richard T. Snodgrass , Michael D. Soo , Abdullah Uz Tansel , Paolo Tiberio , Gio Wiederhold : The Consensus Glossary of Temporal Database Concepts - February 1998 Version. Temporal Databases, Dagstuhl 1997 : 367-405 17 Johan van Benthem , Giovanna D'Agostino , Angelo Montanari, Alberto Policriti : Modal Deduction in Second-Order Logic and Set Theory - I. Journal of Logic and Computation 7 (2): 251-265 (1997) 16 Angelo Montanari, Maarten de Rijke : Two-sorted Metric Temporal Logics. TCS 183 (2): 187-214 (1997) 15 Angelo Montanari, Luca Chittaro , Iliano Cervesato : A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. ECAI 1996 : 33-37 14 Luca Chittaro , Angelo Montanari: Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence 12 : 359-382 (1996) 13 Angelo Montanari, Alberto Policriti : Decidability Results for Metric and Layered Temporal Logics. Notre Dame Journal of Formal Logic 37 (2): 260-282 (1996) 12 Angelo Montanari, Maarten de Rijke : Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995 : 385-399 11 Iliano Cervesato , Luca Chittaro , Angelo Montanari: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP 1995 : 299-313 10 Giovanna D'Agostino , Angelo Montanari, Alberto Policriti : A Set-Theoretic Translation Method for (Poly)modal Logics. STACS 1995 : 217-228 9 Giovanna D'Agostino , Angelo Montanari, Alberto Policriti : A Set-Theoretic Translation Method for Polymodal Logics. Journal of Automated Reasoning 15 (3): 317-337 (1995) 8 Luca Chittaro , Angelo Montanari, Alessandro Provetti : Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994 : 361-365 7 Nina Edelweiss , José Palazzo M. de Oliveira , Jose M. Volkmer de Castilho , Elisa Peressi , Angelo Montanari, Barbara Pernici : T-ORM: Temporal Aspects in Objects and Roles. ORM 1994 : 18-27 6 Elisa Peressi , Angelo Montanari, Barbara Pernici : T-ORM: un modello temporale per l'evoluzione degli oggetti. SEBD 1994 : 271-291 5 Iliano Cervesato , Luca Chittaro , Angelo Montanari: Modal Event Calculus. SLP 1994 : 675 4 Luca Chittaro , Angelo Montanari: Efficient Handling of Context Dependency in the Cached Event Calculus. TIME 1994 : 103-112 3 Angelo Montanari, Barbara Pernici : temporal Reasoning. Temporal Databases 1993 : 534-562 2 Emanuele Ciapessoni , Edoardo Corsetti , Angelo Montanari, Pierluigi San Pietro : Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Science of Computer Programming 20 (1-2): 141-171 (1993) 1 Angelo Montanari, Enrico Maim , Emanuele Ciapessoni , Elena Ratto : Dealing with Time Granularity in the Event Calculus. FGCS 1992 : 702-712 DiSC'02 © 2003 Association for Computing Machinery