dblp.uni-trier.dewww.uni-trier.de

Angelo Montanari Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
98EEAngelo Montanari, Gabriele Puppis, Pietro Sala: A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL 2009: 394-408
97EEDonatella Gubiani, Angelo Montanari: A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions. DEXA 2009: 792-806
96EEElisabetta De Maria, Angelo Montanari, Nicola Vitacolonna: Games on Strings with a Limited Order Relation. LFCS 2009: 164-179
95EEDavide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137
94EEMassimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym 2009: 165-179
93EEDavide 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)
92EEDavide 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)
2008
91EEIan Hodkinson, Angelo Montanari, Guido Sciavicco: Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL 2008: 308-322
90EEDonatella Gubiani, Angelo Montanari: A conceptual spatial model supporting topologically-consistent multiple representations. GIS 2008: 9
89EEAngelo Montanari: Back to Interval Temporal Logics. ICLP 2008: 11-13
88EEDavide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75
87EEDavide 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
86EEDavide Bresolin, Angelo Montanari, Pietro Sala: An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008: 110-117
2007
85EECarlo Combi, Angelo Montanari, Giuseppe Pozzi: The t4sql temporal query language. CIKM 2007: 193-202
84EEMassimo Franceschet, Angelo Montanari, Donatella Gubiani: Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. DEXA Workshops 2007: 25-29
83EEDavide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99
82EEAngelo Montanari, Gabriele Puppis: A Contraction Method to Decide MSO Theories of Deterministic Trees. LICS 2007: 141-150
81 Donatella Gubiani, Angelo Montanari: ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model. SEBD 2007: 160-171
80 Donatella Gubiani, Angelo Montanari: A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas. SEBD 2007: 495-498
79EEDavide Bresolin, Angelo Montanari, Pietro Sala: An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560
78EEDavide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89
77EEUgo Dal Lago, Angelo Montanari, Gabriele Puppis: On the Equivalence of Automaton-Based Representations of Time Granularities. TIME 2007: 82-93
76EEDavide Bresolin, Angelo Montanari, Guido Sciavicco: An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reasoning 38(1-3): 173-199 (2007)
75EEUgo Dal Lago, Angelo Montanari, Gabriele Puppis: Compact and tractable automaton-based representations of time granularities. Theor. Comput. Sci. 373(1-2): 115-141 (2007)
2006
74EEElisabetta De Maria, Angelo Montanari, Marco Zantoni: An automaton-based approach to the verification of timed workflow schemas. TIME 2006: 87-94
73EEMassimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. J. Applied Logic 4(2): 168-191 (2006)
72EEValentin 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)
2005
71EEAngelo Montanari, Alberto Policriti, Nicola Vitacolonna: An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005: 139-153
70EEElisabetta De Maria, Angelo Montanari, Marco Zantoni: Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops 2005: 1-2
69 Iginia De Fent, Donatella Gubiani, Angelo Montanari: Granular GeoGraph: a multi-granular conceptual model for spatial data. SEBD 2005: 368-379
68EEDavide Bresolin, Angelo Montanari: A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX 2005: 63-77
67EEAngelo Montanari: Propositional Interval Temporal Logics: Some Promising Paths. TIME 2005: 201-203
66EECarlo Combi, Angelo Montanari, Rosalba Rossato: A Uniform Algebraic Characterization of Temporal Functional Dependencies. TIME 2005: 91-99
2004
65EEAngelo Montanari, Gabriele Puppis: Decidability of MSO Theories of Tree Structures. FSTTCS 2004: 434-446
64EEDavide Bresolin, Angelo Montanari, Gabriele Puppis: Time Granularities and Ultimately Periodic Automata. JELIA 2004: 513-525
63EEAngelo Montanari, Gabriele Puppis: Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME 2004: 156-160
62EEMassimo 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)
61 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)
60 Massimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity. TPLP 4(5-6): 621-658 (2004)
2003
59EEUgo Dal Lago, Angelo Montanari, Gabriele Puppis: Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003: 72-85
58EEValentin Goranko, Angelo Montanari, Guido Sciavicco: A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003: 102-116
57EEMassimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. TIME 2003: 192-202
56EEEnrico Marzano, Angelo Montanari, Alberto Policriti: Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice 2003: 626-644
55EEMassimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity CoRR cs.LO/0311022: (2003)
54 Claudio Bettini, Angelo Montanari: Temporal representation and reasoning. Data Knowl. Eng. 44(2): 139-141 (2003)
53EEValentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional Interval Neighborhood Temporal Logics. J. UCS 9(9): 1137-1167 (2003)
2002
52EECarlo Combi, Angelo Montanari: Querying Data with Multiple Temporal Dimensions. CAiSE 2002: 711-714
51EEAngelo Montanari, Guido Sciavicco, Nicola Vitacolonna: Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002: 259-270
50 Claudio Bettini, Angelo Montanari: Research Issues and Trends in Spatial and Temporal Granularities. Ann. Math. Artif. Intell. 36(1-2): 1-4 (2002)
49 Angelo Montanari, Alberto Policriti, Matteo Slanina: Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reasoning 28(5): 397-415 (2002)
48EEAngelo Montanari, Adriano Peron, Alberto Policriti: Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. 12(4): 641-677 (2002)
2001
47EECarlo Combi, Angelo Montanari: Data Models with Multiple Temporal Dimensions: Completing the Picture. CAiSE 2001: 187-202
46EEUgo Dal Lago, Angelo Montanari: Calendars, Time Granularities, and Automata. SSTD 2001: 279-298
45 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)
2000
44 Angelo Montanari, Alberto Policriti, Matteo Slanina: Supporting automated deduction in first-order modal logics. KR 2000: 547-556
43EEAngelo Montanari, Alberto Policriti, Matteo Slanina: Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS 2000: 559-568
42EEIliano Cervesato, Angelo Montanari: A Calculus of Macro-Events: Progress Report. TIME 2000: 47-58
41 Luca Chittaro, Angelo Montanari: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Ann. Math. Artif. Intell. 28(1-4): 47-106 (2000)
40 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)
39 Iliano Cervesato, Massimo Franceschet, Angelo Montanari: A Guided Tour through Some Extensions of the Event Calculus. Computational Intelligence 16(2): 307-347 (2000)
38EEAngelo Montanari, Adriano Peron, Alberto Policriti: The Taming (Timing) of the States. Logic Journal of the IGPL 8(5): (2000)
1999
37EEMassimo Franceschet, Angelo Montanari: Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA 1999: 131-142
36EECarlo 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
35EEMassimo Franceschet, Angelo Montanari: A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME 1999: 55-66
34 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)
33EEAngelo Montanari, Alberto Policriti, Yde Venema: Editorial. Logic Journal of the IGPL 7(1): 5-6 (1999)
32EEAngelo 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)
1998
31 Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998: 368-379
30EEIliano Cervesato, Massimo Franceschet, Angelo Montanari: Event Calculus with Explicit Quantifiers. TIME 1998: 81-88
29 Luca Chittaro, Angelo Montanari: Editorial: Temporal Representation and Reasoning. Ann. Math. Artif. Intell. 22(1-2): 1-4 (1998)
28EEIliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Electron. Trans. Artif. Intell. 2: 1-23 (1998)
27 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)
1997
26 Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. ICLP 1997: 419
25 Angelo Montanari, Alberto Policriti: A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) 1997: 196-201
24EEIliano Cervesato, Massimo Franceschet, Angelo Montanari: Modal Event Calculi with Preconditions. TIME 1997: 38-45
23EEChristian 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
22 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)
21EEAngelo Montanari, Maarten de Rijke: Two-sorted Metric Temporal Logics. Theor. Comput. Sci. 183(2): 187-214 (1997)
1996
20 Angelo Montanari, Luca Chittaro, Iliano Cervesato: A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. ECAI 1996: 33-37
19 Luca Chittaro, Angelo Montanari: Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence 12: 359-382 (1996)
18 Angelo Montanari, Alberto Policriti: Decidability Results for Metric and Layered Temporal Logics. Notre Dame Journal of Formal Logic 37(2): 260-282 (1996)
17 Angelo Montanari: Metric and Layered Temporal Logic for Time Granularity ILLC Dissertation Series 1996-02, University of Amsterdam 1996
1995
16 Angelo Montanari, Maarten de Rijke: Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995: 385-399
15 Iliano Cervesato, Luca Chittaro, Angelo Montanari: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP 1995: 299-313
14EEGiovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for (Poly)modal Logics. STACS 1995: 217-228
13 Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reasoning 15(3): 317-337 (1995)
1994
12 Luca Chittaro, Angelo Montanari, Alessandro Provetti: Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994: 361-365
11 Iliano Cervesato, Luca Chittaro, Angelo Montanari: What the Event Calculus actually does, and how to do it efficiently. GULP-PRODE (2) 1994: 336-350
10 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
9 Elisa Peressi, Angelo Montanari, Barbara Pernici: T-ORM: un modello temporale per l'evoluzione degli oggetti. SEBD 1994: 271-291
8 Iliano Cervesato, Luca Chittaro, Angelo Montanari: Modal Event Calculus. SLP 1994: 675
7EELuca Chittaro, Angelo Montanari: Efficient Handling of Context Dependency in the Cached Event Calculus. TIME 1994: 103-112
6 Angelo Montanari, Elisa Peressi, Barbara Pernici: Object Migration in Temporal Object-Oriented Databases. Informatica (Slovenia) 18(4): (1994)
1993
5 L. Chitaro, Angelo Montanari: Reasoning about discrete processes in a logic programming framework. GULP 1993: 407-422
4 Angelo Montanari, Barbara Pernici: temporal Reasoning. Temporal Databases 1993: 534-562
3 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)
1992
2 Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto: Dealing with Time Granularity in the Event Calculus. FGCS 1992: 702-712
1991
1 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)

Coauthor Index

1David W. Aha [45]
2Johan van Benthem [22] [27]
3Claudio Bettini [45] [50] [54]
4William P. Birmingham [45]
5Michael H. Böhlen [23]
6Kurt D. Bollacker [45]
7Davide Bresolin [64] [68] [76] [78] [79] [83] [86] [87] [88] [92] [93] [95]
8José Mauro Volkmer de Castilho [10]
9Iliano Cervesato [8] [11] [15] [20] [24] [26] [28] [30] [31] [34] [39] [42]
10L. Chitaro [5]
11Luca Chittaro [7] [8] [11] [12] [15] [19] [20] [29] [41]
12Emanuele Ciapessoni [2] [3]
13James Clifford [23]
14Carlo Combi [36] [47] [52] [66] [85]
15Edoardo Corsetti [1] [3]
16Giovanna D'Agostino [13] [14] [22] [27]
17Jörg Denzinger [45]
18Curtis E. Dyreson [23]
19Nina Edelweiss [10]
20Ramez Elmasri [23]
21Iginia De Fent [69]
22Timothy W. Finin (Tim Finin) [45]
23Gian Luca Foresti [36]
24Massimo Franceschet [24] [26] [28] [30] [31] [35] [36] [37] [39] [40] [55] [57] [60] [62] [73] [84] [94]
25Shashi K. Gadia [23]
26Lise Getoor [45]
27Yolanda Gil [45]
28Carla P. Gomes [45]
29Valentin Goranko [53] [58] [61] [72] [78] [83] [87] [92]
30Fabio Grandi [23]
31Benjamin N. Grosof [45]
32Donatella Gubiani [69] [80] [81] [84] [90] [94] [97]
33Patrick J. Hayes [23]
34Ian Hodkinson [91]
35Robert C. Holte (Robert Holte) [45]
36Holger H. Hoos (Holger Hoos) [45]
37Sushil Jajodia [23]
38Nathalie Japkowicz [45]
39Christian S. Jensen [23]
40Wolfgang Käfer [23]
41Nick Kline [23]
42Miroslav Kubat [45]
43Ugo Dal Lago [46] [59] [75] [77]
44Yves Lespérance [45]
45Nikos A. Lorentzos [23]
46Enrico Maim [2]
47Elisabetta De Maria [70] [74] [96]
48Enrico Marzano [56]
49Tom M. Mitchell [45]
50Yannis G. Mitsopoulos [23]
51Dario Della Monica [87]
52Karen L. Myers [45]
53Alexander Nareyek [45]
54Daniel A. Nonen [23]
55José Palazzo Moreira de Oliveira (José Palazzo M. de Oliveira) [10]
56Elisa Peressi [6] [9] [10] [23]
57Barbara Pernici [4] [6] [9] [10] [23]
58Adriano Peron [32] [38] [48] [57] [73]
59Carla Piazza [94]
60Pierluigi San Pietro [3]
61Alberto Policriti [13] [14] [18] [22] [25] [27] [32] [33] [38] [43] [44] [48] [49] [56] [71]
62Giuseppe Pozzi [85]
63Alessandro Provetti [12]
64Gabriele Puppis [59] [63] [64] [65] [75] [77] [82] [93] [98]
65Elena Ratto [1] [2]
66Maarten de Rijke [16] [21] [62]
67John F. Roddick [23]
68Rosalba Rossato [66]
69Pietro Sala [72] [78] [79] [86] [88] [92] [95] [98]
70Nandlal L. Sarda [23]
71Maria Rita Scalas [23]
72Alan C. Schultz [45]
73Guido Sciavicco [51] [53] [57] [58] [61] [72] [73] [76] [83] [87] [88] [91] [95]
74Arie Segev [23]
75Matteo Slanina [43] [44] [49]
76Richard T. Snodgrass [23]
77Michael D. Soo [23]
78Abdullah Uz Tansel [23]
79Paolo Tiberio [23]
80Yde Venema [33]
81Nicola Vitacolonna [51] [71] [96]
82Gerd Wagner [45]
83J. Paul Walser [45]
84Gio Wiederhold [23]
85Marco Zantoni [70] [74]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)