×

zbMATH — the first resource for mathematics

Montanari, Angelo

Compute Distance To:
Author ID: montanari.angelo Recent zbMATH articles by "Montanari, Angelo"
Published as: Montanari, Angelo; Montanari, A.
External Links: MGP
Documents Indexed: 107 Publications since 1992, including 2 Books

Publications by Year

Citations contained in zbMATH Open

78 Publications have been cited 361 times in 100 Documents Cited by Year
A road map of interval temporal logics and duration calculi. Zbl 1181.03012
Goranko, V.; Montanari, A.; Sciavicco, G.
25
2004
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions. Zbl 1221.03022
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
23
2009
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
16
2010
Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals. Zbl 1288.03017
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
16
2010
The dark side of interval temporal logic: marking the undecidability border. Zbl 1325.03014
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
13
2014
Temporal representation and reasoning in artificial intelligence: Issues and approaches. Zbl 1001.68096
Chittaro, Luca; Montanari, Angelo
11
2000
Checking interval properties of computations. Zbl 1350.68184
Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
10
2016
An optimal decision procedure for right propositional neighborhood logic. Zbl 1121.03027
Bresolin, Davide; Montanari, Angelo; Sciavicco, Guido
10
2007
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: Towards a complete classification. Zbl 1182.03037
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
9
2008
Metric propositional neighborhood logics: expressiveness, decidability, and undecidability. Zbl 1211.68397
Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, A.; Sciavicco, G.
9
2010
Estimating long-range dependence in the presence of periodicity: An empirical study. Zbl 0999.62072
Montanari, A.; Taqqu, M. S.; Teverovsky, V.
9
1999
A general tableau method for propositional interval temporal logics. Zbl 1274.03033
Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
9
2003
A general tableau method for propositional interval temporal logics: theory and implementation. Zbl 1104.03010
Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G.
8
2006
An optimal tableau-based decision algorithm for propositional neighborhood logic. Zbl 1141.03308
Bresolin, Davide; Montanari, Angelo; Sala, Pietro
8
2007
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity. Zbl 1335.03017
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
7
2014
Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers. Zbl 1230.03047
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido
7
2010
A set-theoretic translation method for polymodal logics. Zbl 0840.03015
D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
7
1995
Decidability of interval temporal logics over split-frames via granularity. Zbl 1013.03013
Montanari, Angelo; Sciavicco, Guido; Vitacolonna, Nicola
7
2002
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
7
2011
A model checking procedure for interval temporal logics based on track representatives. Zbl 1373.68289
Molinari, Alberto; Montanari, Angelo; Peron, Adriano
6
2015
Interval vs. point temporal logic model checking: an expressiveness comparison. Zbl 1391.68075
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
6
2016
Optimal tableaux for right propositional neighborhood logic over linear orders. Zbl 1178.03030
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
6
2008
Interval temporal logic model checking: the border between good and bad HS fragments. Zbl 06623275
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
5
2016
Temporalized logics and automata for time granularity. Zbl 1088.68105
Franceschet, Massimo; Montanari, Angelo
5
2004
A decidable spatial logic with cone-shaped cardinal directions. Zbl 1257.03054
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
5
2009
A tableau-based decision procedure for right propositional neighborhood logic. Zbl 1141.03307
Bresolin, Davide; Montanari, Angelo
5
2005
On decidability and expressiveness of propositional interval neighborhood logics. Zbl 1132.03335
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
5
2007
A decidable weakening of compass logic based on cone-shaped cardinal directions. Zbl 1351.03014
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
4
2015
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. Zbl 1339.03018
Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
4
2016
On the complexity of fragments of the modal logic of Allen’s relations over dense structures. Zbl 1451.03020
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
4
2015
An algorithmic account of Ehrenfeucht games on labeled successor structures. Zbl 1143.03353
Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
4
2005
Embedding time granularity in a logical specification language for synchronous real-time systems. Zbl 0781.68083
Ciapessoni, E.; Corsetti, E.; Montanari, A.; San Pietro, P.
4
1993
Calendars, time granularities, and automata. Zbl 0997.68567
Dal Lago, Ugo; Montanari, Angelo
4
2001
Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness. Zbl 1366.03185
Montanari, Angelo; Sala, Pietro
3
2013
On the expressiveness of the interval logic of Allen’s relations over finite and discrete linear orders. Zbl 1432.03027
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
3
2014
Towards compact and tractable automaton-based representations of time granularities. Zbl 1257.68063
Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele
3
2003
A theory of ultimately periodic languages and automata with an application to time granularity. Zbl 1186.68246
Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
3
2009
Decidability of the interval temporal logic \(\mathsf{A}\bar{\mathsf{A}}\mathsf{B}\bar{\mathsf{B}}\) over the rationals. Zbl 1426.03018
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
3
2014
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Zbl 1325.03015
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
3
2014
Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T. Zbl 1156.03321
Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido
3
2008
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders. Zbl 1333.03006
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
3
2011
Theories of \(\omega\)-layered metric temporal structures: Expressiveness and decidability. Zbl 0920.03033
Montanari, Angelo; Peron, Adriano; Policriti, Alberto
3
1999
Decidability results for metric and layered temporal logics. Zbl 0858.03018
Montanari, Angelo; Policriti, Alberto
3
1996
Modal deduction in second-order logic and set theory. I. Zbl 0873.03021
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
3
1997
Extending Kamp’s theorem to model time granularity. Zbl 1006.03015
Montanari, Angelo; Peron, Adriano; Policriti, Alberto
3
2002
The importance of the past in interval temporal logics: the case of propositional neighborhood logic. Zbl 1356.03061
Della Monica, Dario; Montanari, Angelo; Sala, Pietro
3
2012
Interval logics and \(\omega B\)-regular languages. Zbl 1377.03026
Montanari, Angelo; Sala, Pietro
3
2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Zbl 1296.03013
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
2
2013
Model checking for fragments of Halpern and Shoham’s interval temporal logic based on track representatives. Zbl 1390.68436
Molinari, Alberto; Montanari, Angelo; Peron, Adriano
2
2018
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation. Zbl 1401.68275
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
2
2013
Time granularities and ultimately periodic automata. Zbl 1111.68697
Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
2
2004
Tableau systems for logics of subinterval structures over dense orderings. Zbl 1133.03007
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
2
2007
Games on strings with a limited order relation. Zbl 1211.03050
De Maria, Elisabetta; Montanari, Angelo; Vitacolonna, Nicola
2
2009
Modal deduction in second-order logic and set theory. II. Zbl 0953.03022
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
2
1998
The taming (timing) of the states. Zbl 0964.03017
Montanari, Angelo; Peron, Adriano; Policriti, Alberto
2
2000
Prompt interval temporal logic. Zbl 06658162
Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro
2
2016
Interval temporal logics over finite linear orders: the complete picture. Zbl 1327.03012
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
2
2012
A graph-theoretic approach to map conceptual designs to XML schemas. Zbl 1321.68245
Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla
1
2013
An algorithm for enumerating maximal models of Horn theories with an application to modal logics. Zbl 1433.03019
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
1
2013
Undecidability of the logic of overlap relation over discrete linear orderings. Zbl 1345.03019
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
1
2010
Metric propositional neighborhood logic with an equivalence relation. Zbl 1350.68185
Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
1
2016
Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity. Zbl 1082.68066
Franceschet, Massimo; Montanari, Angelo
1
2003
Foreword to the special issue on interval temporal logics and duration calculi. Zbl 1180.03019
Goranko, Valentin; Montanari, Angelo
1
2004
Decidability and complexity of the fragments of the modal logic of Allen’s relations over the rationals. Zbl 1436.03120
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
1
2019
Definability and decidability of binary predicates for time granularity. Zbl 1101.03016
Franceschet, Massimo; Montanari, Angelo; Peron, Adriano; Sciavicco, Guido
1
2006
Compact and tractable automaton-based representations of time granularities. Zbl 1111.68053
Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele
1
2007
Two-sorted metric temporal logics. Zbl 0901.03019
Montanari, Angelo; de Rijke, Maarten
1
1997
On the non-monotonic behaviour of event calculus for deriving maximal time intervals. Zbl 0836.90116
Cervesato, Iliano; Montanari, Angelo; Provetti, Alessandro
1
1993
A hierarchy of modal event calculi: Expressiveness and complexity. Zbl 0945.03017
Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo
1
2000
Decidable theories of \(\omega\)-layered metric temporal structures. Zbl 0945.03022
Montanari, Angelo; Peron, Adriano; Policriti, Alberto
1
2000
Dealing with time granularity in the event calculus. Zbl 0864.68101
Montanari, Angelo; Maim, Enrico; Ciapessoni, Emanuele; Ratto, Elena
1
1992
The role of projection indices in projection pursuit. Zbl 0863.62062
Montanari, A.; Guglielmi, N.
1
1996
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Zbl 1400.68121
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2018
An in-depth investigation of interval temporal logic model checking with regular expressions. Zbl 1420.68120
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
1
2017
Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2019
Model checking interval temporal logics with regular expressions. Zbl 1443.68102
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
1
2020
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption. Zbl 1442.68103
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2017
A one-pass tree-shaped tableau for LTL+past. Zbl 1402.03026
Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
1
2017
Model checking interval temporal logics with regular expressions. Zbl 1443.68102
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
1
2020
Decidability and complexity of the fragments of the modal logic of Allen’s relations over the rationals. Zbl 1436.03120
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
1
2019
Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2019
Model checking for fragments of Halpern and Shoham’s interval temporal logic based on track representatives. Zbl 1390.68436
Molinari, Alberto; Montanari, Angelo; Peron, Adriano
2
2018
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Zbl 1400.68121
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2018
An in-depth investigation of interval temporal logic model checking with regular expressions. Zbl 1420.68120
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
1
2017
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption. Zbl 1442.68103
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2017
A one-pass tree-shaped tableau for LTL+past. Zbl 1402.03026
Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
1
2017
Checking interval properties of computations. Zbl 1350.68184
Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
10
2016
Interval vs. point temporal logic model checking: an expressiveness comparison. Zbl 1391.68075
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
6
2016
Interval temporal logic model checking: the border between good and bad HS fragments. Zbl 06623275
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
5
2016
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. Zbl 1339.03018
Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
4
2016
Prompt interval temporal logic. Zbl 06658162
Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro
2
2016
Metric propositional neighborhood logic with an equivalence relation. Zbl 1350.68185
Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
1
2016
A model checking procedure for interval temporal logics based on track representatives. Zbl 1373.68289
Molinari, Alberto; Montanari, Angelo; Peron, Adriano
6
2015
A decidable weakening of compass logic based on cone-shaped cardinal directions. Zbl 1351.03014
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
4
2015
On the complexity of fragments of the modal logic of Allen’s relations over dense structures. Zbl 1451.03020
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
4
2015
The dark side of interval temporal logic: marking the undecidability border. Zbl 1325.03014
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
13
2014
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity. Zbl 1335.03017
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
7
2014
On the expressiveness of the interval logic of Allen’s relations over finite and discrete linear orders. Zbl 1432.03027
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
3
2014
Decidability of the interval temporal logic \(\mathsf{A}\bar{\mathsf{A}}\mathsf{B}\bar{\mathsf{B}}\) over the rationals. Zbl 1426.03018
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
3
2014
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Zbl 1325.03015
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
3
2014
Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness. Zbl 1366.03185
Montanari, Angelo; Sala, Pietro
3
2013
Interval logics and \(\omega B\)-regular languages. Zbl 1377.03026
Montanari, Angelo; Sala, Pietro
3
2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Zbl 1296.03013
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
2
2013
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation. Zbl 1401.68275
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
2
2013
A graph-theoretic approach to map conceptual designs to XML schemas. Zbl 1321.68245
Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla
1
2013
An algorithm for enumerating maximal models of Horn theories with an application to modal logics. Zbl 1433.03019
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
1
2013
The importance of the past in interval temporal logics: the case of propositional neighborhood logic. Zbl 1356.03061
Della Monica, Dario; Montanari, Angelo; Sala, Pietro
3
2012
Interval temporal logics over finite linear orders: the complete picture. Zbl 1327.03012
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
2
2012
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
7
2011
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders. Zbl 1333.03006
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
3
2011
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
16
2010
Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals. Zbl 1288.03017
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
16
2010
Metric propositional neighborhood logics: expressiveness, decidability, and undecidability. Zbl 1211.68397
Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, A.; Sciavicco, G.
9
2010
Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers. Zbl 1230.03047
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido
7
2010
Undecidability of the logic of overlap relation over discrete linear orderings. Zbl 1345.03019
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
1
2010
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions. Zbl 1221.03022
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
23
2009
A decidable spatial logic with cone-shaped cardinal directions. Zbl 1257.03054
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
5
2009
A theory of ultimately periodic languages and automata with an application to time granularity. Zbl 1186.68246
Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
3
2009
Games on strings with a limited order relation. Zbl 1211.03050
De Maria, Elisabetta; Montanari, Angelo; Vitacolonna, Nicola
2
2009
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: Towards a complete classification. Zbl 1182.03037
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
9
2008
Optimal tableaux for right propositional neighborhood logic over linear orders. Zbl 1178.03030
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
6
2008
Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T. Zbl 1156.03321
Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido
3
2008
An optimal decision procedure for right propositional neighborhood logic. Zbl 1121.03027
Bresolin, Davide; Montanari, Angelo; Sciavicco, Guido
10
2007
An optimal tableau-based decision algorithm for propositional neighborhood logic. Zbl 1141.03308
Bresolin, Davide; Montanari, Angelo; Sala, Pietro
8
2007
On decidability and expressiveness of propositional interval neighborhood logics. Zbl 1132.03335
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
5
2007
Tableau systems for logics of subinterval structures over dense orderings. Zbl 1133.03007
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
2
2007
Compact and tractable automaton-based representations of time granularities. Zbl 1111.68053
Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele
1
2007
A general tableau method for propositional interval temporal logics: theory and implementation. Zbl 1104.03010
Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G.
8
2006
Definability and decidability of binary predicates for time granularity. Zbl 1101.03016
Franceschet, Massimo; Montanari, Angelo; Peron, Adriano; Sciavicco, Guido
1
2006
A tableau-based decision procedure for right propositional neighborhood logic. Zbl 1141.03307
Bresolin, Davide; Montanari, Angelo
5
2005
An algorithmic account of Ehrenfeucht games on labeled successor structures. Zbl 1143.03353
Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
4
2005
A road map of interval temporal logics and duration calculi. Zbl 1181.03012
Goranko, V.; Montanari, A.; Sciavicco, G.
25
2004
Temporalized logics and automata for time granularity. Zbl 1088.68105
Franceschet, Massimo; Montanari, Angelo
5
2004
Time granularities and ultimately periodic automata. Zbl 1111.68697
Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
2
2004
Foreword to the special issue on interval temporal logics and duration calculi. Zbl 1180.03019
Goranko, Valentin; Montanari, Angelo
1
2004
A general tableau method for propositional interval temporal logics. Zbl 1274.03033
Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
9
2003
Towards compact and tractable automaton-based representations of time granularities. Zbl 1257.68063
Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele
3
2003
Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity. Zbl 1082.68066
Franceschet, Massimo; Montanari, Angelo
1
2003
Decidability of interval temporal logics over split-frames via granularity. Zbl 1013.03013
Montanari, Angelo; Sciavicco, Guido; Vitacolonna, Nicola
7
2002
Extending Kamp’s theorem to model time granularity. Zbl 1006.03015
Montanari, Angelo; Peron, Adriano; Policriti, Alberto
3
2002
Calendars, time granularities, and automata. Zbl 0997.68567
Dal Lago, Ugo; Montanari, Angelo
4
2001
Temporal representation and reasoning in artificial intelligence: Issues and approaches. Zbl 1001.68096
Chittaro, Luca; Montanari, Angelo
11
2000
The taming (timing) of the states. Zbl 0964.03017
Montanari, Angelo; Peron, Adriano; Policriti, Alberto
2
2000
A hierarchy of modal event calculi: Expressiveness and complexity. Zbl 0945.03017
Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo
1
2000
Decidable theories of \(\omega\)-layered metric temporal structures. Zbl 0945.03022
Montanari, Angelo; Peron, Adriano; Policriti, Alberto
1
2000
Estimating long-range dependence in the presence of periodicity: An empirical study. Zbl 0999.62072
Montanari, A.; Taqqu, M. S.; Teverovsky, V.
9
1999
Theories of \(\omega\)-layered metric temporal structures: Expressiveness and decidability. Zbl 0920.03033
Montanari, Angelo; Peron, Adriano; Policriti, Alberto
3
1999
Modal deduction in second-order logic and set theory. II. Zbl 0953.03022
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
2
1998
Modal deduction in second-order logic and set theory. I. Zbl 0873.03021
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
3
1997
Two-sorted metric temporal logics. Zbl 0901.03019
Montanari, Angelo; de Rijke, Maarten
1
1997
Decidability results for metric and layered temporal logics. Zbl 0858.03018
Montanari, Angelo; Policriti, Alberto
3
1996
The role of projection indices in projection pursuit. Zbl 0863.62062
Montanari, A.; Guglielmi, N.
1
1996
A set-theoretic translation method for polymodal logics. Zbl 0840.03015
D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
7
1995
Embedding time granularity in a logical specification language for synchronous real-time systems. Zbl 0781.68083
Ciapessoni, E.; Corsetti, E.; Montanari, A.; San Pietro, P.
4
1993
On the non-monotonic behaviour of event calculus for deriving maximal time intervals. Zbl 0836.90116
Cervesato, Iliano; Montanari, Angelo; Provetti, Alessandro
1
1993
Dealing with time granularity in the event calculus. Zbl 0864.68101
Montanari, Angelo; Maim, Enrico; Ciapessoni, Emanuele; Ratto, Elena
1
1992
all top 5

Cited by 115 Authors

33 Montanari, Angelo
21 Sciavicco, Guido
17 Sala, Pietro
12 Bresolin, Davide
9 Della Monica, Dario
9 Goranko, Valentin F.
9 Peron, Adriano
7 Molinari, Alberto
5 Demri, Stéphane P.
4 Bozzelli, Laura
4 Puppis, Gabriele
3 Alves Rocha, Thiago
3 Durhan, Salih
3 Martins, Ana Teresa
3 Policriti, Alberto
2 Artikis, Alexander
2 Burns, Alan D.
2 Cantone, Domenico
2 Chebotarev, Anatoli N.
2 Combi, Carlo
2 Conradie, Willem J.
2 Deters, Morgan
2 Konur, Savas
2 Martins Ferreira, Francicleber
2 Masini, Andrea
2 Murano, Aniello
2 Omodeo, Eugenio Giovanni
2 Paliouras, Georgios
2 Pazzaglia, Marco
2 Viganò, Luca
2 Volpe, Marco
2 Wałęga, Przemysław Andrzej
1 Aceto, Luca
1 Balbiani, Philippe
1 Barozzini, David
1 Barth, Stephan
1 Bezem, Marc
1 Bolander, Thomas
1 Bouaziz, Rafik
1 Brahmia, Zouhaier
1 Cardenas-Viedma, M. Antonia
1 Chizhov, A. S.
1 Dal Lago, Ugo
1 de Frutos-Escrig, David
1 De Maria, Elisabetta
1 de Nivelle, Hans
1 de Rijke, Maarten
1 Formisano, Andrea
1 Franceschet, Massimo
1 Furia, Carlo Alberto
1 Gascon, Régis
1 Geatti, Luca
1 Gigante, Nicola
1 Giordano, Laura
1 Goguadze, George
1 Guelev, Dimitar P.
1 Guil, Francisco
1 Hamrouni, Hind
1 Hansen, Jens Ulrik
1 Hansen, Michael Reichhardt
1 Hayes, Ian J.
1 Ho, TuBao
1 Höfner, Peter
1 Ingólfsdóttir, Anna
1 Jobczyk, Krystian
1 Juarez, Jose M.
1 Kafalı, Özgür
1 Kawasaki, Saori
1 Le, SiQuang
1 Leucker, Martin
1 Ligȩza, Antoni
1 Lisitsa, Alexei
1 Makris, Evangelos
1 Marín, Roque L.
1 Martins Ferreir, Francicleber
1 Möller, Bernhard
1 Moszkowski, Ben C.
1 Muñoz-Velasco, Emilio
1 Navarrete, Isabel
1 Nguyen, Canh-Hao
1 Nicolosi Asmundo, Marianna
1 Pelegrín, Mercedes
1 Perelli, Giuseppe
1 Piazza, Carla
1 Pleitz, Martin
1 Pratt-Hartmann, Ian
1 Prieto, Máximo
1 Provetti, Alessandro
1 Reynolds, Mark Alexander
1 Romeo, Luciano
1 Rybakov, Vladimir Vladimirovich
1 Saake, Gunter
1 Sazonov, Vladimir Yu.
1 Schmitz, Sylvain
1 Schobbens, Pierre-Yves
1 Sernadas, Cristina S.
1 Skarlatidis, Anastasios
1 Spoletini, Paola
1 Stan, Ionel Eduard
1 Szajnkenig, Wojtek
...and 15 more Authors

Citations by Year