default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
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
- 2024
[j90]Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
:
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. 68(2): 6 (2024)- [j89]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. 20(1) (2024) - [j88]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. Log. Methods Comput. Sci. 20(3) (2024) - [j87]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. 23(2): 427-453 (2024) - [c173]Luca Geatti, Alessio Mansutti, Angelo Montanari:
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) 2024: 95-115 - [c172]Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. IJCAI 2024: 3270-3280 - [i18]Luca Geatti, Alessio Mansutti, Angelo Montanari:
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR abs/2401.09860 (2024) - 2023
- [j86]Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo:
Monitors That Learn From Failures: Pairing STL and Genetic Programming. IEEE Access 11: 57349-57364 (2023) - [j85]Andrea Brunello, Angelo Montanari, Nicola Saccomanno:
Towards interpretability in fingerprint based indoor positioning: May attention be with us. Expert Syst. Appl. 231: 120679 (2023) - [j84]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. 294: 105083 (2023) - [j83]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
GR(1) is equivalent to R(1). Inf. Process. Lett. 179: 106319 (2023) - [j82]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. 19(3) (2023) - [j81]Andrea Brunello, Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno:
Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis. Sensors 23(1): 352 (2023) - [j80]Dario Della Monica, Angelo Montanari, Pietro Sala:
An interval temporal logic characterization of extended ω-regular languages. Theor. Comput. Sci. 962: 113929 (2023) - [j79]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log. 24(3): 24:1-24:32 (2023) - [c171]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI 2023: 6236-6244 - [c170]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR 2023: 65-74 - [c169]Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. LICS 2023: 1-12 - [c168]Nicola Saccomanno, Andrea Brunello, Angelo Montanari:
Towards Learning an Optimal Metric for Fingerprint-based Localisation. MobiCom 2023: 132:1-132:3 - [c167]Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Towards Machine Learning Enhanced LTL Monitoring. OVERLAY@AI*IA 2023: 13-19 - [c166]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME 2023: 2:1-2:14 - [c165]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari:
Qualitative past Timeline-Based Games (Extended Abstract). TIME 2023: 22:1-22:3 - [e4]Agostino Dovier, Angelo Montanari, Andrea Orlandini:
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28 - December 2, 2022. CEUR Workshop Proceedings 3419, CEUR-WS.org 2023 [contents] - [e3]Agostino Dovier, Angelo Montanari, Andrea Orlandini:
AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings. Lecture Notes in Computer Science 13796, Springer 2023, ISBN 978-3-031-27180-9 [contents] - [i17]Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno:
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. CoRR abs/2302.05179 (2023) - [i16]Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR abs/2304.11483 (2023) - [i15]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. CoRR abs/2307.12289 (2023) - 2022
- [j78]Andrea Brunello, Angelo Montanari, Nicola Saccomanno:
A Framework for Indoor Positioning Including Building Topology. IEEE Access 10: 114959-114974 (2022) - [j77]Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala:
Decidability and complexity of action-based temporal planning over dense time. Artif. Intell. 307: 103686 (2022) - [j76]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. 18(1) (2022) - [j75]Andrea Brunello, Angelo Montanari, Nicola Saccomanno:
A genetic programming approach to WiFi fingerprint meta-distance learning. Pervasive Mob. Comput. 85: 101681 (2022) - [j74]Angelo Montanari, Pietro Sala:
Reactive synthesis from interval temporal logic specifications. Theor. Comput. Sci. 899: 48-79 (2022) - [j73]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity issues for timeline-based planning over dense time under future and minimal semantics. Theor. Comput. Sci. 901: 87-113 (2022) - [c164]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterisation of safety and co-safety languages. FoSSaCS 2022: 244-263 - [c163]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. GandALF 2022: 131-146 - [i14]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR abs/2202.07881 (2022) - [i13]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A combined approach to the analysis of speech conversations in a contact center domain. CoRR abs/2203.06396 (2022) - [i12]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. CoRR abs/2209.02307 (2022) - [i11]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR abs/2211.14913 (2022) - 2021
- [j72]Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno:
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. Artif. Intell. Medicine 118: 102133 (2021) - [j71]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. Inf. Comput. 278: 104599 (2021) - [j70]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity analysis of a unifying algorithm for model checking interval temporal logic. Inf. Comput. 280: 104640 (2021) - [j69]Andrea Brunello, Andrea Urgolo, Federico Pittino, András Montvay, Angelo Montanari:
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. Sensors 21(8): 2728 (2021) - [c162]Luca Geatti, Nicola Gigante, Angelo Montanari:
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF 2021: 7-12 - [c161]Dario Della Monica, Angelo Montanari, Pietro Sala:
Extended ω-Regular Languages and Interval Temporal Logic. ICTCS 2021: 70-86 - [c160]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM 2021: 351-371 - [c159]Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. TIME 2021: 8:1-8:17 - [c158]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME 2021: 9:1-9:19 - [c157]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Expressiveness of Extended Bounded Response LTL. GandALF 2021: 152-165 - [c156]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF 2021: 179-194 - 2020
- [j68]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model checking interval temporal logics with regular expressions. Inf. Comput. 272: 104498 (2020) - [j67]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) - [j66]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) - [j65]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) - [c155]Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala:
Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI 2020: 9859-9866 - [c154]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c153]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 - [c152]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS 2020: 155-166 - [c151]Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno:
A new similarity measure for low-sampling cellular fingerprint trajectories. MDM 2020: 9-18 - [c150]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
On a Temporal Logic of Prefixes and Infixes. MFCS 2020: 21:1-21:14 - [c149]Nicola Saccomanno, Andrea Brunello, Angelo Montanari:
Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. MobiQuitous 2020: 215-224 - [c148]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 - [c147]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 - [c146]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
- [j64]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) - [j63]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) - [j62]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) - [j61]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) - [j60]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) - [j59]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) - [j58]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) - [j57]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) - [c145]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 - [c144]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 - [c143]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 - [c142]Angelo Montanari:
Model Checking: The Interval Way. CILC 2019: 3 - [c141]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. FSTTCS 2019: 33:1-33:14 - [c140]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. FSTTCS 2019: 34:1-34:14 - [c139]Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41 - [c138]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS 2019: 235-247 - [c137]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 - [c136]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 - [c135]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
- [j56]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) - [j55]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) - [c134]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST 2018: 240-256 - [c133]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 - [c132]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala:
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR 2018: 541-550 - [c131]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR 2018: 627-628 - [c130]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 - [c129]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A Novel Decision Tree Approach for the Handling of Time Series. MIKE 2018: 351-368 - [c128]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 - [c127]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 - [c126]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF 2018: 176-190 - [c125]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
- [c124]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini:
Complexity of Timeline-Based Planning. ICAPS 2017: 116-124 - [c123]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 - [c122]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 - [c121]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 - [c120]Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC 2017: 63-74 - [c119]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 - [c118]Nicola Gigante, Angelo Montanari, Mark Reynolds:
A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR 2017: 456-473 - [c117]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 - [c116]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 - [c115]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 - [c114]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
- [j54]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) - [j53]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking interval properties of computations. Acta Informatica 53(6-8): 587-619 (2016) - [j52]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Metric propositional neighborhood logic with an equivalence relation. Acta Informatica 53(6-8): 621-648 (2016) - [j51]Matjaz Gams, Eva Cerncic, Angelo Montanari:
A Temporal Perspective on the Paradox of Pinocchio's Nose. Informatica (Slovenia) 40(3) (2016) - [j50]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. 629: 116-134 (2016) - [c113]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 - [c112]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 - [c111]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 - [c110]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 - [c109]Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala:
Prompt Interval Temporal Logic. JELIA 2016: 207-222 - [c108]Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR 2016: 473-483 - [c107]Angelo Montanari:
Interval Temporal Logics Model Checking. TIME 2016: 2 - [c106]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini:
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. TIME 2016: 100-109 - [c105]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
- [j49]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) - [j48]Angelo Montanari, Gabriele Puppis, Tiziano Villa:
Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015) - [c104]Alberto Molinari, Angelo Montanari, Adriano Peron:
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL 2015: 193-210 - [c103]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 - [c102]Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco:
Undecidability of Chop. TIME 2015: 79-89 - [c101]Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME 2015: 90-100 - [c100]Alberto Molinari, Angelo Montanari, Adriano Peron:
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. ICTCS 2015: 211-226 - 2014
- [j47]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) - [j46]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) - [j45]Angelo Montanari:
Report on TIME 2013. Bull. EATCS 112 (2014) - [j44]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) - [c99]Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov:
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [c98]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Adding two equivalence relations to the interval temporal logic AB. ICTCS 2014: 171-182 - [c97]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 - [c96]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 - [c95]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Metric Propositional Neighborhood Logic with an Equivalence Relation. TIME 2014: 49-58 - [c94]Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. TIME 2014: 59-68 - [c93]Angelo Montanari, Pietro Sala:
Interval-based Synthesis. GandALF 2014: 102-115 - 2013
- [j43]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) - [j42]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) - [j41]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) - [c92]Angelo Montanari, Pietro Sala:
Interval Logics and ωB-Regular Languages. LATA 2013: 431-443 - [c91]Angelo Montanari, Pietro Sala:
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. LICS 2013: 193-202 - [c90]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 - [c89]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 - [c88]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
- [j40]Angelo Montanari, Margherita Napoli, Mimmo Parente:
Preface. Int. J. Found. Comput. Sci. 23(3) (2012) - [j39]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) - [c87]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 - [c86]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 - [c85]Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon:
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. ICAART (1) 2012: 154-163 - [c84]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 - [c83]Angelo Montanari, Pietro Sala:
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. TIME 2012: 39-46 - [c82]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
- [j38]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Interval Temporal Logics: a Journey. Bull. EATCS 105: 73-99 (2011) - [c81]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 - [c80]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 - [c79]Carlo Combi, Angelo Montanari, Pietro Sala:
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD 2011: 404-421 - [c78]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 - [c77]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 - [c76]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 - [c75]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011: 192-206 - 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. Informaticae 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) - [c74]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700 - [c73]Angelo Montanari, Gabriele Puppis, Pietro Sala:
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) 2010: 345-356 - [c72]Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza:
From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). SEBD 2010: 382-389 - [c71]Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco:
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS 2010: 597-608 - [c70]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 - [c69]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:
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. EPTCS 25, 2010 [contents]
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 Informatica 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. Log. 161(3): 289-304 (2009) - [c68]Angelo Montanari, Gabriele Puppis, Pietro Sala:
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL 2009: 394-408 - [c67]Donatella Gubiani, Angelo Montanari:
A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions. DEXA 2009: 792-806 - [c66]Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna:
Games on Strings with a Limited Order Relation. LFCS 2009: 164-179 - [c65]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 - [c64]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137 - [c63]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95 - [c62]Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza:
From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym 2009: 165-179 - [c61]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. M4M 2009: 65-81 - [r2]Angelo Montanari, Jan Chomicki:
Time Domain. Encyclopedia of Database Systems 2009: 3103-3107 - [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
- [c60]Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco:
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL 2008: 308-322 - [c59]Donatella Gubiani, Angelo Montanari:
A conceptual spatial model supporting topologically-consistent multiple representations. GIS 2008: 9 - [c58]Angelo Montanari:
Back to Interval Temporal Logics. ICLP 2008: 11-13 - [c57]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75 - [c56]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 - [c55]Davide Bresolin, Angelo Montanari, Pietro Sala:
An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008: 110-117 - 2007
- [j33]Davide Bresolin, Angelo Montanari, Guido Sciavicco:
An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reason. 38(1-3): 173-199 (2007) - [j32]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) - [c54]Carlo Combi, Angelo Montanari, Giuseppe Pozzi:
The t4sql temporal query language. CIKM 2007: 193-202 - [c53]Massimo Franceschet, Angelo Montanari, Donatella Gubiani:
Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. DEXA Workshops 2007: 25-29 - [c52]Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99 - [c51]Angelo Montanari, Gabriele Puppis:
A Contraction Method to Decide MSO Theories of Deterministic Trees. LICS 2007: 141-150 - [c50]Donatella Gubiani, Angelo Montanari:
ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model. SEBD 2007: 160-171 - [c49]Donatella Gubiani, Angelo Montanari:
A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas. SEBD 2007: 495-498 - [c48]Davide Bresolin, Angelo Montanari, Pietro Sala:
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560 - [c47]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89 - [c46]Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
On the Equivalence of Automaton-Based Representations of Time Granularities. TIME 2007: 82-93 - [c45]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala:
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. M4M 2007: 131-151 - 2006
- [j31]Angelo Montanari, Adriano Peron, Gabriele Puppis:
On the relationships between theories of time granularity and the monadic second-order theory of one successor. J. Appl. Non Class. Logics 16(3-4): 433-456 (2006) - [j30]Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco:
Definability and decidability of binary predicates for time granularity. J. Appl. Log. 4(2): 168-191 (2006) - [j29]Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco:
A general tableau method for propositional interval temporal logics: Theory and implementation. J. Appl. Log. 4(3): 305-330 (2006) - [c44]Elisabetta De Maria, Angelo Montanari, Marco Zantoni:
An automaton-based approach to the verification of timed workflow schemas. TIME 2006: 87-94 - 2005
- [c43]Angelo Montanari, Alberto Policriti, Nicola Vitacolonna:
An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005: 139-153 - [c42]Elisabetta De Maria, Angelo Montanari, Marco Zantoni:
Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops 2005: 1-2 - [c41]Iginia De Fent, Donatella Gubiani, Angelo Montanari:
Granular GeoGraph: a multi-granular conceptual model for spatial data. SEBD 2005: 368-379 - [c40]Davide Bresolin, Angelo Montanari:
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX 2005: 63-77 - [c39]Carlo Combi, Angelo Montanari, Rosalba Rossato:
A Uniform Algebraic Characterization of Temporal Functional Dependencies. TIME 2005: 91-99 - [c38]Angelo Montanari:
Propositional Interval Temporal Logics: Some Promising Paths. TIME 2005: 201-203 - [r1]Jérôme Euzenat, Angelo Montanari:
Time Granularity. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 59-118 - 2004
- [j28]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) - [j27]Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A Road Map of Interval Temporal Logics and Duration Calculi. J. Appl. Non Class. Logics 14(1-2): 9-54 (2004) - [j26]Massimo Franceschet, Angelo Montanari:
Temporalized logics and automata for time granularity. Theory Pract. Log. Program. 4(5-6): 621-658 (2004) - [c37]Angelo Montanari, Gabriele Puppis:
Decidability of MSO Theories of Tree Structures. FSTTCS 2004: 434-446 - [c36]Davide Bresolin, Angelo Montanari, Gabriele Puppis:
Time Granularities and Ultimately Periodic Automata. JELIA 2004: 513-525 - [c35]Angelo Montanari, Gabriele Puppis:
Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME 2004: 156-160 - 2003
- [j25]Claudio Bettini, Angelo Montanari:
Temporal representation and reasoning. Data Knowl. Eng. 44(2): 139-141 (2003) - [j24]Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Propositional Interval Neighborhood Temporal Logics. J. Univers. Comput. Sci. 9(9): 1137-1167 (2003) - [c34]Enrico Marzano, Angelo Montanari, Alberto Policriti:
Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice 2003: 626-644 - [c33]Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003: 72-85 - [c32]Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003: 102-116 - [c31]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
- [j23]Claudio Bettini, Angelo Montanari:
Research Issues and Trends in Spatial and Temporal Granularities. Ann. Math. Artif. Intell. 36(1-2): 1-4 (2002) - [j22]Angelo Montanari, Alberto Policriti, Matteo Slanina:
Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reason. 28(5): 397-415 (2002) - [j21]Angelo Montanari, Adriano Peron, Alberto Policriti:
Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. 12(4): 641-677 (2002) - [c30]Carlo Combi, Angelo Montanari:
Querying Data with Multiple Temporal Dimensions. CAiSE 2002: 711-714 - [c29]Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna:
Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002: 259-270 - 2001
- [j20]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 Mag. 22(1): 127-136 (2001) - [c28]Carlo Combi, Angelo Montanari:
Data Models with Multiple Temporal Dimensions: Completing the Picture. CAiSE 2001: 187-202 - [c27]Ugo Dal Lago, Angelo Montanari:
Calendars, Time Granularities, and Automata. SSTD 2001: 279-298 - 2000
- [j19]Luca Chittaro, Angelo Montanari:
Temporal representation and reasoning in artificial intelligence: Issues and approaches. Ann. Math. Artif. Intell. 28(1-4): 47-106 (2000) - [j18]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) - [j17]Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
A Guided Tour through Some Extensions of the Event Calculus. Comput. Intell. 16(2): 307-347 (2000) - [j16]Angelo Montanari, Adriano Peron, Alberto Policriti:
The Taming (Timing) of the States. Log. J. IGPL 8(5): 681-699 (2000) - [c26]Angelo Montanari, Alberto Policriti, Matteo Slanina:
Supporting automated deduction in first-order modal logics. KR 2000: 547-556 - [c25]Angelo Montanari, Alberto Policriti, Matteo Slanina:
Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS 2000: 559-568 - [c24]Iliano Cervesato, Angelo Montanari:
A Calculus of Macro-Events: Progress Report. TIME 2000: 47-58
1990 – 1999
- 1999
- [j15]Angelo Montanari, Alberto Policriti, Yde Venema:
Editorial. Log. J. IGPL 7(1): 5-6 (1999) - [j14]Angelo Montanari, Adriano Peron, Alberto Policriti:
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Log. J. IGPL 7(1): 79-102 (1999) - [j13]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) - [c23]Massimo Franceschet, Angelo Montanari:
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA 1999: 131-142 - [c22]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 - [c21]Massimo Franceschet, Angelo Montanari:
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME 1999: 55-66 - 1998
- [j12]Luca Chittaro, Angelo Montanari:
Editorial: Temporal Representation and Reasoning. Ann. Math. Artif. Intell. 22(1-2): 1-4 (1998) - [j11]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) - [j10]Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti:
Modal Deduction in Second-Order Logic and Set Theory - II. Stud Logica 60(2): 387-420 (1998) - [c20]Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998: 368-379 - [c19]Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
Event Calculus with Explicit Quantifiers. TIME 1998: 81-88 - 1997
- [j9]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) - [j8]Angelo Montanari, Maarten de Rijke:
Two-sorted Metric Temporal Logics. Theor. Comput. Sci. 183(2): 187-214 (1997) - [c18]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 - [c17]Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi. ICLP 1997: 419 - [c16]Angelo Montanari, Alberto Policriti:
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) 1997: 196-201 - [c15]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. University of Amsterdam, ILLC dissertation series 1996-02, University of Udine, Italy 1996, ISBN 978-90-74795-57-9, pp. I-IX, 1-164 - [j7]Luca Chittaro, Angelo Montanari:
Efficient Temporal Reasoning in the Cached Event Calculus. Comput. Intell. 12: 359-382 (1996) - [j6]Luca Chittaro, Angelo Montanari:
Trends in temporal representation and reasoning. Knowl. Eng. Rev. 11(3): 281-288 (1996) - [j5]Angelo Montanari, Alberto Policriti:
Decidability Results for Metric and Layered Temporal Logics. Notre Dame J. Formal Log. 37(2): 260-282 (1996) - [c14]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:
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 [contents] - 1995
- [j4]Giovanna D'Agostino, Angelo Montanari, Alberto Policriti:
A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reason. 15(3): 317-337 (1995) - [c13]Angelo Montanari, Maarten de Rijke:
Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995: 385-399 - [c12]Iliano Cervesato, Luca Chittaro, Angelo Montanari:
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP 1995: 299-313 - [c11]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) - [c10]Iliano Cervesato, Luca Chittaro, Angelo Montanari:
What the Event Calculus actually does, and how to do it efficiently. GULP-PRODE (2) 1994: 336-350 - [c9]Luca Chittaro, Angelo Montanari, Alessandro Provetti:
Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994: 361-365 - [c8]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 - [c7]Elisa Peressi, Angelo Montanari, Barbara Pernici:
T-ORM: un modello temporale per l'evoluzione degli oggetti. SEBD 1994: 271-291 - [c6]Iliano Cervesato, Luca Chittaro, Angelo Montanari:
Modal Event Calculus. ILPS 1994: 675 - [c5]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) - [c4]L. Chitaro, Angelo Montanari:
Reasoning about discrete processes in a logic programming framework. GULP 1993: 407-422 - [p1]Angelo Montanari, Barbara Pernici:
temporal Reasoning. Temporal Databases 1993: 534-562 - 1992
- [c3]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 Syst. 3(2): 191-215 (1991) - [c2]Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti:
Embedding time granularity in logical specifications of real-time systems. RTS 1991: 88-97 - [c1]Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto:
Dealing with different time scales in formal specifications. IWSSD 1991: 92-101
Coauthor Index
[j89] [j84] [j79] [j76] [j73] [i14] [j70] [c158] [c156] [j68] [j66] [c152] [c150] [i10] [j58] [j57] [c141] [c140] [c138] [c135] [i8] [j56] [j55] [c133] [c131] [c125] [c123] [c117] [c115] [i6] [i5] [j53] [c113] [c112] [c111] [c108] [c105] [i4] [i3] [c104] [c101] [c100] [c94] [j31] [j30] [c31] [j21] [j16] [j14]
[j89] [j84] [j80] [c169] [i16] [j76] [j74] [i14] [c161] [c158] [c156] [j67] [c150] [i10] [j61] [j58] [j57] [j55] [c132] [c123] [c121] [c119] [c114] [i5] [j52] [j50] [c113] [c112] [c111] [c109] [c108] [c105] [j49] [c103] [j44] [c98] [c96] [c95] [c93] [j42] [c92] [c91] [c87] [c86] [c83] [c82] [c80] [c79] [c78] [c75] [j36] [c73] [c71] [c70] [c69] [c68] [c64] [i2] [c57] [c55] [c48] [c47] [c45] [j29]
[i13] [c148] [j64] [j63] [j61] [c144] [c139] [c134] [c129] [c120] [c119] [c116] [j54] [c103] [c102] [j47] [j46] [j44] [c99] [c97] [j43] [j42] [c90] [c89] [c88] [j39] [c86] [c85] [c84] [c82] [j38] [c81] [c80] [c78] [c77] [c76] [c75] [c74] [c71] [c69] [j34] [c65] [c64] [c63] [c61] [i2] [c60] [c57] [c56] [j33] [c52] [j30] [j29] [j27] [j24] [c32] [c31] [c29]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
