Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDAngelo Montanari
Person information
- affiliation: University of Udine, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j71]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model checking interval temporal logics with regular expressions. Inf. Comput. 272: 104498 (2020)- [j70]David Barozzini, David de Frutos-Escrig, Dario Della Monica
, Angelo Montanari, Pietro Sala:
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813: 270-304 (2020) - [j69]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger:
Timeline-based planning over dense temporal domains. Theor. Comput. Sci. 813: 305-326 (2020) - [j68]Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds:
On timeline-based games and their complexity. Theor. Comput. Sci. 815: 247-269 (2020) - [c150]Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala:
Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI 2020: 9859-9866 - [c149]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c148]Andrea Brunello, Martin Kraft, Angelo Montanari, Federico Pittino, Andrea Urgolo:
Virtual Sensing of Temperatures in Indoor Environments: A Case Study. ICDM (Workshops) 2020: 805-810 - [c147]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS 2020: 155-166 - [c146]Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno:
A new similarity measure for low-sampling cellular fingerprint trajectories. MDM 2020: 9-18 - [c145]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
On a Temporal Logic of Prefixes and Infixes. MFCS 2020: 21:1-21:14 - [c144]Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan:
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY 2020: 11-15 - [c143]Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo:
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. OVERLAY 2020: 83-88 - [c142]Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari:
Complexity of Qualitative Timeline-Based Planning. TIME 2020: 16:1-16:13 - [i10]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR abs/2006.04652 (2020) - [i9]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR abs/2008.05335 (2020)
2010 – 2019
- 2019
- [j67]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Comput. 8(1): 21 (2019) - [j66]Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco:
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Expert Syst. J. Knowl. Eng. 36(3) (2019) - [j65]Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Chris Marshall, Angelo Montanari, Federico Pittino, Andrea Viel:
A map-matching algorithm dealing with sparse cellular fingerprint observations. Geo spatial Inf. Sci. 22(2): 89-106 (2019) - [j64]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266: 97-125 (2019) - [j63]Andrea Brunello, Paolo Gallo, Enrico Marzano, Angelo Montanari, Nicola Vitacolonna:
An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers. J. Cases Inf. Technol. 21(1): 33-51 (2019) - [j62]Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino:
An original approach to positioning with cellular fingerprints based on decision tree ensembles. J. Locat. Based Serv. 13(1): 25-52 (2019) - [j61]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. 764: 125-144 (2019) - [j60]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. 20(1): 4:1-4:31 (2019) - [c141]Donatella Gubiani, Paolo Gallo, Andrea Viel, Andrea Dalla Torre, Angelo Montanari:
A Cellular Network Database for Fingerprint Positioning Systems. ADBIS (Short Papers and Workshops) 2019: 111-119 - [c140]Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek:
Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wrocław. ADBIS (Short Papers and Workshops) 2019: 463-474 - [c139]Andrea Brunello, Dario Della Monica, Angelo Montanari:
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. OVERLAY@AI*IA 2019: 71-76 - [c138]Angelo Montanari:
Model Checking: The Interval Way. CILC 2019: 3 - [c137]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. FSTTCS 2019: 33:1-33:14 - [c136]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. FSTTCS 2019: 34:1-34:14 - [c135]Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41 - [c134]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS 2019: 235-247 - [c133]Luca Geatti, Nicola Gigante, Angelo Montanari:
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX 2019: 3-20 - [c132]Andrea Brunello, Angelo Montanari, Mark Reynolds:
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. TIME 2019: 17:1-17:19 - [c131]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. TIME 2019: 18:1-18:17 - [i8]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of future timeline-based planning over dense temporal domains. CoRR abs/1904.09184 (2019) - 2018
- [j59]Alberto Molinari, Angelo Montanari, Adriano Peron:
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Inf. Comput. 259(3): 412-443 (2018) - [j58]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. 262: 241-264 (2018) - [c130]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST 2018: 240-256 - [c129]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger:
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ICTCS 2018: 116-127 - [c128]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala:
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR 2018: 541-550 - [c127]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR 2018: 627-628 - [c126]Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino:
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles. LBS 2018: 49-70 - [c125]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A Novel Decision Tree Approach for the Handling of Time Series. MIKE 2018: 351-368 - [c124]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds:
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME 2018: 13:1-13:17 - [c123]Andrea Viel, Donatella Gubiani, Paolo Gallo, Angelo Montanari, Andrea Dalla Torre, Federico Pittino, Chris Marshall:
Map matching with sparse cellular fingerprint observations. UPINLBS 2018: 1-10 - [c122]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF 2018: 176-190 - [c121]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF 2018: 191-205 - [r3]Angelo Montanari, Jan Chomicki:
Time Domain. Encyclopedia of Database Systems (2nd ed.) 2018 - [i7]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds:
A game-theoretic approach to timeline-based planning with uncertainty. CoRR abs/1807.04837 (2018) - 2017
- [c120]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini:
Complexity of Timeline-Based Planning. ICAPS 2017: 116-124 - [c119]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP 2017: 120:1-120:14 - [c118]Andrea Viel, Paolo Gallo, Angelo Montanari, Donatella Gubiani, Andrea Dalla Torre, Federico Pittino, Chris Marshall:
Dealing with network changes in cellular fingerprint positioning systems. ICL-GNSS 2017: 1-6 - [c117]David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala:
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC 2017: 27-38 - [c116]Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC 2017: 63-74 - [c115]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI 2017: 1008-1014 - [c114]Nicola Gigante, Angelo Montanari, Mark Reynolds:
A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR 2017: 456-473 - [c113]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM 2017: 104-119 - [c112]Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME 2017: 11:1-11:18 - [c111]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. GandALF 2017: 31-45 - [c110]Dario Della Monica, Angelo Montanari, Pietro Sala:
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF 2017: 223-237 - [i6]Alberto Molinari, Angelo Montanari, Adriano Peron:
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. CoRR abs/1709.01849 (2017) - [i5]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR abs/1711.08191 (2017) - 2016
- [j57]Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53(3): 207-246 (2016) - [j56]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking interval properties of computations. Acta Informatica 53(6-8): 587-619 (2016) - [j55]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Metric propositional neighborhood logic with an equivalence relation. Acta Informatica 53(6-8): 621-648 (2016) - [j54]Alberto Molinari, Angelo Montanari, Adriano Peron:
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. Electron. Notes Theor. Comput. Sci. 322: 211-226 (2016) - [j53]Matjaz Gams, Eva Cerncic, Angelo Montanari:
A Temporal Perspective on the Paradox of Pinocchio's Nose. Informatica (Slovenia) 40(3) (2016) - [j52]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. 629: 116-134 (2016) - [c109]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR 2016: 389-405 - [c108]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS 2016: 26:1-26:14 - [c107]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS 2016: 49-61 - [c106]Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds:
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. IJCAI 2016: 950-956 - [c105]Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala:
Prompt Interval Temporal Logic. JELIA 2016: 207-222 - [c104]Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR 2016: 473-483 - [c103]Angelo Montanari:
Interval Temporal Logics Model Checking. TIME 2016: 2 - [c102]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini:
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. TIME 2016: 100-109 - [c101]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. GandALF 2016: 76-90 - [i4]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. CoRR abs/1601.03195 (2016) - [i3]Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS. CoRR abs/1601.03202 (2016) - 2015
- [j51]Angelo Montanari, Gabriele Puppis, Pietro Sala:
A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Log. Methods Comput. Sci. 11(4) (2015) - [j50]Angelo Montanari, Gabriele Puppis, Tiziano Villa:
Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015) - [c100]Alberto Molinari, Angelo Montanari, Adriano Peron:
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL 2015: 193-210 - [c99]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA 2015: 511-523 - [c98]Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco:
Undecidability of Chop. TIME 2015: 79-89 - [c97]Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME 2015: 90-100 - 2014
- [j49]Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. 71(1-3): 11-39 (2014) - [j48]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71(1-3): 41-83 (2014) - [j47]Angelo Montanari:
Report on TIME 2013. Bull. EATCS 112 (2014) - [j46]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560: 269-291 (2014) - [c96]Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov:
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [c95]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Adding two equivalence relations to the interval temporal logic AB. ICTCS 2014: 171-182 - [c94]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA 2014: 267-281 - [c93]Angelo Montanari, Gabriele Puppis, Pietro Sala:
Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. MFCS (1) 2014: 451-463 - [c92]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Metric Propositional Neighborhood Logic with an Equivalence Relation. TIME 2014: 49-58 - [c91]Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. TIME 2014: 59-68 - [c90]Angelo Montanari, Pietro Sala:
Interval-based Synthesis. GandALF 2014: 102-115 - 2013
- [j45]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12(2): 245-264 (2013) - [j44]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) - [j43]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:1-6:44 (2013) - [c89]Angelo Montanari, Pietro Sala:
Interval Logics and ωB-Regular Languages. LATA 2013: 431-443 - [c88]Angelo Montanari, Pietro Sala:
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. LICS 2013: 193-202 - [c87]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR 2013: 1-17 - [c86]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 - [c85]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME 2013: 65-72 - 2012
- [j42]Angelo Montanari, Margherita Napoli, Mimmo Parente:
Preface. Int. J. Found. Comput. Sci. 23(3) (2012) - [j41]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. Univers. Comput. Sci. 18(20): 2798-2831 (2012) - [c84]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 - [c83]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 - [c82]Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon:
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. ICAART (1) 2012: 154-163 - [c81]Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon:
Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints. ICAART (Revised Selected Papers) 2012: 234-249 - [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
- [j40]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Interval Temporal Logics: a Journey. Bull. 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
- [j39]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electron. Notes Theor. Comput. Sci. 262: 65-81 (2010) - [j38]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. Informaticae 105(1-2): 105-133 (2010) - [j37]