Angelo Montanari

Jan Chomicki

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.

[BibT_eX]

[DOI]

Inf. Comput., 2018

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

[BibT_eX]

[DOI]

Inf. Comput., 2018

Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Map matching with sparse cellular fingerprint observations.

[BibT_eX]

[DOI]

Proceedings of the 2018 Ubiquitous Positioning, 2018

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

A Novel Decision Tree Approach for the Handling of Time Series.

[BibT_eX]

[DOI]

Proceedings of the Mining Intelligence and Knowledge Exploration, 2018

A Novel Automata-Theoretic Approach to Timeline-Based Planning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

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

[BibT_eX]

[DOI]

Proceedings of the Information and Software Technologies - 24th International Conference, 2018

2017

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

[BibT_eX]

[DOI]

Dario Della Monica

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.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.

[BibT_eX]

[DOI]

Dario Della Monica

David de Frutos-Escrig

Aniello Murano

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.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

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

[BibT_eX]

[DOI]

Nicola Gigante

Mark Reynolds

Proceedings of the LPAR-21, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Model Checker for Interval Temporal Logic over Finite Structures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dealing with network changes in cellular fingerprint positioning systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Localization and GNSS, 2017

Complexity of Timeline-Based Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Adding one or more equivalence relations to the interval temporal logic.

[BibT_eX]

[DOI]

Marco Pazzaglia

Theor. Comput. Sci., 2016

A Temporal Perspective on the Paradox of Pinocchio's Nose.

[BibT_eX]

[DOI]

Matjaz Gams

Eva Cerncic

Informatica (Slovenia), 2016

Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Metric propositional neighborhood logic with an equivalence relation.

[BibT_eX]

[DOI]

Marco Pazzaglia

Acta Informatica, 2016

Checking interval properties of computations.

[BibT_eX]

[DOI]

Acta Informatica, 2016

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

[BibT_eX]

[DOI]

Acta Informatica, 2016

Interval Temporal Logics Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Prompt Interval Temporal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Games, Automata, Logics, and Formal Verification (GandALF 2013).

[BibT_eX]

[DOI]

Tiziano Villa

Inf. Comput., 2015

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

A decidable weakening of Compass Logic based on cone-shaped cardinal directions.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Undecidability of Chop.

[BibT_eX]

[DOI]

Emilio Muñoz-Velasco

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.

[BibT_eX]

[DOI]

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Report on TIME 2013.

[BibT_eX]

[DOI]

Bull. EATCS, 2014

Interval-based Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

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

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

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

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

Checking Interval Properties of Computations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Adding two equivalence relations to the interval temporal logic AB.

[BibT_eX]

[DOI]

Marco Pazzaglia

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

DL-Lite and Interval Temporal Logics: a Marriage Proposal.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

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

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2013

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Metric propositional neighborhood logics on natural numbers.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

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

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Interval Logics and ωB-Regular Languages.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2013

2012

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

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2012

Preface.

[BibT_eX]

[DOI]

Margherita Napoli

Mimmo Parente

Int. J. Found. Comput. Sci., 2012

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Symposium on Games, 2012

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

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012

A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.

[BibT_eX]

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Interval Temporal Logics over Finite Linear Orders: the Complete Picture.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the Logic Programs, Norms and Action, 2012

2011

Interval Temporal Logics: a Journey.

[BibT_eX]

[DOI]

Bull. EATCS, 2011

An Optimal Decision Procedure for MPNL over the Integers

[BibT_eX]

[DOI]

Proceedings of Second International Symposium on Games, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities.

[BibT_eX]

[DOI]

Proceedings of the Advances in Spatial and Temporal Databases, 2011

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

Tableaux for Logics of Subinterval Structures over Dense Orderings.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

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

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

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

[BibT_eX]

[DOI]

Ian Pratt-Hartmann

Proceedings of the TIME 2010, 2010

A Decidable Spatial Generalization of Metric Interval Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the TIME 2010, 2010

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

[BibT_eX]

[DOI]

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).

[BibT_eX]

Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

Time Domain.

[BibT_eX]

[DOI]

Jan Chomicki

Proceedings of the Encyclopedia of Database Systems, 2009

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Decidability of the interval temporal logic ABBar over the natural numbers

[BibT_eX]

[DOI]

CoRR, 2009

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2009

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

[BibT_eX]

[DOI]

Acta Informatica, 2009

From Entity Relationship to XML Schema: A Graph-Theoretic Approach.

[BibT_eX]

[DOI]

Proceedings of the Database and XML Technologies, 6th International XML Database Symposium, 2009

Undecidability of Interval Temporal Logics with the Overlap Modality.

[BibT_eX]

[DOI]

Proceedings of the TIME 2009, 2009

A Tableau-Based System for Spatial Reasoning about Directional Relations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Games on Strings with a Limited Order Relation.

[BibT_eX]

[DOI]

Elisabetta De Maria

Nicola Vitacolonna

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

An optimal tableau for Right Propositional Neighborhood Logic over Trees.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Back to Interval Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

A conceptual spatial model supporting topologically-consistent multiple representations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ian M. Hodkinson

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

Compact and tractable automaton-based representations of time granularities.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

An Optimal Decision Procedure for Right Propositional Neighborhood Logic.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

On the Equivalence of Automaton-Based Representations of Time Granularities.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Tableau Systems for Logics of Subinterval Structures over Dense Orderings.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.

[BibT_eX]

[DOI]

Proceedings of the STACS 2007, 2007

A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

A Contraction Method to Decide MSO Theories of Deterministic Trees.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

The t4sql temporal query language.

[BibT_eX]

[DOI]

Giuseppe Pozzi

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.

[BibT_eX]

[DOI]

J. Appl. Log., 2006

Definability and decidability of binary predicates for time granularity.

[BibT_eX]

[DOI]

J. Appl. Log., 2006

On the relationships between theories of time granularity and the monadic second-order theory of one successor.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2006

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

[BibT_eX]

[DOI]

Elisabetta De Maria

Marco Zantoni

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2005

Time Granularity.

[BibT_eX]

[DOI]

Jérôme Euzenat

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Propositional Interval Temporal Logics: Some Promising Paths.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

A Uniform Algebraic Characterization of Temporal Functional Dependencies.

[BibT_eX]

[DOI]

Rosalba Rossato

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

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

[BibT_eX]

Iginia De Fent

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Checking Workflow Schemas with Time Constraints Using Timed Automata.

[BibT_eX]

[DOI]

Elisabetta De Maria

Marco Zantoni

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures.

[BibT_eX]

[DOI]

Nicola Vitacolonna

Proceedings of the Logic for Programming, 2005

2004

Temporalized logics and automata for time granularity.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2004

A Road Map of Interval Temporal Logics and Duration Calculi.

[BibT_eX]

[DOI]

Valentin Goranko

J. Appl. Non Class. Logics, 2004

Model Checking for Combined Logics with an Application to Mobile Systems.

[BibT_eX]

[DOI]

Maarten de Rijke

Autom. Softw. Eng., 2004

Decidability of the Theory of the Totally Unbounded omega-Layered Structure.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Time Granularities and Ultimately Periodic Automata.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Decidability of MSO Theories of Tree Structures.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2003

Propositional Interval Neighborhood Temporal Logics.

[BibT_eX]

[DOI]

Valentin Goranko

J. Univers. Comput. Sci., 2003

Temporal representation and reasoning.

[BibT_eX]

Claudio Bettini

Data Knowl. Eng., 2003

A General Tableau Method for Propositional Interval Temporal Logics.

[BibT_eX]

[DOI]

Valentin Goranko

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Towards Compact and Tractable Automaten-Based Representations of Time Granularities.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Binary Extensions of S1S and the Composition Method.

[BibT_eX]

[DOI]

Enrico Marzano

Proceedings of the Verification: Theory and Practice, 2003

2002

Extending Kamp's Theorem to Model Time Granularity.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Alternative Translation Techniques for Propositional and First-Order Modal Logics.

[BibT_eX]

[DOI]

Matteo Slanina

J. Autom. Reason., 2002

Research Issues and Trends in Spatial and Temporal Granularities.

[BibT_eX]

Claudio Bettini

Ann. Math. Artif. Intell., 2002

Decidability of Interval Temporal Logics over Split-Frames via Granularity.

[BibT_eX]

[DOI]

Nicola Vitacolonna

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Querying Data with Multiple Temporal Dimensions.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001

AAAI 2000 Workshop Reports.

[BibT_eX]

[DOI]

AI Mag., 2001

Calendars, Time Granularities, and Automata.

[BibT_eX]

[DOI]

Proceedings of the Advances in Spatial and Temporal Databases, 7th International Symposium, 2001

Data Models with Multiple Temporal Dimensions: Completing the Picture.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

2000

The Taming (Timing) of the States.

[BibT_eX]

[DOI]

Log. J. IGPL, 2000

A Guided Tour through Some Extensions of the Event Calculus.

[BibT_eX]

[DOI]

Comput. Intell., 2000

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

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

Temporal representation and reasoning in artificial intelligence: Issues and approaches.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

A Calculus of Macro-Events: Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Derivability in Locally Quantified Modal Logics via Translation in Set Theory.

[BibT_eX]

[DOI]

Matteo Slanina

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Supporting automated deduction in first-order modal logics.

[BibT_eX]

Matteo Slanina

Proceedings of the KR 2000, 2000

1999

A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants.

[BibT_eX]

[DOI]

J. Log. Program., 1999

Editorial.

[BibT_eX]

[DOI]

Yde Venema

Log. J. IGPL, 1999

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

[BibT_eX]

[DOI]

Log. J. IGPL, 1999

A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Indexing by Shape of Image Databases Based on Extended Grid Files.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

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

[BibT_eX]

[DOI]

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

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

[BibT_eX]

[DOI]

Stud Logica, 1998

The Complexity of Model Checking in Modal Event Calculi with Quantifiers.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1998

Editorial: Temporal Representation and Reasoning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1998

Event Calculus with Explicit Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

1997

Two-sorted Metric Temporal Logics.

[BibT_eX]

[DOI]

Maarten de Rijke

Theor. Comput. Sci., 1997

Modal Deduction in Second-Order Logic and Set Theory - I.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

Modal Event Calculi with Preconditions.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

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

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

The Complexity of Model Checking in Modal Event Calculi.

[BibT_eX]

Proceedings of the Logic Programming, 1997

The Consensus Glossary of Temporal Database Concepts - February 1998 Version.

[BibT_eX]

[DOI]

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

[BibT_eX]

PhD thesis, 1996

Decidability Results for Metric and Layered Temporal Logics.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1996

Trends in temporal representation and reasoning.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1996

Efficient Temporal Reasoning in the Cached Event Calculus.

[BibT_eX]

[DOI]

Comput. Intell., 1996

A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

A Set-Theoretic Translation Method for Polymodal Logics.

[BibT_eX]

[DOI]

Giovanna D'Agostino

J. Autom. Reason., 1995

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

[BibT_eX]

[DOI]

Giovanna D'Agostino

Proceedings of the STACS 95, 1995

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

[BibT_eX]

Proceedings of the Logic Programming, 1995

Completeness Results for Two-sorted Metric Temporal Logics.

[BibT_eX]

[DOI]

Maarten de Rijke

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Object Migration in Temporal Object-Oriented Databases.

[BibT_eX]

Elisa Peressi

Informatica (Slovenia), 1994

Efficient Handling of Context Dependency in the Cached Event Calculus.

[BibT_eX]

Proceedings of the TIME-94 International Workshop on Temporal Reasoning, 1994

Modal Event Calculus.

[BibT_eX]

Proceedings of the Logic Programming, 1994

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

[BibT_eX]

Elisa Peressi

José Palazzo M. de Oliveira

Proceedings of the Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", 1994

T-ORM: Temporal Aspects in Objects and Roles.

[BibT_eX]

Nina Edelweiss

José Mauro Volkmer de Castilho

Elisa Peressi

Proceedings of the First International Conference on Object-Role Modelling, 1994

Skeptical and Credulous Event Calculi for Supporting Modal Queries.

[BibT_eX]

Alessandro Provetti

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

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

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 1993

Reasoning about discrete processes in a logic programming framework.

[BibT_eX]

L. Chitaro

Proceedings of the 8th Italian Conference on Logic Programming, 1993

temporal Reasoning.

[BibT_eX]

Proceedings of the Temporal Databases: Theory, Design, and Implementation., 1993

1992

Dealing with Time Granularity in the Event Calculus.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Edoardo Corsetti