| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Angelo Montanari Angelo Montanari, Alberto Policriti , Nicola Vitacolonna : An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005 : 139-153 Elisabetta De Maria , Angelo Montanari, Marco Zantoni : Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops 2005 : 1-2 Iginia De Fent , Donatella Gubiani , Angelo Montanari: Granular GeoGraph: a multi-granular conceptual model for spatial data. SEBD 2005 : 368-379 Davide Bresolin , Angelo Montanari: A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX 2005 : 63-77 Angelo Montanari: Propositional Interval Temporal Logics: Some Promising Paths. TIME 2005 : 201-203 Carlo Combi , Angelo Montanari, Rosalba Rossato : A Uniform Algebraic Characterization of Temporal Functional Dependencies. TIME 2005 : 91-99 Angelo Montanari, Gabriele Puppis : Decidability of MSO Theories of Tree Structures. FSTTCS 2004 : 434-446 Davide Bresolin , Angelo Montanari, Gabriele Puppis : Time Granularities and Ultimately Periodic Automata. JELIA 2004 : 513-525 Angelo Montanari, Gabriele Puppis : Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME 2004 : 156-160 Massimo Franceschet , Angelo Montanari, Maarten de Rijke : Model Checking for Combined Logics with an Application to Mobile Systems. Autom. Softw. Eng. 11 (3): 289-321 (2004) Valentin Goranko , Angelo Montanari, Guido Sciavicco : A Road Map of Interval Temporal Logics and Duration Calculi. Journal of Applied Non-Classical Logics 14 (1-2): 9-54 (2004) Massimo Franceschet , Angelo Montanari: Temporalized logics and automata for time granularity. TPLP 4 (5-6): 621-658 (2004) Ugo Dal Lago , Angelo Montanari, Gabriele Puppis : Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003 : 72-85 Valentin Goranko , Angelo Montanari, Guido Sciavicco : A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003 : 102-116 Massimo Franceschet , Angelo Montanari, Adriano Peron , Guido Sciavicco : Definability and decidability of binary predicates for time granularity. TIME 2003 : 192-202 Enrico Marzano , Angelo Montanari, Alberto Policriti : Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice 2003 : 626-644 Massimo Franceschet , Angelo Montanari: Temporalized logics and automata for time granularity CoRR cs.LO/0311022 : (2003) Claudio Bettini , Angelo Montanari: Temporal representation and reasoning. Data Knowl. Eng. 44 (2): 139-141 (2003) Valentin Goranko , Angelo Montanari, Guido Sciavicco : Propositional Interval Neighborhood Temporal Logics. J. UCS 9 (9): 1137-1167 (2003) Carlo Combi , Angelo Montanari: Querying Data with Multiple Temporal Dimensions. CAiSE 2002 : 711-714 Angelo Montanari, Guido Sciavicco , Nicola Vitacolonna : Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002 : 259-270 Claudio Bettini , Angelo Montanari: Research Issues and Trends in Spatial and Temporal Granularities. Ann. Math. Artif. Intell. 36 (1-2): 1-4 (2002) Angelo Montanari, Alberto Policriti , Matteo Slanina : Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reasoning 28 (5): 397-415 (2002) Angelo Montanari, Adriano Peron , Alberto Policriti : Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. 12 (4): 641-677 (2002) Carlo Combi , Angelo Montanari: Data Models with Multiple Temporal Dimensions: Completing the Picture. CAiSE 2001 : 187-202 Ugo Dal Lago , Angelo Montanari: Calendars, Time Granularities, and Automata. SSTD 2001 : 279-298 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: AAAI 2000 Workshop Reports. AI Magazine 22 (1): 127-136 (2001) Angelo Montanari, Alberto Policriti , Matteo Slanina : Supporting automated deduction in first-order modal logics. KR 2000 : 547-556 Angelo Montanari, Alberto Policriti , Matteo Slanina : Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS 2000 : 559-568 Iliano Cervesato , Angelo Montanari: A Calculus of Macro-Events: Progress Report. TIME 2000 : 47-58 Luca Chittaro , Angelo Montanari: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Ann. Math. Artif. Intell. 28 (1-4): 47-106 (2000) Massimo Franceschet , Angelo Montanari: A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. Ann. Math. Artif. Intell. 30 (1-4): 93-118 (2000) Iliano Cervesato , Massimo Franceschet , Angelo Montanari: A Guided Tour through Some Extensions of the Event Calculus. Computational Intelligence 16 (2): 307-347 (2000) Angelo Montanari, Adriano Peron , Alberto Policriti : The Taming (Timing) of the States. Logic Journal of the IGPL 8 (5): (2000) Massimo Franceschet , Angelo Montanari: Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA 1999 : 131-142 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 Massimo Franceschet , Angelo Montanari: A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME 1999 : 55-66 Iliano Cervesato , Angelo Montanari: A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. J. Log. Program. 38 (2): 111-164 (1999) Angelo Montanari, Alberto Policriti , Yde Venema : Editorial. Logic Journal of the IGPL 7 (1): 5-6 (1999) Angelo Montanari, Adriano Peron , Alberto Policriti : Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Logic Journal of the IGPL 7 (1): 79-102 (1999) Iliano Cervesato , Massimo Franceschet , Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998 : 368-379 Iliano Cervesato , Massimo Franceschet , Angelo Montanari: Event Calculus with Explicit Quantifiers. TIME 1998 : 81-88 Luca Chittaro , Angelo Montanari: Editorial: Temporal Representation and Reasoning. Ann. Math. Artif. Intell. 22 (1-2): 1-4 (1998) Iliano Cervesato , Massimo Franceschet , Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Electron. Trans. Artif. Intell. 2 : 1-23 (1998) Johan van Benthem , Giovanna D'Agostino , Angelo Montanari, Alberto Policriti : Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60 (2): 387-420 (1998) Iliano Cervesato , Massimo Franceschet , Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. ICLP 1997 : 419 Angelo Montanari, Alberto Policriti : A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) 1997 : 196-201 Iliano Cervesato , Massimo Franceschet , Angelo Montanari: Modal Event Calculi with Preconditions. TIME 1997 : 38-45 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 Johan van Benthem , Giovanna D'Agostino , Angelo Montanari, Alberto Policriti : Modal Deduction in Second-Order Logic and Set Theory - I. J. Log. Comput. 7 (2): 251-265 (1997) Angelo Montanari, Maarten de Rijke : Two-sorted Metric Temporal Logics. Theor. Comput. Sci. 183 (2): 187-214 (1997) Angelo Montanari, Luca Chittaro , Iliano Cervesato : A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. ECAI 1996 : 33-37 Luca Chittaro , Angelo Montanari: Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence 12 : 359-382 (1996) Angelo Montanari, Alberto Policriti : Decidability Results for Metric and Layered Temporal Logics. Notre Dame Journal of Formal Logic 37 (2): 260-282 (1996) Angelo Montanari: Metric and Layered Temporal Logic for Time Granularity ILLC Dissertation Series 1996-02, University of Amsterdam 1996 Angelo Montanari, Maarten de Rijke : Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995 : 385-399 Iliano Cervesato , Luca Chittaro , Angelo Montanari: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP 1995 : 299-313 Giovanna D'Agostino , Angelo Montanari, Alberto Policriti : A Set-Theoretic Translation Method for (Poly)modal Logics. STACS 1995 : 217-228 Giovanna D'Agostino , Angelo Montanari, Alberto Policriti : A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reasoning 15 (3): 317-337 (1995) Luca Chittaro , Angelo Montanari, Alessandro Provetti : Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994 : 361-365 Iliano Cervesato , Luca Chittaro , Angelo Montanari: What the Event Calculus actually does, and how to do it efficiently. GULP-PRODE (2) 1994 : 336-350 Nina Edelweiss , José Palazzo M. de Oliveira , José Mauro Volkmer de Castilho , Elisa Peressi , Angelo Montanari, Barbara Pernici : T-ORM: Temporal Aspects in Objects and Roles. ORM 1994 : 18-27 Elisa Peressi , Angelo Montanari, Barbara Pernici : T-ORM: un modello temporale per l'evoluzione degli oggetti. SEBD 1994 : 271-291 Iliano Cervesato , Luca Chittaro , Angelo Montanari: Modal Event Calculus. SLP 1994 : 675 Luca Chittaro , Angelo Montanari: Efficient Handling of Context Dependency in the Cached Event Calculus. TIME 1994 : 103-112 Angelo Montanari, Elisa Peressi , Barbara Pernici : Object Migration in Temporal Object-Oriented Databases. Informatica (Slovenia) 18 (4): (1994) L. Chitaro , Angelo Montanari: Reasoning about discrete processes in a logic programming framework. GULP 1993 : 407-422 Angelo Montanari, Barbara Pernici : temporal Reasoning. Temporal Databases 1993 : 534-562 Emanuele Ciapessoni , Edoardo Corsetti , Angelo Montanari, Pierluigi San Pietro : Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Sci. Comput. Program. 20 (1-2): 141-171 (1993) Angelo Montanari, Enrico Maim , Emanuele Ciapessoni , Elena Ratto : Dealing with Time Granularity in the Event Calculus. FGCS 1992 : 702-712 Edoardo Corsetti , Angelo Montanari, Elena Ratto : Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Real-Time Systems 3 (2): 191-215 (1991) 1 [ 45 ] 2 [ 22 ] [ 27 ] 3 [ 45 ] [ 50 ] [ 54 ] 4 [ 45 ] 5 [ 23 ] 6 [ 45 ] 7 [ 64 ] [ 68 ] 8 [ 10 ] 9 [ 8 ] [ 11 ] [ 15 ] [ 20 ] [ 24 ] [ 26 ] [ 28 ] [ 30 ] [ 31 ] [ 34 ] [ 39 ] [ 42 ] 10 [ 5 ] 11 [ 7 ] [ 8 ] [ 11 ] [ 12 ] [ 15 ] [ 19 ] [ 20 ] [ 29 ] [ 41 ] 12 [ 2 ] [ 3 ] 13 [ 23 ] 14 [ 36 ] [ 47 ] [ 52 ] [ 66 ] 15 [ 1 ] [ 3 ] 16 [ 13 ] [ 14 ] [ 22 ] [ 27 ] 17 [ 45 ] 18 [ 23 ] 19 [ 10 ] 20 [ 23 ] 21 [ 69 ] 22 [ 45 ] 23 [ 36 ] 24 [ 24 ] [ 26 ] [ 28 ] [ 30 ] [ 31 ] [ 35 ] [ 36 ] [ 37 ] [ 39 ] [ 40 ] [ 55 ] [ 57 ] [ 60 ] [ 62 ] 25 [ 23 ] 26 [ 45 ] 27 [ 45 ] 28 [ 45 ] 29 [ 53 ] [ 58 ] [ 61 ] 30 [ 23 ] 31 [ 45 ] 32 [ 69 ] 33 [ 23 ] 34 [ 45 ] 35 [ 45 ] 36 [ 23 ] 37 [ 45 ] 38 [ 23 ] 39 [ 23 ] 40 [ 23 ] 41 [ 45 ] 42 [ 46 ] [ 59 ] 43 [ 45 ] 44 [ 23 ] 45 [ 2 ] 46 [ 70 ] 47 [ 56 ] 48 [ 45 ] 49 [ 23 ] 50 [ 45 ] 51 [ 45 ] 52 [ 23 ] 53 [ 10 ] 54 [ 6 ] [ 9 ] [ 10 ] [ 23 ] 55 [ 4 ] [ 6 ] [ 9 ] [ 10 ] [ 23 ] 56 [ 32 ] [ 38 ] [ 48 ] [ 57 ] 57 [ 3 ] 58 [ 13 ] [ 14 ] [ 18 ] [ 22 ] [ 25 ] [ 27 ] [ 32 ] [ 33 ] [ 38 ] [ 43 ] [ 44 ] [ 48 ] [ 49 ] [ 56 ] [ 71 ] 59 [ 12 ] 60 [ 59 ] [ 63 ] [ 64 ] [ 65 ] 61 [ 1 ] [ 2 ] 62 [ 16 ] [ 21 ] [ 62 ] 63 [ 23 ] 64 [ 66 ] 65 [ 23 ] 66 [ 23 ] 67 [ 45 ] 68 [ 51 ] [ 53 ] [ 57 ] [ 58 ] [ 61 ] 69 [ 23 ] 70 [ 43 ] [ 44 ] [ 49 ] 71 [ 23 ] 72 [ 23 ] 73 [ 23 ] 74 [ 23 ] 75 [ 33 ] 76 [ 51 ] [ 71 ] 77 [ 45 ] 78 [ 45 ] 79 [ 23 ] 80 [ 70 ]  ©2006 Association for Computing Machinery |
