default search action
Angelo 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
Books and Theses
- 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
Journal Articles
- 2025
- [j94]Alessandro Artale, Luca Geatti
, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Succinctness issues for LTL and safety and cosafety fragments of LTL. Inf. Comput. 302: 105262 (2025) - [j93]Andrea Brunello
Time matters: Empirical insights into the limits and challenges of temporal generalization in CSI-based Wi-Fi sensing. Internet Things 32: 101634 (2025) - [j92]Andrea Brunello, Giuliano Fabris, Alessandro Gasparetto, Angelo Montanari, Nicola Saccomanno, Lorenzo Scalera
A survey on recent trends in robotics and artificial intelligence in the furniture industry. Robotics Comput. Integr. Manuf. 93: 102920 (2025) - 2024
- [j91]Alessandro Cimatti, Luca Geatti
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. Formal Methods Syst. Des. 64(1): 1-49 (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
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. 23(2): 427-453 (2024) - 2023
- [j86]Andrea Brunello
Monitors That Learn From Failures: Pairing STL and Genetic Programming. IEEE Access 11: 57349-57364 (2023) - [j85]Andrea Brunello
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
Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. 294: 105083 (2023) - [j83]Alessandro Cimatti, Luca Geatti
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
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
Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log. 24(3): 24:1-24:32 (2023) - 2022
- [j78]Andrea Brunello
A Framework for Indoor Positioning Including Building Topology. IEEE Access 10: 114959-114974 (2022) - [j77]Nicola Gigante
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
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) - 2021
- [j72]Andrea Bernardini, Andrea Brunello
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
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
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. Sensors 21(8): 2728 (2021) - 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
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
On timeline-based games and their complexity. Theor. Comput. Sci. 815: 247-269 (2020) - 2019
- [j64]Andrea Brunello
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Comput. 8(1): 21 (2019) - [j63]Andrea Brunello
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
A map-matching algorithm dealing with sparse cellular fingerprint observations. Geo spatial Inf. Sci. 22(2): 89-106 (2019) - [j61]Davide Bresolin
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
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
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
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
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. 20(1): 4:1-4:31 (2019) - 2018
- [j56]Alberto Molinari
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
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) - 2016
- [j54]Luca Aceto, Dario Della Monica
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
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) - 2015
- [j49]Angelo Montanari, Gabriele Puppis
A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Log. Methods Comput. Sci. 11(4) (2015) - [j48]Angelo Montanari, Gabriele Puppis
Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015) - 2014
- [j47]Davide Bresolin
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
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
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560: 269-291 (2014) - 2013
- [j43]Davide Bresolin
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12(2): 245-264 (2013) - [j42]Davide Bresolin
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
A graph-theoretic approach to map conceptual designs to XML schemas. ACM Trans. Database Syst. 38(1): 6 (2013) - 2012
- [j40]Angelo Montanari, Margherita Napoli, Mimmo Parente:
Preface. Int. J. Found. Comput. Sci. 23(3) (2012) - [j39]Dario Della Monica
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. Univers. Comput. Sci. 18(20): 2798-2831 (2012) - 2011
- [j38]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Interval Temporal Logics: a Journey. Bull. EATCS 105: 73-99 (2011) - 2010
- [j37]Dario Campagna, Christian De Rosa, Agostino Dovier
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Fundam. Informaticae 105(1-2): 105-133 (2010) - [j36]Davide Bresolin
Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20(1): 133-166 (2010) - 2009
- [j35]Davide Bresolin
A theory of ultimately periodic languages and automata with an application to time granularity. Acta Informatica 46(5): 331-360 (2009) - [j34]Davide Bresolin
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Log. 161(3): 289-304 (2009) - 2007
- [j33]Davide Bresolin
An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reason. 38(1-3): 173-199 (2007) - [j32]Ugo Dal Lago
Compact and tractable automaton-based representations of time granularities. Theor. Comput. Sci. 373(1-2): 115-141 (2007) - 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
A general tableau method for propositional interval temporal logics: Theory and implementation. J. Appl. Log. 4(3): 305-330 (2006) - 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) - 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) - 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
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) - 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) - 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) - 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) - 1998
- [j12]Luca Chittaro
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
Modal Deduction in Second-Order Logic and Set Theory - II. Stud Logica 60(2): 387-420 (1998) - 1997
- [j9]Johan van Benthem, Giovanna D'Agostino
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) - 1996
- [j7]Luca Chittaro
Efficient Temporal Reasoning in the Cached Event Calculus. Comput. Intell. 12: 359-382 (1996) - [j6]Luca Chittaro
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) - 1995
- [j4]Giovanna D'Agostino
A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reason. 15(3): 317-337 (1995) - 1994
- [j3]Angelo Montanari, Elisa Peressi, Barbara Pernici:
Object Migration in Temporal Object-Oriented Databases. Informatica (Slovenia) 18(4) (1994) - 1993
- [j2]Emanuele Ciapessoni
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Sci. Comput. Program. 20(1-2): 141-171 (1993) - 1991
- [j1]Edoardo Corsetti
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Real Time Syst. 3(2): 191-215 (1991)
Conference and Workshop Papers
- 2025
- [c177]Roberto Borelli, Luca Geatti, Marco Montali, Angelo Montanari:
On Cascades of Reset Automata. STACS 2025: 20:1-20:22 - 2024
- [c176]Luca Geatti
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) 2024: 95-115 - [c175]Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. IJCAI 2024: 3270-3280 - [c174]Andrea Brunello, Riccardo Ferrarese, Luca Geatti, Enrico Marzano, Angelo Montanari, Nicola Saccomanno:
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation. OVERLAY 2024: 103-110 - [c173]Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala:
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. GandALF 2024: 5-18 - 2023
- [c172]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI 2023: 6236-6244 - [c171]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 - [c170]Dario Della Monica, Angelo Montanari, Gabriele Puppis
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. LICS 2023: 1-12 - [c169]Nicola Saccomanno
Towards Learning an Optimal Metric for Fingerprint-based Localisation. MobiCom 2023: 132:1-132:3 - [c168]Andrea Brunello
High-Performance Features in Generalizable Fingerprint-Based Indoor Positioning. MobiQuitous (1) 2023: 46-67 - [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 - 2022
- [c164]Alessandro Cimatti
A first-order logic characterisation of safety and co-safety languages. FoSSaCS 2022: 244-263 - [c163]Renato Acampora
Controller Synthesis for Timeline-based Games. GandALF 2022: 131-146 - 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
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM 2021: 351-371 - [c159]Luca Geatti
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
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
- [c155]Nicola Gigante, Andrea Micheli
Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI 2020: 9859-9866 - [c154]Alessandro Cimatti, Luca Geatti
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c153]Andrea Brunello
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
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
Complexity of Qualitative Timeline-Based Planning. TIME 2020: 16:1-16:13 - 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
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
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
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX 2019: 3-20 - [c136]Andrea Brunello
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 - 2018
- [c134]Andrea Brunello
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
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles. LBS 2018: 49-70 - [c129]Andrea Brunello
A Novel Decision Tree Approach for the Handling of Time Series. MIKE 2018: 351-368 - [c128]Nicola Gigante
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME 2018: 13:1-13:17 - [c127]Andrea Viel, Donatella Gubiani
Map matching with sparse cellular fingerprint observations. UPINLBS 2018: 1-10 - [c126]Luca Geatti
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 - 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
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
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
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
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM 2017: 104-119 - [c116]Dario Della Monica
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME 2017: 11:1-11:18 - [c115]Laura Bozzelli, Alberto Molinari
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
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF 2017: 223-237 - 2016
- [c113]Laura Bozzelli, Alberto Molinari
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR 2016: 389-405 - [c112]Laura Bozzelli, Alberto Molinari
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
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
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. TIME 2016: 100-109 - [c105]Laura Bozzelli, Alberto Molinari
Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. GandALF 2016: 76-90 - 2015
- [c104]Alberto Molinari
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL 2015: 193-210 - [c103]Davide Bresolin
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
Undecidability of Chop. TIME 2015: 79-89 - [c101]Alberto Molinari
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME 2015: 90-100 - [c100]Alberto Molinari
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. ICTCS 2015: 211-226 - 2014
- [c99]Alessandro Artale, Davide Bresolin
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
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
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
Checking Interval Properties of Computations. TIME 2014: 59-68 - [c93]Angelo Montanari, Pietro Sala
Interval-based Synthesis. GandALF 2014: 102-115 - 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
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR 2013: 1-17 - [c89]Davide Bresolin
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX 2013: 74-80 - [c88]Luca Aceto, Dario Della Monica
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME 2013: 65-72 - 2012
- [c87]Dario Della Monica
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
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
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
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012: 155-168 - 2011
- [c81]Dario Della Monica
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
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS 2011: 387-396 - [c79]Carlo Combi
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD 2011: 404-421 - [c78]Davide Bresolin
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX 2011: 73-87 - [c77]Davide Bresolin
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME 2011: 123-130 - [c76]Davide Bresolin
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME 2011: 131-138 - [c75]Davide Bresolin
An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011: 192-206 - 2010
- [c74]Davide Bresolin
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700 - [c73]Angelo Montanari, Gabriele Puppis
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
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS 2010: 597-608 - [c70]Angelo Montanari, Ian Pratt-Hartmann
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. TIME 2010: 27-34 - [c69]Davide Bresolin
A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102 - 2009
- [c68]Angelo Montanari, Gabriele Puppis
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL 2009: 394-408 - [c67]Donatella Gubiani
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
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM 2009: 240-249 - [c64]Davide Bresolin
A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137 - [c63]Davide Bresolin
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95 - [c62]Massimo Franceschet, Donatella Gubiani
From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym 2009: 165-179 - [c61]Davide Bresolin
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. M4M 2009: 65-81 - 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
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
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75 - [c56]Davide Bresolin
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604 - [c55]Davide Bresolin
An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008: 110-117 - 2007
- [c54]Carlo Combi
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
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
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560 - [c47]Davide Bresolin
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89 - [c46]Ugo Dal Lago
On the Equivalence of Automaton-Based Representations of Time Granularities. TIME 2007: 82-93 - [c45]Davide Bresolin
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. M4M 2007: 131-151 - 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
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
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX 2005: 63-77 - [c39]Carlo Combi
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 - 2004
- [c37]Angelo Montanari, Gabriele Puppis:
Decidability of MSO Theories of Tree Structures. FSTTCS 2004: 434-446 - [c36]Davide Bresolin
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
- [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 - 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
- [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
- [c26]Angelo Montanari, Alberto Policriti, Matteo Slanina:
Supporting automated deduction in first-order modal logics. KR 2000: 547-556 - [c25]Angelo Montanari, Alberto Policriti
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 - 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
- [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
- [c18]Christian S. Jensen
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
- [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 - 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
- [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
- [c4]L. Chitaro, Angelo Montanari:
Reasoning about discrete processes in a logic programming framework. GULP 1993: 407-422 - 1992
- [c3]Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto:
Dealing with Time Granularity in the Event Calculus. FGCS 1992: 702-712 - 1991
- [c2]Angelo Montanari, Elena Ratto, Edoardo Corsetti
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
Parts in Books or Collections
- 1993
- [p1]Angelo Montanari, Barbara Pernici:
temporal Reasoning. Temporal Databases 1993: 534-562
Editorship
- 2023
- [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
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] - 2010
- [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] - 1996
- [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]
Reference Works
- 2018
- [r3]Angelo Montanari, Jan Chomicki:
Time Domain. Encyclopedia of Database Systems (2nd ed.) 2018 - 2009
- [r2]Angelo Montanari, Jan Chomicki:
Time Domain. Encyclopedia of Database Systems 2009: 3103-3107 - 2005
- [r1]Jérôme Euzenat, Angelo Montanari:
Time Granularity. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 59-118
Data and Artifacts
- 2024
- [d1]Andrea Brunello
A Multi-Day, Multi-Floor, Multi-Environment 2.4 GHz Wi-Fi CSI Dataset for Fingerprint-Based Indoor Positioning and Temporal Stability Analysis. Zenodo, 2024
Informal and Other Publications
- 2025
- [i20]Dario Della Monica, Angelo Montanari, Pietro Sala:
Synthesis of timeline-based planning strategies avoiding determinization. CoRR abs/2507.17988 (2025) - [i19]Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring. CoRR abs/2508.17786 (2025) - 2024
- [i18]Luca Geatti, Alessio Mansutti
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR abs/2401.09860 (2024) - 2023
- [i17]Andrea Bernardini, Andrea Brunello
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
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
- [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) - 2020
- [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) - 2019
- [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
- [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
- [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
- [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) - 2009
- [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) - 2003
- [i1]Massimo Franceschet, Angelo Montanari:
Temporalized logics and automata for time granularity. CoRR cs.LO/0311022 (2003)
Coauthor Index
[j89] [j84] [j79] [j76] [j73] [j70] [j68] [j66] [j58] [j57] [j56] [j55] [j53] [j31] [j30] [j21] [j16] [j14] [c158] [c156] [c152] [c150] [c141] [c140] [c138] [c135] [c133] [c131] [c125] [c123] [c117] [c115] [c113] [c112] [c111] [c108] [c105] [c104] [c101] [c100] [c94] [c31] [i14] [i10] [i8] [i6] [i5] [i4] [i3]
[j89] [j84] [j80] [j76] [j74] [j67] [j61] [j58] [j57] [j55] [j52] [j50] [j49] [j44] [j42] [j36] [j29] [c173] [c170] [c161] [c158] [c156] [c150] [c132] [c123] [c121] [c119] [c114] [c113] [c112] [c111] [c109] [c108] [c105] [c103] [c98] [c96] [c95] [c93] [c92] [c91] [c87] [c86] [c83] [c82] [c80] [c79] [c78] [c75] [c73] [c71] [c70] [c69] [c68] [c64] [c57] [c55] [c48] [c47] [c45] [i20] [i16] [i14] [i10] [i5] [i2]
[j64] [j63] [j61] [j54] [j47] [j46] [j44] [j43] [j42] [j39] [j38] [j34] [j33] [j30] [j29] [j27] [j24] [c148] [c144] [c139] [c134] [c129] [c120] [c119] [c116] [c103] [c102] [c99] [c97] [c90] [c89] [c88] [c86] [c85] [c84] [c82] [c81] [c80] [c78] [c77] [c76] [c75] [c74] [c71] [c69] [c65] [c64] [c63] [c61] [c60] [c57] [c56] [c52] [c32] [c31] [c29] [i13] [i2]
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 2025-11-01 22:22 CET 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: