Guido Sciavicco

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Symbolic Learning with Interval Temporal Logic: the Case of Regression.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Time Series Checking with Fuzzy Interval Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

An Approach to Fuzzy Modal Logic of Time Intervals.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling.

[BibT_eX]

[DOI]

Fernando Jiménez

Joanna Kaminska

Proceedings of the 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems, 2020

Towards Automatic Fingerprinting of Groundwater Aquifers.

[BibT_eX]

[DOI]

Antonella Di Roma

Fernando Chávez-Castrillón

Carmela Vaccaro

Proceedings of the Technologies and Innovation - 6th International Conference, 2020

Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands.

[BibT_eX]

[DOI]

Massimo Coltorti

Roberta Ivaldi

Proceedings of the Technologies and Innovation - 6th International Conference, 2020

On (Maximal, Tractable) Fragments of the Branching Algebra.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Learn. Technol., 2019

Multiobjective Evolutionary Feature Selection for Fuzzy Classification.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2019

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

[BibT_eX]

[DOI]

Inf. Comput., 2019

Multiobjective evolutionary feature selection and fuzzy classification of contact centre data.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2019

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

[BibT_eX]

[DOI]

Comput., 2019

On coarser interval temporal logics.

[BibT_eX]

[DOI]

Mercedes Pelegrín-García

Artif. Intell., 2019

Interval Temporal Logic Decision Tree Learning.

[BibT_eX]

[DOI]

Andrea Brunello

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Towards a General Method for Logical Rule Extraction from Time Series.

[BibT_eX]

[DOI]

Alessandro Vaccari

Proceedings of the From Bioinspired Systems and Biomedical Applications to Machine Learning, 2019

Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

Towards Interval Temporal Logic Rule-Based Classification.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 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.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2019

2018

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).

[BibT_eX]

[DOI]

Willem Conradie

Log. Methods Comput. Sci., 2018

On Sub-Propositional Fragments of Modal Logic.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Towards semi-automatic human performance evaluation: The case study of a contact center.

[BibT_eX]

[DOI]

Intell. Data Anal., 2018

Allen-like theory of time for tree-like structures.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Multi-Objective Evolutionary Rule-Based Classification with Categorical Data.

[BibT_eX]

[DOI]

Fernando Jiménez

Carlos Martínez

Luis Miralles Pechuán

Gracia Sánchez

Entropy, 2018

Deciding the Consistency of Branching Time Interval Networks.

[BibT_eX]

[DOI]

Marco Gavanelli

Alessandro Passantino

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

Extracting Interval Temporal Logic Rules: A First Approach.

[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

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

Horn Fragments of the Halpern-Shoham Interval Temporal Logic.

[BibT_eX]

[DOI]

Michael Zakharyaschev

ACM Trans. Comput. Log., 2017

Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2017

Multi-objective evolutionary feature selection for online sales forecasting.

[BibT_eX]

[DOI]

Luis Miralles Pechuán

Neurocomputing, 2017

Unsupervised feature selection for interpretable classification in behavioral assessment of children.

[BibT_eX]

[DOI]

Fernando Jiménez

Rosalia Jódar

Maria del Pilar Martín

Gracia Sánchez

Expert Syst. J. Knowl. Eng., 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

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

Implementation of a Tableau-based Satisfiability Checker for HS3.

[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

A Model Checker for Interval Temporal Logic over Finite Structures.

[BibT_eX]

[DOI]

Fast(er) Reasoning in Interval Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

On the Expressive Power of Sub-Propositional Fragments of Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).

[BibT_eX]

[DOI]

Michael Zakharyaschev

CoRR, 2016

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014).

[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

On the Complexity of Fragments of Horn Modal Logics.

[BibT_eX]

[DOI]

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

2015

Selected Papers from the 1st Workshop "Logic, Language, and Information".

[BibT_eX]

[DOI]

Alfredo Burrieza

Bull. EATCS, 2015

Undecidability of Chop.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Generalizing Allen's Theory of Time to Tree-Like Structures.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 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

On Coarser Interval Temporal Logics and their Satisfiability Problem.

[BibT_eX]

[DOI]

Mercedes Pelegrín-García

Proceedings of the Advances in Artificial Intelligence, 2015

2014

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Report on LPAR 2013.

[BibT_eX]

[DOI]

Bull. EATCS, 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

Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 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

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

A First Study of the Horn Fragment of the Modal Logic of Time Intervals.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

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

Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra.

[BibT_eX]

[DOI]

Antonio Morales Nicolás

M. Antonia Cárdenas Viedma

Ann. Math. Artif. Intell., 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

Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Genetic Algorithms XII, 2013

2012

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

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2012

On Begins, Meets and before.

[BibT_eX]

[DOI]

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 Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.

[BibT_eX]

[DOI]

Willem Conradie

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

2011

Two-sorted Point-Interval Temporal Logics.

[BibT_eX]

[DOI]

Philippe Balbiani

Proceedings of the 7th Workshop on Methods for Modalities, 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

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

On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case.

[BibT_eX]

[DOI]

Willem Conradie

Proceedings of the Advances in Artificial Intelligence, 2011

2010

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Symposium on Games, 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

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

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

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

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

Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study.

[BibT_eX]

[DOI]

José M. Juárez

Manuel Campos

Proceedings of the Bioinspired Applications in Artificial and Natural Computation, 2009

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

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

An Optimal Decision Procedure for Right Propositional Neighborhood Logic.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

A new modal logic for reasoning about space: spatial propositional neighborhood logic.

[BibT_eX]

[DOI]

Antonio Morales Nicolás

Ann. Math. Artif. Intell., 2007

Reasoning with 'And Then' and 'While'.

[BibT_eX]

[DOI]

Suman Roy

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 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

Consistency Checking of Basic Cardinal Constraints over Connected Regions.

[BibT_eX]

[DOI]

Antonio Morales

Proceedings of the IJCAI 2007, 2007

Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.

[BibT_eX]

[DOI]

Antonio Morales Nicolás

Proceedings of the Computer Aided Systems Theory, 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

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.

[BibT_eX]

[DOI]

Antonio Morales

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

2004

A Road Map of Interval Temporal Logics and Duration Calculi.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2004

2003

Propositional Interval Neighborhood Temporal Logics.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2003

A General Tableau Method for Propositional Interval Temporal Logics.

[BibT_eX]

[DOI]

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

2002

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

[BibT_eX]

[DOI]