Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Angelo Montanari
2010 – today
- 2013
[j44]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Metric propositional neighborhood logics on natural numbers. Software and System Modeling 12(2): 245-264 (2013)- [j43]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. 493: 98-115 (2013)
- [j42]Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: A graph-theoretic approach to map conceptual designs to XML schemas. ACM Trans. Database Syst. 38(1): 6 (2013)
- [c86]
- [c85]Angelo Montanari, Pietro Sala: Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. LICS 2013: 193-202
- [c84]Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco: A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX 2013: 74-80
- 2012
- [j41]Angelo Montanari, Margherita Napoli, Mimmo Parente: Preface. Int. J. Found. Comput. Sci. 23(3) (2012)
- [j40]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. UCS 18(20): 2798-2831 (2012)
- [c83]Dario Della Monica, Angelo Montanari, Pietro Sala: The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Logic Programs, Norms and Action 2012: 79-102
- [c82]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco: Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI 2012: 199-204
- [c81]Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon: A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. ICAART (1) 2012: 154-163
- [c80]Angelo Montanari, Pietro Sala: An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. TIME 2012: 39-46
- [c79]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco: Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012: 155-168
- 2011
- [j39]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Interval Temporal Logics: a Journey. Bulletin of the EATCS 105: 73-99 (2011)
- [c78]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. IJCAI 2011: 845-850
- [c77]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS 2011: 387-396
- [c76]Carlo Combi, Angelo Montanari, Pietro Sala: A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD 2011: 404-421
- [c75]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX 2011: 73-87
- [c74]Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco: The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME 2011: 123-130
- [c73]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME 2011: 131-138
- [c72]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011: 192-206
- 2010
- [j38]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electr. Notes Theor. Comput. Sci. 262: 65-81 (2010)
- [j37]Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza: Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Fundam. Inform. 105(1-2): 105-133 (2010)
- [j36]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20(1): 133-166 (2010)
- [c71]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700
- [c70]Angelo Montanari, Gabriele Puppis, Pietro Sala: Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) 2010: 345-356
- [c69]Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). SEBD 2010: 382-389
- [c68]Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco: Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS 2010: 597-608
- [c67]Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala: Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. TIME 2010: 27-34
- [c66]Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco: A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102
- [e2]Angelo Montanari, Margherita Napoli, Mimmo Parente (Eds.): Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. EPTCS 25, 2010
2000 – 2009
- 2009
- [j35]Davide Bresolin, Angelo Montanari, Gabriele Puppis: A theory of ultimately periodic languages and automata with an application to time granularity. Acta Inf. 46(5): 331-360 (2009)
- [j34]Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Logic 161(3): 289-304 (2009)
- [j33]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Electr. Notes Theor. Comput. Sci. 231: 131-151 (2009)
- [c65]Angelo Montanari, Gabriele Puppis, Pietro Sala: A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL 2009: 394-408
- [c64]Donatella Gubiani, Angelo Montanari: A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions. DEXA 2009: 792-806
- [c63]Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna: Games on Strings with a Limited Order Relation. LFCS 2009: 164-179
- [c62]Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM 2009: 240-249
- [c61]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137
- [c60]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95
- [c59]Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym 2009: 165-179
- [r1]
- [i2]Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco: Decidability of the interval temporal logic ABBar over the natural numbers. CoRR abs/0912.3429 (2009)
- 2008
- [c58]Ian Hodkinson, Angelo Montanari, Guido Sciavicco: Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL 2008: 308-322
- [c57]Donatella Gubiani, Angelo Montanari: A conceptual spatial model supporting topologically-consistent multiple representations. GIS 2008: 9
- [c56]
- [c55]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75
- [c54]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604
- [c53]Davide Bresolin, Angelo Montanari, Pietro Sala: An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008: 110-117
- 2007
- [j32]Davide Bresolin, Angelo Montanari, Guido Sciavicco: An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reasoning 38(1-3): 173-199 (2007)
- [j31]Ugo Dal Lago, Angelo Montanari, Gabriele Puppis: Compact and tractable automaton-based representations of time granularities. Theor. Comput. Sci. 373(1-2): 115-141 (2007)
- [c52]Carlo Combi, Angelo Montanari, Giuseppe Pozzi: The t4sql temporal query language. CIKM 2007: 193-202
- [c51]Massimo Franceschet, Angelo Montanari, Donatella Gubiani: Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. DEXA Workshops 2007: 25-29
- [c50]Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99
- [c49]Angelo Montanari, Gabriele Puppis: A Contraction Method to Decide MSO Theories of Deterministic Trees. LICS 2007: 141-150
- [c48]Donatella Gubiani, Angelo Montanari: ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model. SEBD 2007: 160-171
- [c47]Donatella Gubiani, Angelo Montanari: A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas. SEBD 2007: 495-498
- [c46]Davide Bresolin, Angelo Montanari, Pietro Sala: An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560
- [c45]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89
- [c44]Ugo Dal Lago, Angelo Montanari, Gabriele Puppis: On the Equivalence of Automaton-Based Representations of Time Granularities. TIME 2007: 82-93
- 2006
- [j30]Angelo Montanari, Adriano Peron, Gabriele Puppis: On the relationships between theories of time granularity and the monadic second-order theory of one successor. Journal of Applied Non-Classical Logics 16(3-4): 433-456 (2006)
- [j29]Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. J. Applied Logic 4(2): 168-191 (2006)
- [j28]Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco: A general tableau method for propositional interval temporal logics: Theory and implementation. J. Applied Logic 4(3): 305-330 (2006)
- [c43]Elisabetta De Maria, Angelo Montanari, Marco Zantoni: An automaton-based approach to the verification of timed workflow schemas. TIME 2006: 87-94
- 2005
- [c42]Angelo Montanari, Alberto Policriti, Nicola Vitacolonna: An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005: 139-153
- [c41]Elisabetta De Maria, Angelo Montanari, Marco Zantoni: Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops 2005: 1-2
- [c40]Iginia De Fent, Donatella Gubiani, Angelo Montanari: Granular GeoGraph: a multi-granular conceptual model for spatial data. SEBD 2005: 368-379
- [c39]Davide Bresolin, Angelo Montanari: A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX 2005: 63-77
- [c38]Carlo Combi, Angelo Montanari, Rosalba Rossato: A Uniform Algebraic Characterization of Temporal Functional Dependencies. TIME 2005: 91-99
- [c37]
- 2004
- [j27]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)
- [j26]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)
- [j25]Massimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity. TPLP 4(5-6): 621-658 (2004)
- [c36]Angelo Montanari, Gabriele Puppis: Decidability of MSO Theories of Tree Structures. FSTTCS 2004: 434-446
- [c35]Davide Bresolin, Angelo Montanari, Gabriele Puppis: Time Granularities and Ultimately Periodic Automata. JELIA 2004: 513-525
- [c34]Angelo Montanari, Gabriele Puppis: Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME 2004: 156-160
- 2003
- [j24]Claudio Bettini, Angelo Montanari: Temporal representation and reasoning. Data Knowl. Eng. 44(2): 139-141 (2003)
- [j23]Valentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional Interval Neighborhood Temporal Logics. J. UCS 9(9): 1137-1167 (2003)
- [c33]Enrico Marzano, Angelo Montanari, Alberto Policriti: Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice 2003: 626-644
- [c32]Ugo Dal Lago, Angelo Montanari, Gabriele Puppis: Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003: 72-85
- [c31]Valentin Goranko, Angelo Montanari, Guido Sciavicco: A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003: 102-116
- [c30]Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. TIME 2003: 192-202
- [i1]Massimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity. CoRR cs.LO/0311022 (2003)
- 2002
- [j22]Claudio Bettini, Angelo Montanari: Research Issues and Trends in Spatial and Temporal Granularities. Ann. Math. Artif. Intell. 36(1-2): 1-4 (2002)
- [j21]Angelo Montanari, Alberto Policriti, Matteo Slanina: Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reasoning 28(5): 397-415 (2002)
- [j20]Angelo Montanari, Adriano Peron, Alberto Policriti: Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. 12(4): 641-677 (2002)
- [c29]
- [c28]Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna: Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002: 259-270
- 2001
- [j19]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)
- [c27]Carlo Combi, Angelo Montanari: Data Models with Multiple Temporal Dimensions: Completing the Picture. CAiSE 2001: 187-202
- [c26]
- 2000
- [j18]Luca Chittaro, Angelo Montanari: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Ann. Math. Artif. Intell. 28(1-4): 47-106 (2000)
- [j17]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)
- [j16]Iliano Cervesato, Massimo Franceschet, Angelo Montanari: A Guided Tour through Some Extensions of the Event Calculus. Computational Intelligence 16(2): 307-347 (2000)
- [j15]Angelo Montanari, Adriano Peron, Alberto Policriti: The Taming (Timing) of the States. Logic Journal of the IGPL 8(5): 681-699 (2000)
- [c25]Angelo Montanari, Alberto Policriti, Matteo Slanina: Supporting automated deduction in first-order modal logics. KR 2000: 547-556
- [c24]Angelo Montanari, Alberto Policriti, Matteo Slanina: Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS 2000: 559-568
- [c23]
1990 – 1999
- 1999
- [j14]Angelo Montanari, Alberto Policriti, Yde Venema: Editorial. Logic Journal of the IGPL 7(1): 5-6 (1999)
- [j13]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)
- [j12]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)
- [c22]Massimo Franceschet, Angelo Montanari: Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA 1999: 131-142
- [c21]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
- [c20]Massimo Franceschet, Angelo Montanari: A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME 1999: 55-66
- 1998
- [j11]Luca Chittaro, Angelo Montanari: Editorial: Temporal Representation and Reasoning. Ann. Math. Artif. Intell. 22(1-2): 1-4 (1998)
- [j10]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)
- [j9]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)
- [c19]Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998: 368-379
- [c18]Iliano Cervesato, Massimo Franceschet, Angelo Montanari: Event Calculus with Explicit Quantifiers. TIME 1998: 81-88
- 1997
- [j8]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)
- [j7]Angelo Montanari, Maarten de Rijke: Two-sorted Metric Temporal Logics. Theor. Comput. Sci. 183(2): 187-214 (1997)
- [c17]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
- [c16]Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. ICLP 1997: 419
- [c15]Angelo Montanari, Alberto Policriti: A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) 1997: 196-201
- [c14]Iliano Cervesato, Massimo Franceschet, Angelo Montanari: Modal Event Calculi with Preconditions. TIME 1997: 38-45
- 1996
- [b1]Angelo Montanari: Metric and Layered Temporal Logic for Time Granularity. ILLC Dissertation Series 1996-02, University of Amsterdam 1996
- [j6]Luca Chittaro, Angelo Montanari: Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence 12: 359-382 (1996)
- [j5]Angelo Montanari, Alberto Policriti: Decidability Results for Metric and Layered Temporal Logics. Notre Dame Journal of Formal Logic 37(2): 260-282 (1996)
- [c13]Angelo Montanari, Luca Chittaro, Iliano Cervesato: A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. ECAI 1996: 33-37
- [e1]Luca Chittaro, Scott D. Goodwin, Howard J. Hamilton, Angelo Montanari (Eds.): Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996. IEEE Computer Society 1996, ISBN 0-8186-7528-4
- 1995
- [j4]Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reasoning 15(3): 317-337 (1995)
- [c12]Angelo Montanari, Maarten de Rijke: Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995: 385-399
- [c11]Iliano Cervesato, Luca Chittaro, Angelo Montanari: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP 1995: 299-313
- [c10]Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for (Poly)modal Logics. STACS 1995: 217-228
- 1994
- [j3]Angelo Montanari, Elisa Peressi, Barbara Pernici: Object Migration in Temporal Object-Oriented Databases. Informatica (Slovenia) 18(4) (1994)
- [c9]Iliano Cervesato, Luca Chittaro, Angelo Montanari: What the Event Calculus actually does, and how to do it efficiently. GULP-PRODE (2) 1994: 336-350
- [c8]Luca Chittaro, Angelo Montanari, Alessandro Provetti: Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994: 361-365
- [c7]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
- [c6]Elisa Peressi, Angelo Montanari, Barbara Pernici: T-ORM: un modello temporale per l'evoluzione degli oggetti. SEBD 1994: 271-291
- [c5]
- [c4]Luca Chittaro, Angelo Montanari: Efficient Handling of Context Dependency in the Cached Event Calculus. TIME 1994: 103-112
- 1993
- [j2]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)
- [c3]L. Chitaro, Angelo Montanari: Reasoning about discrete processes in a logic programming framework. GULP 1993: 407-422
- [p1]
- 1992
- [c2]Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto: Dealing with Time Granularity in the Event Calculus. FGCS 1992: 702-712
- 1991
- [j1]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)
- [c1]Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti: Embedding time granularity in logical specifications of real-time systems. RTS 1991: 88-97
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:58 CEST by the dblp team