2013
128A graph-theoretic approach to map conceptual designs to XML schemas. Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza. ACM Trans. Database Syst. (38): 6 (2013). Web SearchBibTeXDownload
127Metric propositional neighborhood logics on natural numbers. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Software and System Modeling (12): 245-264 (2013). Web SearchBibTeXDownload
2012
126Interval Temporal Logics over Finite Linear Orders: the Complete Picture. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. ECAI 2012, 199-204. Web SearchBibTeXDownload
125Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. GandALF 2012, 155-168. Web SearchBibTeXDownload
124A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon. ICAART (1) 2012, 154-163. Web SearchBibTeX
123Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. J. UCS (18): 2798-2831 (2012). Web SearchBibTeXDownload
122The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Dario Della Monica, Angelo Montanari, Pietro Sala. Logic Programs, Norms and Action 2012, 79-102. Web SearchBibTeXDownload
121An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. Angelo Montanari, Pietro Sala. TIME 2012, 39-46. Web SearchBibTeXDownload
2011
120Interval Temporal Logics: a Journey. Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Bulletin of the EATCS (105): 73-99 (2011). Web SearchBibTeXDownload
119An Optimal Decision Procedure for MPNL over the Integers. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. GandALF 2011, 192-206. Web SearchBibTeXDownload
118Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. IJCAI 2011, 845-850. Web SearchBibTeXDownload
117Expressiveness of the Interval Logics of Allen’s Relations on the Class of All Linear Orders: Complete Classification. Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. IJCAI 2011, 845-850. Web SearchBibTeXDownload
116What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. LICS 2011, 387-396. Web SearchBibTeXDownload
115A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. Carlo Combi, Angelo Montanari, Pietro Sala. SSTD 2011, 404-421. Web SearchBibTeXDownload
114Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. TABLEAUX 2011, 73-87. Web SearchBibTeXDownload
113The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. TIME 2011, 131-138. Web SearchBibTeXDownload
112The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco. TIME 2011, 123-130. Web SearchBibTeXDownload
2010
111Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. Angelo Montanari, Margherita Napoli, Mimmo Parente. CoRR (abs/1006.1711) (2010). Web SearchBibTeXDownload
110Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. ECAI 2010, 695-700. Web SearchBibTeXDownload
109Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Electr. Notes Theor. Comput. Sci. (262): 65-81 (2010). Web SearchBibTeXDownload
108Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza. Fundam. Inform. (105): 105-133 (2010). Web SearchBibTeXDownload
107Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. Angelo Montanari, Gabriele Puppis, Pietro Sala. ICALP (2) 2010, 345-356. Web SearchBibTeXDownload
106Tableaux for Logics of Subinterval Structures over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. J. Log. Comput. (20): 133-166 (2010). Web SearchBibTeXDownload
105From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza. SEBD 2010, 382-389. Web SearchBibTeX
104Decidability of the Interval Temporal Logic ABB over the Natural Numbers. Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. STACS 2010, 597-608. Web SearchBibTeXDownload
103Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala. TIME 2010, 27-34. Web SearchBibTeXDownload
102A Decidable Spatial Generalization of Metric Interval Temporal Logic. Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco. TIME 2010, 95-102. Web SearchBibTeXDownload
2009
101A theory of ultimately periodic languages and automata with an application to time granularity. Davide Bresolin, Angelo Montanari, Gabriele Puppis. Acta Inf. (46): 331-360 (2009). Web SearchBibTeXDownload
100Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Ann. Pure Appl. Logic (161): 289-304 (2009). Web SearchBibTeXDownload
99Decidability of the interval temporal logic ABBar over the natural numbers. Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. CoRR (abs/0912.3429) (2009). Web SearchBibTeXDownload
98A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. Angelo Montanari, Gabriele Puppis, Pietro Sala. CSL 2009, 394-408. Web SearchBibTeXDownload
97A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions. Donatella Gubiani, Angelo Montanari. DEXA 2009, 792-806. Web SearchBibTeXDownload
96Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. Electr. Notes Theor. Comput. Sci. (231): 131-151 (2009). Web SearchBibTeXDownload
95Time Domain. Angelo Montanari, Jan Chomicki. Encyclopedia of Database Systems 2009, 3103-3107. Web SearchBibTeXDownload
94Games on Strings with a Limited Order Relation. Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna. LFCS 2009, 164-179. Web SearchBibTeXDownload
93Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. SEFM 2009, 240-249. Web SearchBibTeXDownload
92A Tableau-Based System for Spatial Reasoning about Directional Relations. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. TABLEAUX 2009, 123-137. Web SearchBibTeXDownload
91Undecidability of Interval Temporal Logics with the Overlap Modality. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. TIME 2009, 88-95. Web SearchBibTeXDownload
90From Entity Relationship to XML Schema: A Graph-Theoretic Approach. Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza. XSym 2009, 165-179. Web SearchBibTeXDownload
2008
89Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. Ian Hodkinson, Angelo Montanari, Guido Sciavicco. CSL 2008, 308-322. Web SearchBibTeXDownload
88A conceptual spatial model supporting topologically-consistent multiple representations. Donatella Gubiani, Angelo Montanari. GIS 2008, 9. Web SearchBibTeXDownload
87Back to Interval Temporal Logics. Angelo Montanari. ICLP 2008, 11-13. Web SearchBibTeXDownload
86Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. JELIA 2008, 62-75. Web SearchBibTeXDownload
85Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. LPAR 2008, 590-604. Web SearchBibTeXDownload
84An optimal tableau for Right Propositional Neighborhood Logic over Trees. Davide Bresolin, Angelo Montanari, Pietro Sala. TIME 2008, 110-117. Web SearchBibTeXDownload
2007
83The t4sql temporal query language. Carlo Combi, Angelo Montanari, Giuseppe Pozzi. CIKM 2007, 193-202. Web SearchBibTeXDownload
82Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. Massimo Franceschet, Angelo Montanari, Donatella Gubiani. DEXA Workshops 2007, 25-29. Web SearchBibTeXDownload
81An Optimal Decision Procedure for Right Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari, Guido Sciavicco. J. Autom. Reasoning (38): 173-199 (2007). Web SearchBibTeXDownload
80On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. LFCS 2007, 84-99. Web SearchBibTeXDownload
79A Contraction Method to Decide MSO Theories of Deterministic Trees. Angelo Montanari, Gabriele Puppis. LICS 2007, 141-150. Web SearchBibTeXDownload
78ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model. Donatella Gubiani, Angelo Montanari. SEBD 2007, 160-171. Web SearchBibTeX
77A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas. Donatella Gubiani, Angelo Montanari. SEBD 2007, 495-498. Web SearchBibTeX
76An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari, Pietro Sala. STACS 2007, 549-560. Web SearchBibTeXDownload
75Tableau Systems for Logics of Subinterval Structures over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. TABLEAUX 2007, 73-89. Web SearchBibTeXDownload
74Compact and tractable automaton-based representations of time granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. Theor. Comput. Sci. (373): 115-141 (2007). Web SearchBibTeXDownload
73On the Equivalence of Automaton-Based Representations of Time Granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. TIME 2007, 82-93. Web SearchBibTeXDownload
2006
72A general tableau method for propositional interval temporal logics: Theory and implementation. Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco. J. Applied Logic (4): 305-330 (2006). Web SearchBibTeXDownload
71Definability and decidability of binary predicates for time granularity. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco. J. Applied Logic (4): 168-191 (2006). Web SearchBibTeXDownload
70On the relationships between theories of time granularity and the monadic second-order theory of one successor. Angelo Montanari, Adriano Peron, Gabriele Puppis. Journal of Applied Non-Classical Logics (16): 433-456 (2006). Web SearchBibTeXDownload
69An automaton-based approach to the verification of timed workflow schemas. Elisabetta De Maria, Angelo Montanari, Marco Zantoni. TIME 2006, 87-94. Web SearchBibTeXDownload
2005
68An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. Angelo Montanari, Alberto Policriti, Nicola Vitacolonna. LPAR 2005, 139-153. Web SearchBibTeXDownload
67Checking Workflow Schemas with Time Constraints Using Timed Automata. Elisabetta De Maria, Angelo Montanari, Marco Zantoni. OTM Workshops 2005, 1-2. Web SearchBibTeXDownload
66Granular GeoGraph: a multi-granular conceptual model for spatial data. Iginia De Fent, Donatella Gubiani, Angelo Montanari. SEBD 2005, 368-379. Web SearchBibTeX
65A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari. TABLEAUX 2005, 63-77. Web SearchBibTeXDownload
64Propositional Interval Temporal Logics: Some Promising Paths. Angelo Montanari. TIME 2005, 201-203. Web SearchBibTeXDownload
63A Uniform Algebraic Characterization of Temporal Functional Dependencies. Carlo Combi, Angelo Montanari, Rosalba Rossato. TIME 2005, 91-99. Web SearchBibTeXDownload
2004
62Model Checking for Combined Logics with an Application to Mobile Systems. Massimo Franceschet, Angelo Montanari, Maarten de Rijke. Autom. Softw. Eng. (11): 289-321 (2004). Web SearchBibTeXDownload
61Decidability of MSO Theories of Tree Structures. Angelo Montanari, Gabriele Puppis. FSTTCS 2004, 434-446. Web SearchBibTeXDownload
60Time Granularities and Ultimately Periodic Automata. Davide Bresolin, Angelo Montanari, Gabriele Puppis. JELIA 2004, 513-525. Web SearchBibTeXDownload
59A Road Map of Interval Temporal Logics and Duration Calculi. Valentin Goranko, Angelo Montanari, Guido Sciavicco. Journal of Applied Non-Classical Logics (14): 9-54 (2004). Web SearchBibTeXDownload
58Decidability of the Theory of the Totally Unbounded omega-Layered Structure. Angelo Montanari, Gabriele Puppis. TIME 2004, 156-160. Web SearchBibTeXDownload
57Temporalized logics and automata for time granularity. Massimo Franceschet, Angelo Montanari. TPLP (4): 621-658 (2004). Web SearchBibTeXDownload
2003
56Temporalized logics and automata for time granularity. Massimo Franceschet, Angelo Montanari. CoRR (cs.LO/0311022) (2003). Web SearchBibTeXDownload
55Temporal representation and reasoning. Claudio Bettini, Angelo Montanari. Data Knowl. Eng. (44): 139-141 (2003). Cited by 4Web SearchBibTeX
54Towards Compact and Tractable Automaten-Based Representations of Time Granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. ICTCS 2003, 72-85. Web SearchBibTeXDownload
53Propositional Interval Neighborhood Temporal Logics. Valentin Goranko, Angelo Montanari, Guido Sciavicco. J. UCS (9): 1137-1167 (2003). Web SearchBibTeXDownload
52A General Tableau Method for Propositional Interval Temporal Logics. Valentin Goranko, Angelo Montanari, Guido Sciavicco. TABLEAUX 2003, 102-116. Web SearchBibTeXDownload
51Definability and decidability of binary predicates for time granularity. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco. TIME 2003, 192-202. Web SearchBibTeXDownload
50Binary Extensions of S1S and the Composition Method. Enrico Marzano, Angelo Montanari, Alberto Policriti. Verification: Theory and Practice 2003, 626-644. Web SearchBibTeXDownload
2002
49Research Issues and Trends in Spatial and Temporal Granularities. Claudio Bettini, Angelo Montanari. Ann. Math. Artif. Intell. (36): 1-4 (2002). Web SearchBibTeX
48Querying Data with Multiple Temporal Dimensions. Carlo Combi, Angelo Montanari. CAiSE 2002, 711-714. Web SearchBibTeXDownload
47Alternative Translation Techniques for Propositional and First-Order Modal Logics. Angelo Montanari, Alberto Policriti, Matteo Slanina. J. Autom. Reasoning (28): 397-415 (2002). Web SearchBibTeXDownload
46Decidability of Interval Temporal Logics over Split-Frames via Granularity. Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna. JELIA 2002, 259-270. Web SearchBibTeXDownload
45Extending Kamp's Theorem to Model Time Granularity. Angelo Montanari, Adriano Peron, Alberto Policriti. J. Log. Comput. (12): 641-677 (2002). Web SearchBibTeXDownload
2001
44AAAI 2000 Workshop Reports. Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt D. Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari. AI Magazine (22): 127-136 (2001). Web SearchBibTeXDownload
43Data Models with Multiple Temporal Dimensions: Completing the Picture. Carlo Combi, Angelo Montanari. CAiSE 2001, 187-202. Web SearchBibTeXDownload
42Calendars, Time Granularities, and Automata. Ugo Dal Lago, Angelo Montanari. SSTD 2001, 279-298. Web SearchBibTeXDownload
2000
41A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. Massimo Franceschet, Angelo Montanari. Ann. Math. Artif. Intell. (30): 93-118 (2000). Web SearchBibTeXDownload
40Temporal representation and reasoning in artificial intelligence: Issues and approaches. Luca Chittaro, Angelo Montanari. Ann. Math. Artif. Intell. (28): 47-106 (2000). Web SearchBibTeXDownload
39A Guided Tour through Some Extensions of the Event Calculus. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. Computational Intelligence (16): 307-347 (2000). Web SearchBibTeXDownload
38Supporting automated deduction in first-order modal logics. Angelo Montanari, Alberto Policriti, Matteo Slanina. KR 2000, 547-556. Web SearchBibTeX
37The Taming (Timing) of the States. Angelo Montanari, Adriano Peron, Alberto Policriti. Logic Journal of the IGPL (8): 681-699 (2000). Web SearchBibTeXDownload
36Derivability in Locally Quantified Modal Logics via Translation in Set Theory. Angelo Montanari, Alberto Policriti, Matteo Slanina. MFCS 2000, 559-568. Web SearchBibTeXDownload
35A Calculus of Macro-Events: Progress Report. Iliano Cervesato, Angelo Montanari. TIME 2000, 47-58. Web SearchBibTeXDownload
1999
34Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. Massimo Franceschet, Angelo Montanari. AI*IA 1999, 131-142. Web SearchBibTeXDownload
33Indexing by Shape of Image Databases Based on Extended Grid Files. Carlo Combi, Gian Luca Foresti, Massimo Franceschet, Angelo Montanari. ICMCS, Vol. 2 1999, 230-234. Web SearchBibTeXDownload
32A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. Iliano Cervesato, Angelo Montanari. J. Log. Program. (38): 111-164 (1999). Web SearchBibTeXDownload
31Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Angelo Montanari, Adriano Peron, Alberto Policriti. Logic Journal of the IGPL (7): 79-102 (1999). Web SearchBibTeXDownload
30A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. Massimo Franceschet, Angelo Montanari. TIME 1999, 55-66. Web SearchBibTeXDownload
1998
29Editorial: Temporal Representation and Reasoning. Luca Chittaro, Angelo Montanari. Ann. Math. Artif. Intell. (22): 1-4 (1998). Web SearchBibTeXDownload
28The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. KR (2): 1-23 (1998). Web SearchBibTeXDownload
27Modal Deduction in Second-Order Logic and Set Theory - II. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. Studia Logica (60): 387-420 (1998). Web SearchBibTeXDownload
26Event Calculus with Explicit Quantifiers. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. TIME 1998, 81-88. Web SearchBibTeXDownload
1997
25The Complexity of Model Checking in Modal Event Calculi. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. ICLP 1997, 419. Web SearchBibTeX
24A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. Angelo Montanari, Alberto Policriti. IJCAI (1) 1997, 196-201. Web SearchBibTeX
23Modal Deduction in Second-Order Logic and Set Theory - I. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. J. Log. Comput. (7): 251-265 (1997). Web SearchBibTeXDownload
22The Consensus Glossary of Temporal Database Concepts - February 1998 Version. 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. Temporal Databases, Dagstuhl 1997, 367-405. Cited by 175Web SearchBibTeXDownload
21Two-sorted Metric Temporal Logics. Angelo Montanari, Maarten de Rijke. Theor. Comput. Sci. (183): 187-214 (1997). Web SearchBibTeXDownload
20Modal Event Calculi with Preconditions. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. TIME 1997, 38-45. Web SearchBibTeXDownload
1996
19Efficient Temporal Reasoning in the Cached Event Calculus. Luca Chittaro, Angelo Montanari. Computational Intelligence (12): 359-382 (1996). Web SearchBibTeXDownload
18A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. Angelo Montanari, Luca Chittaro, Iliano Cervesato. ECAI 1996, 33-37. Web SearchBibTeX
17Decidability Results for Metric and Layered Temporal Logics. Angelo Montanari, Alberto Policriti. Notre Dame Journal of Formal Logic (37): 260-282 (1996). Web SearchBibTeXDownload
1995
16Completeness Results for Two-sorted Metric Temporal Logics. Angelo Montanari, Maarten de Rijke. AMAST 1995, 385-399. Web SearchBibTeXDownload
15A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. Iliano Cervesato, Luca Chittaro, Angelo Montanari. ICLP 1995, 299-313. Web SearchBibTeX
14A Set-Theoretic Translation Method for Polymodal Logics. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. J. Autom. Reasoning (15): 317-337 (1995). Web SearchBibTeXDownload
13A Set-Theoretic Translation Method for (Poly)modal Logics. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. STACS 1995, 217-228. Web SearchBibTeXDownload
1994
12Skeptical and Credulous Event Calculi for Supporting Modal Queries. Luca Chittaro, Angelo Montanari, Alessandro Provetti. ECAI 1994, 361-365. Web SearchBibTeX
11What the Event Calculus actually does, and how to do it efficiently. Iliano Cervesato, Luca Chittaro, Angelo Montanari. GULP-PRODE (2) 1994, 336-350. Web SearchBibTeX
10Object Migration in Temporal Object-Oriented Databases. Angelo Montanari, Elisa Peressi, Barbara Pernici. Informatica (Slovenia) (18) (1994). Cited by 1Web SearchBibTeX
9T-ORM: Temporal Aspects in Objects and Roles. Nina Edelweiss, José Palazzo M. de Oliveira, José Mauro Volkmer de Castilho, Elisa Peressi, Angelo Montanari, Barbara Pernici. ORM 1994, 18-27. Cited by 3Web SearchBibTeX
8T-ORM: un modello temporale per l'evoluzione degli oggetti. Elisa Peressi, Angelo Montanari, Barbara Pernici. SEBD 1994, 271-291. Web SearchBibTeX
7Modal Event Calculus. Iliano Cervesato, Luca Chittaro, Angelo Montanari. SLP 1994, 675. Web SearchBibTeX
6Efficient Handling of Context Dependency in the Cached Event Calculus. Luca Chittaro, Angelo Montanari. TIME 1994, 103-112. Web SearchBibTeX
1993
5Reasoning about discrete processes in a logic programming framework. L. Chitaro, Angelo Montanari. GULP 1993, 407-422. Web SearchBibTeX
4Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro. Sci. Comput. Program. (20): 141-171 (1993). Web SearchBibTeXDownload
3temporal Reasoning. Angelo Montanari, Barbara Pernici. Temporal Databases 1993, 534-562. Cited by 28Web SearchBibTeX
1992
2Dealing with Time Granularity in the Event Calculus. Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto. FGCS 1992, 702-712. Web SearchBibTeX
1991
1Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Edoardo Corsetti, Angelo Montanari, Elena Ratto. Real-Time Systems (3): 191-215 (1991). Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research