| Publication | Date of Publication | Type |
|---|
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 |
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
ACM Transactions on Computational Logic | 2023-11-03 | 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 |
Logical separability of labeled data examples under ontologies
Artificial Intelligence | 2022-11-08 | Paper |
Ontology-based data access: a study through disjunctive Datalog, CSP, and MMSNP
ACM Transactions on Database Systems | 2021-11-25 | Paper |
First-order rewritability of ontology-mediated queries in linear temporal logic
Artificial Intelligence | 2021-11-02 | Paper |
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
| A tour of Franz Baader's contributions to knowledge representation and automated deduction | 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 |
The data complexity of ontology-mediated queries with closed predicates
(available as arXiv preprint) | 2019-09-13 | 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 |
| Exact learning of lightweight description logic ontologies | 2018-11-22 | Paper |
Exact learning of lightweight description logic ontologies
(available as arXiv preprint) | 2018-11-22 | Paper |
The data complexity of description logic ontologies
(available as arXiv preprint) | 2017-12-11 | Paper |
| Lower and upper approximations for depleting modules of description logic ontologies | 2017-07-18 | Paper |
Undecidability of the unification and admissibility problems for modal and description logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| On the relationship between consistent query answering and constraint satisfaction problems | 2017-06-13 | 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 |
Query and predicate emptiness in ontology-based data access
The Journal of Artificial Intelligence Research (JAIR) | 2016-05-11 | Paper |
Automata for Ontologies
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Games for query inseparability of description logic knowledge bases
Artificial Intelligence | 2016-03-08 | Paper |
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence | 2015-06-26 | Paper |
On the Blok-Esakia theorem
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Decidability of circumscribed description logics revisited
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
| Temporal and dynamic logic | 2013-10-04 | Paper |
Logical Difference Computation with CEX2.5
Automated Reasoning | 2012-09-05 | Paper |
The logical difference for the lightweight description logic \(\mathcal {EL}\)
The Journal of Artificial Intelligence Research (JAIR) | 2012-08-27 | Paper |
| Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\) | 2012-08-05 | Paper |
Foundations of instance level updates in expressive description logics
Artificial Intelligence | 2012-05-23 | 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 |
| Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints | 2011-05-11 | 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 |
| scientific article; zbMATH DE number 5674817 (Why is no real title available?) | 2010-02-24 | Paper |
The complexity of circumscription in DLs
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
Deciding inseparability and conservative extensions in the description logic
Journal of Symbolic Computation | 2009-12-03 | Paper |
Axiomatizing distance logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Mathematical Logic for Life Science Ontologies
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Formal Properties of Modularisation
Lecture Notes in Computer Science | 2009-06-09 | Paper |
On the Computational Complexity of Spatial Logics with Connectedness Constraints
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
The Logical Difference Problem for Description Logic Terminologies
Automated Reasoning | 2008-11-27 | Paper |
Reasoning About Actions Using Description Logics with General TBoxes
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Automated Reasoning About Metric and Topology
Logics in Artificial Intelligence | 2008-10-30 | 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 |
Modal Logics of Topological Relations
Logical Methods in Computer Science | 2007-10-11 | Paper |
ATL Satisfiability is Indeed EXPTIME-complete
Journal Of Logic And Computation | 2007-04-13 | Paper |
Quantitative temporal logics over the reals: PSpace and below
Information and Computation | 2007-02-19 | 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 |
All finitely axiomatizable tense logics of linear time flows are coNP-complete
Studia Logica | 2006-03-17 | Paper |
\({\mathcal E}\)-connections of abstract description systems
Artificial Intelligence | 2006-02-07 | Paper |
Products of ‘transitive” modal logics
Journal of Symbolic Logic | 2006-01-16 | Paper |
A logic for metric and topology
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 |
Temporalising tableaux
Studia Logica | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2063024 (Why is no real title available?) | 2004-03-29 | Paper |
Many-dimensional modal logics: theory and applications
Studies in Logic and the Foundations of Mathematics | 2004-02-17 | Paper |
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
Journal Of Logic And Computation | 2003-08-24 | Paper |
| scientific article; zbMATH DE number 1931652 (Why is no real title available?) | 2003-06-20 | Paper |
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
Applied Intelligence | 2003-03-12 | Paper |
A tableau decision algorithm for modalized A L C with constant domains
Studia Logica | 2003-03-12 | Paper |
| scientific article; zbMATH DE number 1852920 (Why is no real title available?) | 2003-01-29 | Paper |
| scientific article; zbMATH DE number 1841824 (Why is no real title available?) | 2002-12-04 | 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 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 |
| scientific article; zbMATH DE number 1753135 (Why is no real title available?) | 2002-06-10 | Paper |
Common knowledge and quantification
Economic Theory | 2002-05-21 | Paper |
First-order expressivity for S5-models: Modal vs. two-sorted languages
Journal of Philosophical Logic | 2002-04-11 | Paper |
| Temporalizing description logics | 2002-04-03 | Paper |
Decidable fragments of first-order modal logics
The Journal of Symbolic Logic | 2002-03-26 | Paper |
The algebraic face of minimality
Logic and Logical Philosophy | 2002-01-31 | Paper |
The decision problem for combined modal logics
Berichte aus der Mathematik | 2001-08-29 | Paper |
The product of converse PDL and polymodal K
Journal Of Logic And Computation | 2001-05-02 | Paper |
| scientific article; zbMATH DE number 1215478 (Why is no real title available?) | 2001-03-04 | Paper |
Simulation and transfer results in modal logic -- a survey
Studia Logica | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1418447 (Why is no real title available?) | 2001-02-26 | Paper |
Superintuitionistic companions of classical modal logics
Studia Logica | 2001-01-11 | Paper |
First order common knowledge logics
Studia Logica | 2000-10-03 | 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 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 |
Normal monomodal logics can simulate all others
Journal of Symbolic Logic | 1999-06-29 | Paper |
On logics with coimplication
Journal of Philosophical Logic | 1999-03-09 | Paper |
A note on atoms in polymodal algebras
Algebra Universalis | 1998-11-23 | Paper |
All finitely axiomatizable subframe logics containing the provability logic CSM₀ are decidable
Archive for Mathematical Logic | 1998-10-25 | Paper |
Completeness and decidability of tense logics closely related to logics above K4
Journal of Symbolic Logic | 1998-07-20 | Paper |
A note on the interpolation property in tense logic
Journal of Philosophical Logic | 1998-03-17 | Paper |
The structure of lattices of subframe logics
Annals of Pure and Applied Logic | 1997-12-14 | Paper |
A counterexample in tense logic
Notre Dame Journal of Formal Logic | 1997-06-26 | Paper |
Tense Logic Without Tense Operators
Mathematical Logic Quarterly | 1997-03-19 | Paper |
Properties of Tense Logics
Mathematical Logic Quarterly | 1996-12-12 | Paper |
The finite model property in tense logic
Journal of Symbolic Logic | 1995-12-19 | Paper |
| scientific article; zbMATH DE number 759442 (Why is no real title available?) | 1995-08-27 | Paper |
What is the upper part of the lattice of bimodal logics?
Studia Logica | 1995-06-13 | Paper |
Solution to a Problem of Goranko and Passy
Journal Of Logic And Computation | 1994-06-05 | Paper |
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic | 1992-06-27 | Paper |
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
(available as arXiv preprint) | N/A | Paper |
