| 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 | 2024-12-03 | Paper |
| Mining Significant Temporal Networks Is Polynomial | 2023-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6060092 | 2023-11-02 | Paper |
| Knowledge extraction with interval temporal logic decision trees | 2023-11-02 | Paper |
| Fuzzy Halpern and Shoham's interval temporal logics | 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 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5015271 | 2021-12-07 | Paper |
| Mining CSTNUDs significant for a set of traces is polynomial | 2021-11-25 | Paper |
| Branching interval algebra: an almost complete picture | 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 |
| An optimal decision procedure for MPNL over the integers | 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 |
| https://portal.mardi4nfdi.de/entity/Q5109523 | 2020-05-12 | Paper |
| Interval temporal logic decision tree learning | 2020-02-18 | Paper |
| On coarser interval temporal logics | 2019-08-28 | Paper |
| Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals | 2019-05-02 | Paper |
| Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics | 2018-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580320 | 2018-08-15 | Paper |
| An integrated first-order theory of points and intervals over linear orders. I | 2018-08-15 | Paper |
| Allen-like theory of time for tree-like structures | 2018-03-21 | Paper |
| Horn fragments of the Halpern-Shoham interval temporal logic | 2017-10-16 | Paper |
| Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms | 2017-07-14 | Paper |
| Two-sorted point-interval temporal logics | 2016-10-07 | Paper |
| Undecidability of the logic of overlap relation over discrete linear orderings | 2016-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3177929 | 2016-07-08 | Paper |
| On the complexity of fragments of the modal logic of Allen's relations over dense structures | 2016-04-08 | Paper |
| A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases | 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 | 2015-01-14 | Paper |
| Sub-propositional fragments of the interval temporal logic of Allen's relations | 2015-01-14 | Paper |
| Interval temporal logics over strongly discrete linear orders: expressiveness and complexity | 2014-12-02 | Paper |
| The dark side of interval temporal logic: marking the undecidability border | 2014-07-11 | Paper |
| The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT | 2014-07-11 | Paper |
| An algorithm for enumerating maximal models of Horn theories with an application to modal logics | 2014-01-17 | Paper |
| Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers | 2014-01-10 | Paper |
| A tableau system for right propositional neighborhood logic over finite linear orders: an implementation | 2013-10-04 | Paper |
| Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra | 2013-07-19 | Paper |
| Hybrid metric propositional neighborhood logics with interval length binders | 2013-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904145 | 2013-01-28 | Paper |
| On begins, meets and before | 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 | 2011-08-26 | Paper |
| Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders | 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 | 2010-03-09 | Paper |
| A tableau-based system for spatial reasoning about directional relations | 2009-12-01 | Paper |
| A Road Map of Interval Temporal Logics and Duration Calculi | 2009-11-11 | Paper |
| Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification | 2009-01-27 | Paper |
| Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T | 2008-11-20 | Paper |
| Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders | 2008-10-27 | Paper |
| On Decidability and Expressiveness of Propositional Interval Neighborhood Logics | 2008-01-04 | Paper |
| An optimal decision procedure for right propositional neighborhood logic | 2007-05-04 | Paper |
| A general tableau method for propositional interval temporal logics: theory and implementation | 2006-10-10 | Paper |
| Definability and decidability of binary predicates for time granularity | 2006-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708923 | 2003-06-20 | Paper |
