Angelo Montanari
Orcid: 0000-0002-4322-769XAffiliations:
- University of Udine, Italy
According to our database1,
Angelo Montanari
authored at least 260 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Autom. Reason., June, 2024
Softw. Syst. Model., April, 2024
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
Log. Methods Comput. Sci., 2024
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version).
CoRR, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
2023
Towards interpretability in fingerprint based indoor positioning: May attention be with us.
Expert Syst. Appl., November, 2023
Inf. Comput., October, 2023
Theor. Comput. Sci., June, 2023
Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis.
Sensors, 2023
Log. Methods Comput. Sci., 2023
IEEE Access, 2023
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa.
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the 29th Annual International Conference on Mobile Computing and Networking, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Theor. Comput. Sci., 2022
Complexity issues for timeline-based planning over dense time under future and minimal semantics.
Theor. Comput. Sci., 2022
Pervasive Mob. Comput., 2022
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
Log. Methods Comput. Sci., 2022
Proceedings of the 13th International Symposium on Games, 2022
A combined approach to the analysis of speech conversations in a contact center domain.
CoRR, 2022
Artif. Intell., 2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
2021
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments.
Sensors, 2021
Inf. Comput., 2021
Complexity analysis of a unifying algorithm for model checking interval temporal logic.
Inf. Comput., 2021
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete.
Proceedings of the Proceedings 12th International Symposium on Games, 2021
Proceedings of the Proceedings 12th International Symposium on Games, 2021
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning.
Artif. Intell. Medicine, 2021
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
2020
Beyond <i>ω</i>-regular languages: <i>ωT</i>-regular expressions and their automata and logic counterparts.
Theor. Comput. Sci., 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks.
Proceedings of the MobiQuitous '20: Computing, 2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
Proceedings of the 21st IEEE International Conference on Mobile Data Management, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Proceedings of the 20th International Conference on Data Mining Workshops, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
ACM Trans. Comput. Log., 2019
Theor. Comput. Sci., 2019
An original approach to positioning with cellular fingerprints based on decision tree ensembles.
J. Locat. Based Serv., 2019
An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers.
J. Cases Inf. Technol., 2019
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Inf. Comput., 2019
Geo spatial Inf. Sci., 2019
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data.
Expert Syst. J. Knowl. Eng., 2019
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data.
Comput., 2019
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance.
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
Proceedings of the New Trends in Databases and Information Systems, 2019
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.
Proceedings of the New Trends in Databases and Information Systems, 2019
2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives.
Inf. Comput., 2018
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy.
Inf. Comput., 2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
Proceedings of the 2018 Ubiquitous Positioning, 2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Proceedings of the Mining Intelligence and Knowledge Exploration, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete.
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
Proceedings of the Information and Software Technologies - 24th International Conference, 2018
2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages.
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Proceedings of the International Conference on Localization and GNSS, 2017
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
2016
Theor. Comput. Sci., 2016
Informatica (Slovenia), 2016
Model Checking the Logic of Allen's Relations Meets and Started-by is P<sup>NP</sup>-Complete.
Proceedings of the Seventh International Symposium on Games, 2016
Acta Informatica, 2016
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Informatica, 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015
Log. Methods Comput. Sci., 2015
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
Proceedings of the Language and Automata Theory and Applications, 2015
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci., 2014
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Ann. Math. Artif. Intell., 2014
Ann. Math. Artif. Intell., 2014
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
ACM Trans. Database Syst., 2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
Theor. Comput. Sci., 2013
Softw. Syst. Model., 2013
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the Language and Automata Theory and Applications, 2013
2012
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. Univers. Comput. Sci., 2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints.
Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012
Proceedings of the ECAI 2012, 2012
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.
Proceedings of the Logic Programs, Norms and Action, 2012
2011
Proceedings of Second International Symposium on Games, 2011
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities.
Proceedings of the Advances in Spatial and Temporal Databases, 2011
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
Proceedings of the IJCAI 2011, 2011
2010
J. Log. Comput., 2010
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD).
Fundam. Informaticae, 2010
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders.
Proceedings of the TIME 2010, 2010
Proceedings of the TIME 2010, 2010
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010
From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Proceedings of the ECAI 2010, 2010
2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
CoRR, 2009
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
Ann. Pure Appl. Log., 2009
A theory of ultimately periodic languages and automata with an application to time granularity.
Acta Informatica, 2009
Proceedings of the Database and XML Technologies, 6th International XML Database Symposium, 2009
Proceedings of the TIME 2009, 2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
2008
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
Proceedings of the Logic for Programming, 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
A conceptual spatial model supporting topologically-consistent multiple representations.
Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008
2007
Theor. Comput. Sci., 2007
J. Autom. Reason., 2007
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Proceedings of the 5th Workshop on Methods for Modalities, 2007
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
Proceedings of the STACS 2007, 2007
A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007
ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007
Proceedings of the Sixteenth ACM Conference on Information and Knowledge Management, 2007
2006
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Appl. Log., 2006
J. Appl. Log., 2006
On the relationships between theories of time granularity and the monadic second-order theory of one successor.
J. Appl. Non Class. Logics, 2006
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006
2005
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005
Granular GeoGraph: a multi-granular conceptual model for spatial data.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005
Proceedings of the Logic for Programming, 2005
2004
Theory Pract. Log. Program., 2004
J. Appl. Non Class. Logics, 2004
Autom. Softw. Eng., 2004
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004
2003
Temporal representation and reasoning.
Data Knowl. Eng., 2003
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Verification: Theory and Practice, 2003
2002
J. Autom. Reason., 2002
Research Issues and Trends in Spatial and Temporal Granularities.
Ann. Math. Artif. Intell., 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002
2001
Proceedings of the Advances in Spatial and Temporal Databases, 7th International Symposium, 2001
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001
2000
A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus.
Ann. Math. Artif. Intell., 2000
Temporal representation and reasoning in artificial intelligence: Issues and approaches.
Ann. Math. Artif. Intell., 2000
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000
Supporting automated deduction in first-order modal logics.
Proceedings of the KR 2000, 2000
1999
A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants.
J. Log. Program., 1999
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability.
Log. J. IGPL, 1999
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999
1998
Electron. Trans. Artif. Intell., 1998
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998
1997
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
The Complexity of Model Checking in Modal Event Calculi.
Proceedings of the Logic Programming, 1997
Proceedings of the Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, 1997
1996
Metric and Layered Temporal Logic for Time Granularity
PhD thesis, 1996
Notre Dame J. Formal Log., 1996
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
1995
Proceedings of the STACS 95, 1995
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework.
Proceedings of the Logic Programming, 1995
Proceedings of the Algebraic Methodology and Software Technology, 1995
1994
Object Migration in Temporal Object-Oriented Databases.
Informatica (Slovenia), 1994
Efficient Handling of Context Dependency in the Cached Event Calculus.
Proceedings of the TIME-94 International Workshop on Temporal Reasoning, 1994
Modal Event Calculus.
Proceedings of the Logic Programming, 1994
T-ORM: un modello temporale per l'evoluzione degli oggetti.
Proceedings of the Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", 1994
T-ORM: Temporal Aspects in Objects and Roles.
Proceedings of the First International Conference on Object-Role Modelling, 1994
Skeptical and Credulous Event Calculi for Supporting Modal Queries.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
What the Event Calculus actually does, and how to do it efficiently.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems.
Sci. Comput. Program., 1993
Reasoning about discrete processes in a logic programming framework.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
temporal Reasoning.
Proceedings of the Temporal Databases: Theory, Design, and Implementation., 1993
1992
Dealing with Time Granularity in the Event Calculus.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
1991
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems.
Real Time Syst., 1991
Proceedings of the 6th International Workshop on Software Specification and Design, 1991
Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991