Angelo Montanari

Guido Sciavicco, Angelo Montanari, Massimo Franceschet, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

Proceedings First Symposium on Games, Automata, Logic, and Formal Verification: Preface

Margherita Napoli, Mimmo Parente, Angelo Montanari, 2010 .

Model Checking Timeline-Based Systems over Dense Temporal Domains

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2019, ICTCS.

A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus

Angelo Montanari, Massimo Franceschet, Massimo Franceschet, 1999, Annals of Mathematics and Artificial Intelligence.

Prompt Interval Temporal Logic

Dario Della Monica, Angelo Montanari, Pietro Sala, 2016, JELIA.

Granular GeoGraph: a multi-granular conceptual model for spatial data

Angelo Montanari, Donatella Gubiani, Iginia De Fent, 2005, SEBD.

A General Tableau Method for Propositional Interval Temporal Logics

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2003, TABLEAUX.

Metric propositional neighborhood logics on natural numbers

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2011, Software & Systems Modeling.

Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)

Agostino Dovier, Angelo Montanari, Carla Piazza, 2010, Fundam. Informaticae.

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

Enrico Marzano, Guido Sciavicco, Tomasz Turek, 2019, ADBIS.

A graph-theoretic approach to map conceptual designs to XML schemas

Angelo Montanari, Carla Piazza, Massimo Franceschet, 2013, TODS.

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2017, GandALF.

Temporal Structure

Gustavo Alonso, Martin Breunig, Vilém Novák, 2009, Encyclopedia of Database Systems.

A uniform algebraic characterization of temporal functional dependencies

Angelo Montanari, Carlo Combi, Rosalba Rossato, 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).

EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS

Angelo Montanari, Luca Chittaro, A. Montanari, 1996, Comput. Intell..

Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness

Angelo Montanari, Pietro Sala, A. Montanari, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

Global uncertainty assessment in hydrological forecasting by means of statistical analysis of forecast errors

Angelo Montanari, Giuliano Grossi, 2007 .

An optimal tableau for Right Propositional Neighborhood Logic over Trees

Davide Bresolin, Angelo Montanari, Pietro Sala, 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

Angelo Montanari, Luca Geatti, Nicola Gigante, 2020 .

An Integrated Framework For TemporalAggregation And Omission In The Event Calculus

Angelo Montanari, L. Chittaro, E. Peressi, 1970 .

Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions

Angelo Montanari, Andrea Brunello, Mark Reynolds, 2019, TIME.

A Novel Automata-Theoretic Approach to Timeline-Based Planning

Dario Della Monica, Angelo Montanari, Pietro Sala, 2018, KR.

Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages

Dario Della Monica, Angelo Montanari, Pietro Sala, 2017, ICTCS/CILC.

Embedding time granularity in logical specifications of real-time systems

Angelo Montanari, Elena Ratto, Angelo Morzenti, 1991, Proceedings. EUROMICRO `91 Workshop on Real-Time Systems.

An original approach to positioning with cellular fingerprints based on decision tree ensembles

Angelo Montanari, Andrea Brunello, Federico Pittino, 2019, J. Locat. Based Serv..

An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures

Nicola Vitacolonna, Angelo Montanari, Alberto Policriti, 2005, LPAR.

Editorial

Angelo Montanari, Yde Venema, Alberto Policriti, 1999, Log. J. IGPL.

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2012, J. Univers. Comput. Sci..

A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions

Angelo Montanari, Donatella Gubiani, A. Montanari, 2009, DEXA.

Undecidability of Interval Temporal Logics with the Overlap Modality

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

Calendars, Time Granularities, and Automata

Ugo Dal Lago, Angelo Montanari, 2001, SSTD.

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2012, GandALF.

Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals

Gabriele Puppis, Angelo Montanari, Pietro Sala, 2014, MFCS.

Proceedings : Eighth International Symposium on Temporal Representation and Reasoning : TIME 2001, 14-16 June 2001, Cividale del Friuli, Italy

Johan van Benthem, Angelo Montanari, Caudio Bettini, 2001 .

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

Angelo Montanari, Nicola Gigante, Andrea Orlandini, 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

Guido Sciavicco, Dario Della Monica, David de Frutos-Escrig, 2017, TIME.

The taming of the states

Angelo Montanari, Alberto Policriti, Adriano Peron, 2000 .

A set-theoretic translation method for polymodal logics

Angelo Montanari, Alberto Policriti, Giovanna D'Agostino, 2004, Journal of Automated Reasoning.

A set-theoretic analysis of modal deduction

Angelo Montanari, Alberto Policriti, Giovanna D'Agostino, 1995 .

Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison pdf

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, FSTTCS.

Back to Interval Temporal Logics

Angelo Montanari, 2008, ICLP.

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2015, LATA.

Reasoning about discrete processes in a logic programming framework

Angelo Montanari, L. Chitaro, 1993, GULP.

Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability

Angelo Montanari, Alberto Policriti, Adriano Peron, 1999, Log. J. IGPL.

A Tableau-Based System for Spatial Reasoning about Directional Relations

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2009, TABLEAUX.

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2008, JELIA.

Which fragments of the interval temporal logic HS are tractable in model checking?

Angelo Montanari, Pietro Sala, Adriano Peron, 2019, Theor. Comput. Sci..

AAAI 2000 Workshop Reports

Gerd Wagner, David W. Aha, Yolanda Gil, 2001, AI Mag..

Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema

Angelo Montanari, Massimo Franceschet, Donatella Gubiani, 2007 .

On the Equivalence of Automaton-Based Representations of Time Granularities

Ugo Dal Lago, Gabriele Puppis, Angelo Montanari, 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).

Temporal Association Mining

Martin Breunig, Philippe Bonnet, Arie Shoshani, 2009, Encyclopedia of Database Systems.

A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking

Guido Sciavicco, Dario Della Monica, Angelo Montanari, 2020, OVERLAY.

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, 2020, Theor. Comput. Sci..

J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data

Enrico Marzano, Guido Sciavicco, Angelo Montanari, 2019, Comput..

The t4sql temporal query language

Angelo Montanari, Carlo Combi, Giuseppe Pozzi, 2007, CIKM '07.

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2013, Theor. Comput. Sci..

Decidability of MSO Theories of Tree Structures

Gabriele Puppis, Angelo Montanari, 2004, FSTTCS.

Modal Event Calculus

Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1994, ILPS.

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, TABLEAUX.

Two-sorted Metric Temporal Logics

M. de Rijke, Maarten de Rijke, Angelo Montanari, 1997, Theor. Comput. Sci..

Angelo Montanari, Donatella Gubiani, Paolo Gallo, 2020, 2020 21st IEEE International Conference on Mobile Data Management (MDM).

Interval-based Synthesis

Angelo Montanari, Pietro Sala, A. Montanari, 2014, GandALF.

On a Temporal Logic of Prefixes and Infixes

Angelo Montanari, Pietro Sala, Adriano Peron, 2020, MFCS.

Dealing with network changes in cellular fingerprint positioning systems

Angelo Montanari, Donatella Gubiani, Chris Marshall, 2017, 2017 International Conference on Localization and GNSS (ICL-GNSS).

Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems

Angelo Montanari, Emanuele Ciapessoni, Pierluigi San Pietro, 1993, Sci. Comput. Program..

Interval Temporal Logic for Visibly Pushdown Systems

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2019, FSTTCS.

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, IJCAR.

Temporalized logics and automata for time granularity

Angelo Montanari, Massimo Franceschet, Massimo Franceschet, 2003, Theory and Practice of Logic Programming.

Information and Computation, Special Issue "Games, Automata, Logics, and Formal Verificatin (GandALF 2013)"

Tiziano Villa, Gabriele Puppis, Angelo Montanari, 2015 .

Set-theoretic decidability result for modal logic

Angelo Montanari, Alberto Policriti, Giovanna D'Agostino, 1995 .

Adding two equivalence relations to the interval temporal logic AB

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2014, ICTCS.

Two-Sorted First-Order Logic

Martin Breunig, Philippe Bonnet, Arie Shoshani, 2009, Encyclopedia of Database Systems.

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Modal Deduction in Second-Order Logic and Set Theory - II

Johan van Benthem, Angelo Montanari, Alberto Policriti, 1998, Stud Logica.

Time Granularities in Databases , Data Mining , and Temporal Reasoning ” ( Book Review )

Angelo Montanari, Massimo Franceschet, 2003 .

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Angelo Montanari, Pietro Sala, Adriano Peron, 2018, Inf. Comput..

Modal event calculi with preconditions

Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 1997, Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning.

What the Event Calculus actually does, and how to do it efficiently

Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1994, GULP-PRODE.

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2010, ECAI.

Efficient Handling of Context Dependency in the Cached Event Calculus

Angelo Montanari, Luca Chittaro, 1994, TIME.

Report on TIME 2013

Angelo Montanari, 2014, Bull. EATCS.

Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau

Angelo Montanari, Mark Reynolds, Nicola Gigante, 2016, IJCAI.

Supporting automated deduction in first-order modal logics

Angelo Montanari, Alberto Policriti, Matteo Slanina, 2000, KR.

A Novel Decision Tree Approach for the Handling of Time Series

Enrico Marzano, Guido Sciavicco, Angelo Montanari, 2018, MIKE.

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2019, Inf. Comput..

A Contraction Method to Decide MSO Theories of Deterministic Trees

Gabriele Puppis, Angelo Montanari, A. Montanari, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).

Complexity of Timeline-Based Planning

Angelo Montanari, Marta Cialdea Mayer, Nicola Gigante, 2017, ICAPS.

Time Domain

Jan Chomicki, Angelo Montanari, Angelo Montanari, 2009, Encyclopedia of Database Systems.

DL-Lite and Interval Temporal Logics: a Marriage Proposal

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2014, ECAI.

A Road Map of Interval Temporal Logics and Duration Calculi

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2004, J. Appl. Non Class. Logics.

A conceptual spatial model supporting topologically-consistent multiple representations

Angelo Montanari, Donatella Gubiani, 2008, GIS '08.

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints

Guido Sciavicco, Dario Della Monica, Angelo Montanari, 2017, IJCAI.

Reactive Synthesis from Extended Bounded Response LTL Specifications

Angelo Montanari, Alessandro Cimatti, Stefano Tonetta, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption pdf

Angelo Montanari, Pietro Sala, Adriano Peron, 2017, ICALP.

Alternative Translation Techniques for Propositional and First-Order Modal Logics

Angelo Montanari, Alberto Policriti, Matteo Slanina, 2004, Journal of Automated Reasoning.

Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints

Guido Sciavicco, Angelo Montanari, Isabel Navarrete, 2012, ICAART.

Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification

Dario Della Monica, Angelo Montanari, Andrea Brunello, 2020, OVERLAY.

Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema

Angelo Montanari, Massimo Franceschet, Donatella Gubiani, 2007, 18th International Workshop on Database and Expert Systems Applications (DEXA 2007).

A One-Pass Tree-Shaped Tableau for LTL+Past

Angelo Montanari, Mark Reynolds, Nicola Gigante, 2017, LPAR.

A graph-theoretic approach to efficiently reason about partially ordered events in the Event Calculus

Angelo Montanari, Massimo Franceschet, 1999, Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99.

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2007, LFCS.

A game-theoretic approach to timeline-based planning with uncertainty

Angelo Montanari, Mark Reynolds, Marta Cialdea Mayer, 2018, TIME.

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2010, Electron. Notes Theor. Comput. Sci..

Object Migration in Temporal Object-Oriented Databases

Barbara Pernici, Angelo Montanari, Elisa Peressi, 1994, Informatica.

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2011, TIME.

The dark side of interval temporal logic: marking the undecidability border

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2013, Annals of Mathematics and Artificial Intelligence.

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, ICTCS.

Tableaux for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2010, J. Log. Comput..

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2006, Journal of Automated Reasoning.

A methodology for an incremental, logical specification of real-time systems

Angelo Montanari, Elena Ratto, Edoardo Corsetti, 1990, Proceedings. EUROMICRO '90 Workshop on Real Time.

A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic

Davide Bresolin, Angelo Montanari, 2005, TABLEAUX.

What the Event Calculus Does and How to Do It Efficiently

Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1994 .

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T

Guido Sciavicco, Angelo Montanari, Ian M. Hodkinson, 2008, CSL.

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives pdf

Angelo Montanari, Adriano Peron, Alberto Molinari, 2018, Inf. Comput..

A Model Checker for Interval Temporal Logic over Finite Structures

Guido Sciavicco, Dario Della Monica, Angelo Montanari, 2017, ICTCS/CILC.

J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees

Enrico Marzano, Guido Sciavicco, Angelo Montanari, 2018, ICIST.

A Cellular Network Database for Fingerprint Positioning Systems

Angelo Montanari, Donatella Gubiani, Andrea Dalla Torre, 2019, ADBIS.

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

A general tableau method for propositional interval temporal logics: Theory and implementation

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2006, J. Appl. Log..

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

Angelo Montanari, Mark Reynolds, Luca Geatti, 2018, GandALF.

Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete

Gerhard J. Woeginger, Angelo Montanari, Adriano Peron, 2018, ICTCS.

A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics

Angelo Montanari, Alberto Policriti, 1997, IJCAI.

Complexity of Qualitative Timeline-Based Planning

Dario Della Monica, Angelo Montanari, Salvatore La Torre, 2020, TIME.

Trends in temporal representation and reasoning

Angelo Montanari, Luca Chittaro, A. Montanari, 1996, The Knowledge Engineering Review.

T-ORM: Temporal Aspects in Objects and Roles

Barbara Pernici, Angelo Montanari, Nina Edelweiss, 1994, ORM.

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, KR.

Temporal representation and reasoning in artificial intelligence: Issues and approaches

Angelo Montanari, Luca Chittaro, A. Montanari, 2000, Annals of Mathematics and Artificial Intelligence.

An Optimal Decision Procedure for MPNL over the Integers

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, GandALF.

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic

Angelo Montanari, Adriano Peron, Alberto Molinari, 2016, Electron. Notes Theor. Comput. Sci..

Adding one or more equivalence relations to the interval temporal logic

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2016, Theor. Comput. Sci..

Completeness Results for Two-sorted Metric Temporal Logics

M. de Rijke, Maarten de Rijke, Angelo Montanari, 1995, AMAST.

Decidability of the theory of the totally unbounded /spl omega/-layered structure

Gabriele Puppis, Angelo Montanari, 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..

From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract)

Angelo Montanari, Carla Piazza, Massimo Franceschet, 2010, SEBD.

Towards Compact and Tractable Automaten-Based Representations of Time Granularities

Ugo Dal Lago, Gabriele Puppis, Angelo Montanari, 2003, ICTCS.

Checking Workflow Schemas with Time Constraints Using Timed Automata

Angelo Montanari, Elisabetta De Maria, Marco Zantoni, 2005, OTM Workshops.

Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010

Margherita Napoli, Mimmo Parente, Angelo Montanari, 2010, GANDALF.

Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance

Dario Della Monica, Angelo Montanari, Andrea Brunello, 2019, OVERLAY@AI*IA.

A Set-Theoretic Translation Method for (Poly)modal Logics

Angelo Montanari, Alberto Policriti, Giovanna D'Agostino, 1995, STACS.

Compact and tractable automaton-based representations of time granularities

Ugo Dal Lago, Gabriele Puppis, Angelo Montanari, 2007, Theor. Comput. Sci..

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders

Guido Sciavicco, Dario Della Monica, Luca Aceto, 2014, JELIA.

Checking interval properties of computations

Angelo Montanari, Aniello Murano, Giuseppe Perelli, 2014, Acta Informatica.

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events

Angelo Montanari, Massimo Franceschet, 1999, AI*IA.

A theory of ultimately periodic languages and automata with an application to time granularity

Davide Bresolin, Gabriele Puppis, Angelo Montanari, 2009, Acta Informatica.

Event Calculus with explicit quantifiers

Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).

The Complexity of Model Checking in Modal Event Calculi with Quantifiers

Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 1998, Electron. Trans. Artif. Intell..

Proposed Temporal Database Concepts|May 1993

Sushil Jajodia, John F. Roddick, Barbara Pernici, 1993 .

Indexing by shape of image databases based on extended grid files

Gian Luca Foresti, Angelo Montanari, Massimo Franceschet, 1999, Proceedings IEEE International Conference on Multimedia Computing and Systems.

Metric and Layered Temporal Logic for Time Granularity

Angelo Montanari, A. Montanari, 1996, ILLC dissertation series.

Engine: the core of a commercial conguration system in CLP(FD)

Agostino Dovier, Angelo Montanari, Carla Piazza, 2010 .

T-ORM: un modello temporale per l'evoluzione degli oggetti

Barbara Pernici, Angelo Montanari, Elisa Peressi, 1994, SEBD.

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2017, SEFM.

Timeline-based planning over dense temporal domains

Gerhard J. Woeginger, Angelo Montanari, Adriano Peron, 2020, Theor. Comput. Sci..

Map matching with sparse cellular fingerprint observations

Angelo Montanari, Donatella Gubiani, Chris Marshall, 2018, 2018 Ubiquitous Positioning, Indoor Navigation and Location-Based Services (UPINLBS).

Definability and decidability of binary predicates for time granularity

Guido Sciavicco, Angelo Montanari, Massimo Franceschet, 2006, J. Appl. Log..

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders

Guido Sciavicco, Dario Della Monica, Luca Aceto, 2013, 2013 20th International Symposium on Temporal Representation and Reasoning.

Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2019, FSTTCS.

An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals

Angelo Montanari, Pietro Sala, 2012, 2012 19th International Symposium on Temporal Representation and Reasoning.

An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers

Enrico Marzano, Nicola Vitacolonna, Angelo Montanari, 2019, J. Cases Inf. Technol..

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2013, TABLEAUX.

Checking Interval Properties of Computations

Angelo Montanari, Aniello Murano, Giuseppe Perelli, 2014, TIME.

Decidability and Complexity of Action-Based Temporal Planning over Dense Time

Angelo Montanari, Andrea Micheli, Enrico Scala, 2020, AAAI.

The event calculus at work: a case study in the medical domain

Angelo Montanari, Luca Chittaro, Michel Dojat, 1994 .

A Modal Calculus of Partially Ordered Events in a Logic Programming Framework

Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1995, ICLP.

On timeline-based games and their complexity

Angelo Montanari, Mark Reynolds, Marta Cialdea Mayer, 2020, Theor. Comput. Sci..

Interval Temporal Logics: a Journey

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2013, Bull. EATCS.

A Guided Tour through some Extensions of the Event Calculus

Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 2000, Comput. Intell..

Time Granularity

Jérôme Euzenat, Angelo Montanari, 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

Tableau Systems for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2007, TABLEAUX.

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2014, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Decidability of the Interval Temporal Logic ABB over the Natural Numbers pdf

Guido Sciavicco, Gabriele Puppis, Angelo Montanari, 2010, STACS.

An automaton-based approach to the verification of timed workflow schemas

Angelo Montanari, Elisabetta De Maria, Marco Zantoni, 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).

Decision tree pruning via multi-objective evolutionary computation

Enrico Marzano, Guido Sciavicco, Angelo Montanari, 2017 .

An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics

Guido Sciavicco, Dario Della Monica, Luca Aceto, 2013, LPAR.

Extending Kamp's Theorem to Model Time Granularity

Angelo Montanari, Alberto Policriti, Adriano Peron, 2002, J. Log. Comput..

Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders

Angelo Montanari, Pietro Sala, Ian Pratt-Hartmann, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

Propositional Interval Neighborhood Temporal Logics

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2003, J. Univers. Comput. Sci..

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2014, Theor. Comput. Sci..

Model Checking: The Interval Way

Angelo Montanari, 2019, CILC.

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata

Dario Della Monica, Angelo Montanari, Pietro Sala, 2017, GandALF.

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2016, Acta Informatica.

Dealing with different time granularities in formal specifications of real-time systems

Angelo Montanari, Elena Ratto, Edoardo Corsetti, 1991, Real-Time Systems.

Introduzione al Corso di Sistemi Reattivi: Automi, Logica e Algoritmi

Angelo Montanari, 2009 .

A Temporal Perspective on the Paradox of Pinocchio's Nose

Matjaz Gams, Angelo Montanari, Eva Cerncic, 2016, Informatica.

Time Granularities and Ultimately Periodic Automata

Davide Bresolin, Gabriele Puppis, Angelo Montanari, 2004, JELIA.

BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker

Angelo Montanari, Luca Geatti, Nicola Gigante, 2021, OVERLAY@GandALF.

Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete pdf

Angelo Montanari, Pietro Sala, Adriano Peron, 2021, Electronic Proceedings in Theoretical Computer Science.

What You Sense is Not Where You are: on the Relationships Between Fingerprints and Spatial Knowledge in Indoor Positioning

Angelo Montanari, Andrea Brunello, Nicola Saccomanno, 2021, IEEE Sensors Journal.

Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes

Angelo Montanari, Pietro Sala, Adriano Peron, 2021, TIME.

AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning

Angelo Montanari, Andrea Brunello, Gian Luigi Gigli, 2021, Artif. Intell. Medicine.

Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis

Angelo Montanari, Alessandro Cimatti, Stefano Tonetta, 2021, SEFM.

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker

Angelo Montanari, Luca Geatti, Nicola Gigante, 2021, TIME.

Complexity analysis of a unifying algorithm for model checking interval temporal logic

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2021, Inf. Comput..

Reactive synthesis from interval temporal logic specifications

Angelo Montanari, Pietro Sala, A. Montanari, 2021, Theor. Comput. Sci..

Expressiveness of Extended Bounded Response LTL pdf

Angelo Montanari, Alessandro Cimatti, Stefano Tonetta, 2021, Electronic Proceedings in Theoretical Computer Science.

On the Non-monotonic Behavior of Event

Angelo Montanari, Alessandro Provetti, Iliano Cervesato, 1993 .

Tableau-based decision procedures for the logics of subinterval structures over dense orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2008 .

A Hierarchy of Modal Event Calculi: Expressiveness and Complexity

Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 2000 .

The Way to Go : Multi-Level Temporal Logics

Angelo Montanari, Alberto Policriti, Adriano Peron, 1999 .

On the Non-Monotonic Behavior of the Event Calculus for Deriving Maximal Time Intervals

Angelo Montanari, Alessandro Provetti, Iliano Cervesato, 1993 .

Extending Kamp's Theorem to Model

Angelo Montanari, Alberto Policriti, Adriano Peron, 2002 .

Decidability of the interval temporal logic AA*BB* over the rationals

Gabriele Puppis, Angelo Montanari, Pietro Sala, 2014, MFCS 2014.

A decidable theory of nitely-layered metric temporal structures

Angelo Montanari, 1996 .

Branching within Time: An Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity

Angelo Montanari, Massimo Franceschet, Massimo Franceschet, 2003 .

A Decidable Logic for Time Intervals: Propositional Neighborhood Logic

Guido Sciavicco, Angelo Montanari, 2002 .

Decidable Theories of ω-Layered Metric Temporal Structures

Angelo Montanari, Alberto Policriti, Adriano Peron, 2000 .

Dividing and Conquering the Layered Land

Angelo Montanari, Massimo Franceschet, Massimo Franceschet, 2001 .

Towards an automata-theoretic counterpart of combined temporal logics

Angelo Montanari, Massimo Franceschet, Massimo Franceschet, 2002 .

Decidability of the Theory of the Totally Unbounded ω-Layered Structure

Gabriele Puppis, Angelo Montanari, 2004 .

On the Non-monotonic Behavior of EventCalculus for Deriving Maximal Time IntervalsIliano Cervesato

Angelo Montanari, Alessandro Provetti, Iliano Cervesato, 1993 .

Modal Event Calculus in Lolli

Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1994 .