| Publication | Date of Publication | Type |
|---|
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
(available as arXiv preprint) | N/A | Paper |
A non-uniform view of Craig interpolation in modal logics with linear frames
The Journal of Symbolic Logic | 2026-09-18 | Paper |
| On deciding the data complexity of answering linear monadic Datalog queries with ltl operators | 2026-07-08 | Paper |
Deciding the existence of interpolants and definitions in first-order modal logic
Logical Methods in Computer Science | 2026-02-13 | Paper |
| The interpolant existence problem for weak K4 and difference logic | 2025-06-26 | Paper |
| Model comparison games for Horn description logics | 2024-12-19 | Paper |
| A non-uniform view of Craig interpolation in modal logics with linear frames | 2023-12-10 | Paper |
| Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic | 2023-10-02 | Paper |
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic
Journal of Artificial Intelligence Research | 2023-08-28 | Paper |
Deciding FO-definability of regular languages
(available as arXiv preprint) | 2023-03-30 | Paper |
| Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course | 2023-03-24 | Paper |
Ontology-mediated query answering over temporal data: a survey (invited talk)
1515.68296 | 2023-02-03 | Paper |
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
Journal of Artificial Intelligence Research | 2023-01-09 | Paper |
A tetrachotomy of ontology-mediated queries with a covering axiom
Artificial Intelligence | 2022-07-08 | Paper |
First-order rewritability of ontology-mediated queries in linear temporal logic
Artificial Intelligence | 2021-11-02 | Paper |
| Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna | 2020-06-04 | Paper |
Kripke completeness of strictly positive modal logics over meet-semilattices with operators
Journal of Symbolic Logic | 2020-04-06 | Paper |
Kripke completeness of strictly positive modal logics over meet-semilattices with operators
Journal of Symbolic Logic | 2020-04-06 | Paper |
Query inseparability for \(\mathcal{ALC}\) ontologies
Artificial Intelligence | 2019-08-28 | Paper |
| On strictly positive modal logics with \textsf{S}4.3 frames | 2019-07-24 | Paper |
Ontology-mediated queries. Combined complexity and succinctness of rewritings via circuit complexity
Journal of the ACM | 2019-02-25 | Paper |
Querying log data with metric temporal logic
Journal of Artificial Intelligence Research | 2018-09-06 | Paper |
On the succinctness of query rewriting over shallow ontologies
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
On the succinctness of query rewriting over shallow ontologies
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | 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 |
Undecidability of the unification and admissibility problems for modal and description logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Logics of metric spaces
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Inseparability and conservative extensions of description logic ontologies: a survey
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering | 2017-03-30 | Paper |
On the complexity of (restricted) \(\mathcal{ALCI}r\)
Publications de l'Institut Mathématique. Nouvelle Série | 2016-06-27 | Paper |
Games for query inseparability of description logic knowledge bases
Artificial Intelligence | 2016-03-08 | Paper |
Topological logics with connectedness over Euclidean spaces
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
On the Blok-Esakia theorem
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces
Artificial Intelligence | 2014-10-27 | Paper |
The price of query rewriting in ontology-based data access
Artificial Intelligence | 2014-06-10 | Paper |
The complexity of clausal fragments of LTL
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions
The Journal of Artificial Intelligence Research (JAIR) | 2013-09-06 | Paper |
Exponential lower bounds and separation for query rewriting
Automata, Languages, and Programming | 2012-11-01 | Paper |
Exponential lower bounds and separation for query rewriting
Automata, Languages, and Programming | 2012-11-01 | Paper |
| Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\) | 2012-08-05 | Paper |
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Frontiers of Combining Systems | 2011-10-07 | Paper |
A modal logic framework for reasoning about comparative distances and topology
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
| Modal logics for metric spaces: open problems | 2011-07-06 | Paper |
Monodic fragments of first-order temporal logics: 2000--2001 A.D.
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
| Topology, connectedness, and modal logic | 2011-03-30 | Paper |
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence | 2011-01-31 | Paper |
Spatial logics with connectedness predicates
Logical Methods in Computer Science | 2010-09-21 | Paper |
A tableau algorithm for reasoning about concepts and similarity
Lecture Notes in Computer Science | 2010-03-09 | Paper |
DL-Lite with temporalised concepts, rigid axioms and roles
Frontiers of Combining Systems | 2010-01-07 | Paper |
The DL-Lite Family and Relations
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
Axiomatizing distance logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
On the Computational Complexity of Spatial Logics with Connectedness Constraints
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Automated Reasoning About Metric and Topology
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Temporalising Logics: Fifteen Years After
Frontiers of Combining Systems | 2008-09-16 | Paper |
| Conservative extensions in modal logic | 2008-07-01 | Paper |
| scientific article; zbMATH DE number 5295716 (Why is no real title available?) | 2008-07-01 | Paper |
| scientific article; zbMATH DE number 5295723 (Why is no real title available?) | 2008-07-01 | Paper |
Comparative Similarity, Tree Automata, and Diophantine Equations
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
A Logic for Concepts and Similarity
Journal Of Logic And Computation | 2007-12-12 | Paper |
On dynamic topological and metric logics
Studia Logica | 2007-02-13 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Willem Blok and modal logic
Studia Logica | 2006-10-27 | Paper |
Non-primitive recursive decidability of products of modal logics with expanding domains
Annals of Pure and Applied Logic | 2006-09-14 | Paper |
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
\({\mathcal E}\)-connections of abstract description systems
Artificial Intelligence | 2006-02-07 | Paper |
A logic for metric and topology
Journal of Symbolic Logic | 2006-01-16 | Paper |
Products of ‘transitive” modal logics
Journal of Symbolic Logic | 2006-01-16 | Paper |
scientific article; zbMATH DE number 2243382 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
| scientific article; zbMATH DE number 2196593 (Why is no real title available?) | 2005-08-22 | Paper |
Temporalising tableaux
Studia Logica | 2004-08-06 | Paper |
Many-dimensional modal logics: theory and applications
Studies in Logic and the Foundations of Mathematics | 2004-02-17 | Paper |
| scientific article; zbMATH DE number 1931652 (Why is no real title available?) | 2003-06-20 | Paper |
A tableau decision algorithm for modalized A L C with constant domains
Studia Logica | 2003-03-12 | Paper |
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
Applied Intelligence | 2003-03-12 | Paper |
| scientific article; zbMATH DE number 1852920 (Why is no real title available?) | 2003-01-29 | Paper |
On the Products of Linear Modal Logics
Journal Of Logic And Computation | 2003-01-07 | Paper |
Axiomatizing the monodic fragment of first-order temporal logic
Annals of Pure and Applied Logic | 2002-12-02 | Paper |
Decidable fragments of first-order temporal logics
Annals of Pure and Applied Logic | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1735869 (Why is no real title available?) | 2002-10-08 | Paper |
| scientific article; zbMATH DE number 1735887 (Why is no real title available?) | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1765666 (Why is no real title available?) | 2002-07-10 | Paper |
| scientific article; zbMATH DE number 1759368 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1759387 (Why is no real title available?) | 2002-06-25 | Paper |
Common knowledge and quantification
Economic Theory | 2002-05-21 | Paper |
| Temporalizing description logics | 2002-04-03 | Paper |
Decidable fragments of first-order modal logics
The Journal of Symbolic Logic | 2002-03-26 | Paper |
| scientific article; zbMATH DE number 1418447 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1163394 (Why is no real title available?) | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1431908 (Why is no real title available?) | 2000-04-13 | Paper |
| scientific article; zbMATH DE number 1400210 (Why is no real title available?) | 2000-03-15 | Paper |
| scientific article; zbMATH DE number 1377706 (Why is no real title available?) | 1999-12-14 | Paper |
| scientific article; zbMATH DE number 1373377 (Why is no real title available?) | 1999-12-02 | Paper |
| scientific article; zbMATH DE number 1303434 (Why is no real title available?) | 1999-10-18 | Paper |
Speaking about transitive frames in propositional languages
Journal of Logic, Language and Information | 1999-09-02 | Paper |
The greatest extension of S4 into which intuitionistic logic is embeddable
Studia Logica | 1999-07-20 | Paper |
Canonical formulas for K4. Part III: the finite model property
Journal of Symbolic Logic | 1998-07-20 | Paper |
Canonical formulas for K4. Part II: Cofinal subframe logics
Journal of Symbolic Logic | 1998-02-11 | Paper |
| scientific article; zbMATH DE number 1003731 (Why is no real title available?) | 1997-04-24 | Paper |
On the Independent Axiomatizability of Modal and Intermediate Logics
Journal Of Logic And Computation | 1997-02-24 | Paper |
| scientific article; zbMATH DE number 868085 (Why is no real title available?) | 1996-09-22 | Paper |
A new solution to a problem of Hosoi and Ono
Notre Dame Journal of Formal Logic | 1996-05-13 | Paper |
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
Mathematical Logic Quarterly | 1995-02-20 | Paper |
A Sufficient Condition for the Finite Model Property of Modal Logics above K4
Logic Journal of the IGPL | 1994-11-24 | Paper |
