| Publication | Date of Publication | Type |
|---|
| Decision tree learning with spatial modal logics | 2024-12-06 | Paper |
Neural-symbolic temporal decision trees for multivariate time series classification
Information and Computation | 2024-12-03 | Paper |
| Mining Significant Temporal Networks Is Polynomial | 2023-11-02 | Paper |
| scientific article; zbMATH DE number 7760475 (Why is no real title available?) | 2023-11-02 | Paper |
Knowledge extraction with interval temporal logic decision trees
(available as arXiv preprint) | 2023-11-02 | Paper |
Fuzzy Halpern and Shoham's interval temporal logics
Fuzzy Sets and Systems | 2023-10-31 | Paper |
| Interval temporal random forests with an application to COVID-19 diagnosis | 2023-10-02 | Paper |
Evaluation of temporal datasets via interval temporal logic model checking
1515.68109 | 2023-02-03 | Paper |
| Deciding the consistency of branching time interval networks | 2022-05-28 | Paper |
| Extracting interval temporal logic rules: a first approach | 2022-05-28 | Paper |
| scientific article; zbMATH DE number 7439733 (Why is no real title available?) | 2021-12-07 | Paper |
scientific article; zbMATH DE number 7439733 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-07 | Paper |
Mining CSTNUDs significant for a set of traces is polynomial
Information and Computation | 2021-11-25 | Paper |
Branching interval algebra: an almost complete picture
Information and Computation | 2021-11-25 | Paper |
| An approach to fuzzy modal logic of time intervals | 2021-07-06 | Paper |
| Interval temporal logics over strongly discrete linear orders: the complete picture | 2021-04-27 | Paper |
Interval temporal logics over strongly discrete linear orders: the complete picture
(available as arXiv preprint) | 2021-04-27 | Paper |
| An optimal decision procedure for MPNL over the integers | 2021-03-03 | Paper |
An optimal decision procedure for MPNL over the integers
(available as arXiv preprint) | 2021-03-03 | Paper |
| Begin, after, and later: a maximal decidable interval temporal logic | 2021-02-16 | Paper |
| Fast(er) reasoning in interval temporal logic | 2020-05-26 | Paper |
scientific article; zbMATH DE number 7199592 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-12 | Paper |
| scientific article; zbMATH DE number 7199592 (Why is no real title available?) | 2020-05-12 | Paper |
Interval temporal logic decision tree learning
(available as arXiv preprint) | 2020-02-18 | Paper |
On coarser interval temporal logics
Artificial Intelligence | 2019-08-28 | Paper |
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
Information and Computation | 2019-05-02 | Paper |
| Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics | 2018-11-06 | Paper |
scientific article; zbMATH DE number 6917935 (Why is no real title available?)
(available as arXiv preprint) | 2018-08-15 | Paper |
An integrated first-order theory of points and intervals over linear orders. I
(available as arXiv preprint) | 2018-08-15 | Paper |
Allen-like theory of time for tree-like structures
Information and Computation | 2018-03-21 | Paper |
Horn fragments of the Halpern-Shoham interval temporal logic
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
Horn fragments of the Halpern-Shoham interval temporal logic
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
Proceedings of the twelfth workshop on Foundations of genetic algorithms XII | 2017-07-14 | Paper |
Two-sorted point-interval temporal logics
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Undecidability of the logic of overlap relation over discrete linear orderings
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
| scientific article; zbMATH DE number 6602207 (Why is no real title available?) | 2016-07-08 | Paper |
On the complexity of fragments of the modal logic of Allen's relations over dense structures
Language and Automata Theory and Applications | 2016-04-08 | Paper |
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
Acta Informatica | 2016-04-07 | Paper |
| Interval temporal logics over finite linear orders: the complete picture | 2015-12-11 | Paper |
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Sub-propositional fragments of the interval temporal logic of Allen's relations
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
Theoretical Computer Science | 2014-12-02 | Paper |
The dark side of interval temporal logic: marking the undecidability border
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
An algorithm for enumerating maximal models of Horn theories with an application to modal logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
Theoretical Computer Science | 2014-01-10 | Paper |
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
Annals of Mathematics and Artificial Intelligence | 2013-07-19 | Paper |
Hybrid metric propositional neighborhood logics with interval length binders
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| scientific article; zbMATH DE number 6131597 (Why is no real title available?) | 2013-01-28 | Paper |
On begins, meets and before
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
| Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers | 2012-01-23 | Paper |
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
Lecture Notes in Computer Science | 2011-07-01 | Paper |
| Metric propositional neighborhood logics: expressiveness, decidability, and undecidability | 2011-05-11 | Paper |
A general tableau method for propositional interval temporal logics
Lecture Notes in Computer Science | 2010-03-09 | Paper |
A tableau-based system for spatial reasoning about directional relations
Lecture Notes in Computer Science | 2009-12-01 | Paper |
A Road Map of Interval Temporal Logics and Duration Calculi
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
Computer Science Logic | 2008-11-20 | Paper |
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
Logics in Artificial Intelligence | 2008-10-27 | Paper |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
Logical Foundations of Computer Science | 2008-01-04 | Paper |
An optimal decision procedure for right propositional neighborhood logic
Journal of Automated Reasoning | 2007-05-04 | Paper |
A general tableau method for propositional interval temporal logics: theory and implementation
Journal of Applied Logic | 2006-10-10 | Paper |
Definability and decidability of binary predicates for time granularity
Journal of Applied Logic | 2006-06-30 | Paper |
| scientific article; zbMATH DE number 1931665 (Why is no real title available?) | 2003-06-20 | Paper |
