Frank Wolter

Dagstuhl Reports, July, 2022

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2022

Logical separability of labeled data examples under ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Interpolants and Explicit Definitions in Extensions of the Description Logic EL.

[BibT_eX]

[DOI]

Marie Fortin

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Unique Characterisability and Learnability of Temporal Instance Queries.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.

[BibT_eX]

[DOI]

Andrea Mazzullo

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

First-order rewritability of ontology-mediated queries in linear temporal logic.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

Separating Data Examples by Description Logic Concepts with Restricted Signatures.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

How to Approximate Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

On Free Description Logics with Definite Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

How to Approximate Ontology-Mediated Queries (Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Marie Fortin

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.

[BibT_eX]

[DOI]

CoRR, 2020

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures.

[BibT_eX]

[DOI]

CoRR, 2020

Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment.

[BibT_eX]

[DOI]

CoRR, 2020

Boolean Role Inclusions in DL-Lite With and Without Time.

[BibT_eX]

[DOI]

Vladislav Ryzhikov

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Logical Separability of Incomplete Data under Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

A Journey into Ontology Approximation: From Non-Horn to Horn.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).

[BibT_eX]

[DOI]

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).

[BibT_eX]

[DOI]

Least General Generalizations in Description Logic: Verification and Existence.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

The Data Complexity of Ontology-Mediated Queries with Closed Predicates.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.

[BibT_eX]

[DOI]

J. Symb. Log., 2019

Query inseparability for ALC ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Model Comparison Games for Horn Description Logics.

[BibT_eX]

[DOI]

Fabio Papacchini

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Ontology Approximation in Horn Description Logics.

[BibT_eX]

[DOI]

Anneke Bötcher

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Note on DL-Lite with Boolean Role Inclusions.

[BibT_eX]

[DOI]

Vladislav Ryzhikov

Proceedings of the 32nd International Workshop on Description Logics, 2019

Model Comparison Games for Horn Description Logics: A Summary.

[BibT_eX]

[DOI]

Fabio Papacchini

Proceedings of the 32nd International Workshop on Description Logics, 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

Cristina Feier

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Van Benthem Theorem for Horn Description and Modal Logic.

[BibT_eX]

[DOI]

Fabio Papacchini

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

Cristina Feier

Complete Approximations of Horn DL Ontologies.

[BibT_eX]

[DOI]

Anneke Bötcher

On Strictly Positive Modal Logics with S4.3 Frames.

[BibT_eX]

[DOI]

Stanislav Kikot

Proceedings of the Advances in Modal Logic 12, 2018

2017

The Data Complexity of Description Logic Ontologies.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Exact Learning of Lightweight Description Logic Ontologies.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Conservative Extensions in Guarded and Two-Variable Fragments.

[BibT_eX]

[DOI]

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach.

[BibT_eX]

[DOI]

André Hernich

Julio Lemos

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Query and Predicate Emptiness in Ontology-Based Data Access.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).

[BibT_eX]

[DOI]

CoRR, 2016

Games for query inseparability of description logic knowledge bases.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

Automata for Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

Conservative Rewritability of Description Logic TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Query-Based Entailment and Inseparability for ALC Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes.

[BibT_eX]

[DOI]

André Hernich

Julio Lemos

Proceedings of the 29th International Workshop on Description Logics, 2016

When is Query Inseparability for ALC Ontologies Decidable?

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

A Model for Learning Description Logic Ontologies Based on Exact Learning.

[BibT_eX]

[DOI]

Ana Ozaki

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Fundamentals of Computation Theory.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Ontology-Mediated Queries with Closed Predicates.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

When Are Description Logic Knowledge Bases Indistinguishable?

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient Query Rewriting in the Description Logic EL and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Database Theory, 2015

Exact Learning Description Logic Ontologies from Data Retrieval Examples.

[BibT_eX]

[DOI]

Ana Ozaki

Proceedings of the 28th International Workshop on Description Logics, 2015

Conservative Rewritability of Description Logic TBoxes: First Results.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Schema.org as a Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Decidability of Circumscribed Description Logics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2014

Query Inseparability for Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies.

[BibT_eX]

[DOI]

William Gatens

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Query Rewriting under EL TBoxes: Efficient Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Query Inseparability by Games.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Temporal OBDA with LTL and DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2013

Model-theoretic inseparability and modularity of description logic ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Module Extraction for Acyclic Ontologies.

[BibT_eX]

[DOI]

William Gatens

Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013

The Combined Approach to OBDA: Taming Role Hierarchies Using Filters.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

First-Order Rewritability of Atomic Queries in Horn Description Logics.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the IJCAI 2013, 2013

Temporal Description Logic for Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Exact Learning of TBoxes in EL and DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporalising OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Book Reviews.

[BibT_eX]

[DOI]

Stud Logica, 2012

The Logical Difference for the Lightweight Description Logic EL.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Non-Uniform Data Complexity of Query Answering in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Query Containment in Description Logics Reconsidered.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Deciding FO-Rewritability in EL.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the 2012 International Workshop on Description Logics, 2012

Logical Difference Computation with CEX2.5.

[BibT_eX]

[DOI]

Michel Ludwig

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Foundations of instance level updates in expressive description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.

[BibT_eX]

[DOI]

Robert Piro

Proceedings of the IJCAI 2011, 2011

The Combined Approach to Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

On P/NP Dichotomies for EL Subsumption under Relational Constraints.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Module Extraction via Query Inseparability in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Ontology-Based Data Access and Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Deciding inseparability and conservative extensions in the description logic EL.

[BibT_eX]

[DOI]

J. Symb. Comput., 2010

Spatial logics with connectedness predicates

[BibT_eX]

[DOI]

Ian Pratt-Hartmann

Log. Methods Comput. Sci., 2010

A modal logic framework for reasoning about comparative distances and topology.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2010

Logic-based ontology comparison and module extraction, with an application to DL-Lite.

[BibT_eX]

[DOI]

Artif. Intell., 2010

The Combined Approach to Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Decomposing Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query and Predicate Emptiness in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.

[BibT_eX]

[DOI]

Robert Piro

Proceedings of the ECAI 2010, 2010

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers.

[BibT_eX]

[DOI]

Robert Piro

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Formal Properties of Modularisation.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 2009

The Complexity of Circumscription in DLs.

[BibT_eX]

[DOI]

Piero A. Bonatti

J. Artif. Intell. Res., 2009

Mathematical Logic for Life Science Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.

[BibT_eX]

[DOI]

David Toman

Proceedings of the IJCAI 2009, 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Query Answering over DL ABoxes: How to Pick the Relevant Symbols.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Undecidability of the unification and admissibility problems for modal and description logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Temporal Description Logics: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Conjunctive Query Answering in EL using a Database System.

[BibT_eX]

[DOI]

David Toman

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL.

[BibT_eX]

[DOI]

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

On the Computational Complexity of Spatial Logics with Connectedness Constraints.

[BibT_eX]

[DOI]

Ian Pratt-Hartmann

Proceedings of the Logic for Programming, 2008

Can You Tell the Difference Between DL-Lite Ontologies?.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Semantic Modularity and Module Extraction in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Checking DL-Lite Modularity with QBF Solvers.

[BibT_eX]

[DOI]

Vladislav Ryzhikov

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Logical Difference and Module Extraction with CEX and MEX.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Logical Difference Problem for Description Logic Terminologies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Topology, connectedness, and modal logic.

[BibT_eX]

[DOI]

Ian Pratt-Hartmann

Proceedings of the Advances in Modal Logic 7, 2008

2007

Spatial Logic + Temporal Logic = ?.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Spatial Logics, 2007

A Logic for Concepts and Similarity.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

Quantitative temporal logics over the reals: PSpace and below.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Temporalising Tractable Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Conservative Extensions in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Modularity in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Conservative Extensions in the Lightweight Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

Modal decision problems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Modal Logic., 2007

2006

Willem Blok and Modal Logic.

[BibT_eX]

[DOI]

Wolfgang Rautenberg

Stud Logica, 2006

On Dynamic Topological and Metric Logics.

[BibT_eX]

[DOI]

Stud Logica, 2006

ATL Satisfiability is Indeed EXPTIME-complete.

[BibT_eX]

[DOI]

Michael J. Wooldridge

J. Log. Comput., 2006

Modal Logics of Topological Relations.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2006

Non-primitive recursive decidability of products of modal logics with expanding domains.

[BibT_eX]

[DOI]

David Gabelaia

Ann. Pure Appl. Log., 2006

Updating Description Logic ABoxes.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.

[BibT_eX]

[DOI]

Silvio Ghilardi

Proceedings of the Proceedings, 2006

Description Logics with Circumscription.

[BibT_eX]

[DOI]

Piero A. Bonatti

Proceedings of the Proceedings, 2006

Reasoning About Actions Using Description Logics with General TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Automated Reasoning About Metric and Topology.

[BibT_eX]

[DOI]

Ullrich Hustadt

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

DL Actions with GCIs: a Pragmatic Approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

From topology to metric: modal logic and quantification in metric spaces.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 6, 2006

Dynamic topological logics over spaces with continuous functions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 6, 2006

Conservative extensions in modal logic.

[BibT_eX]

[DOI]

Silvio Ghilardi

Proceedings of the Advances in Modal Logic 6, 2006

2005

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.

[BibT_eX]

[DOI]

Tadeusz Litak

Stud Logica, 2005

A logic for metric and topology.

[BibT_eX]

[DOI]

J. Symb. Log., 2005

Products of 'transitive' modal logics.

[BibT_eX]

[DOI]

David Gabelaia

J. Symb. Log., 2005

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2005

Quantitative Temporal Logics: PSPACE and Below.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Comparative Similarity, Tree Automata, and Diophantine Equations.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

'Closer' representation and reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Temporal Logics over Transitive States.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2005

Modal Logics for Metric Spaces: Open Problems.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

Integrating Description Logics and Action Formalisms: First Results.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Temporalising Tableaux.

[BibT_eX]

[DOI]

Stud Logica, 2004

On Non-local Propositional and Weak Monodic Quantified CTL.

[BibT_eX]

[DOI]

Sebastian Bauer

J. Log. Comput., 2004

E-connections of abstract description systems.

[BibT_eX]

[DOI]

Artif. Intell., 2004

2003

Logics of metric spaces.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

From Tableaux to Automata for Description Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

A Tableau Algorithm for Reasoning about Concepts and Similarity.

[BibT_eX]

[DOI]

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

Reasoning about distances.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

On the Computational Complexity of Spatio-Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

Resasoning about Concepts and Similarity.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

E-connections of Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Extensions to Description Logics.

[BibT_eX]

Franz Baader

Ralf Küsters

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

2002

A Tableau Decision Algorithm for Modalized ALC with Constant Domains.

[BibT_eX]

[DOI]

Stud Logica, 2002

Preface.

[BibT_eX]

[DOI]

Ágnes Kurucz

Stud Logica, 2002

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Axiomatizing Distance Logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2002

Fusions of Description Logics and Abstract Description Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2002

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning.

[BibT_eX]

[DOI]

Brandon Bennett

Anthony G. Cohn

Appl. Intell., 2002

Axiomatizing the monodic fragment of first-order temporal logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2002

On Non-Local Propositional and Local One-Variable Quantified CTL*.

[BibT_eX]

[DOI]

Sebastian Bauer

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Connecting Abstract Description Systems.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.

[BibT_eX]

[DOI]

Enrico Franconi

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Editorial Preface.

[BibT_eX]

Philippe Balbiani

Nobu-Yuki Suzuki

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

Decidable Fragments of First-Order Modal Logics.

[BibT_eX]

[DOI]

J. Symb. Log., 2001

First-order Expressivity for S5-models: Modal vs. Two-sorted Languages.

[BibT_eX]

[DOI]

J. Philos. Log., 2001

Reasoning over Conceptual Schemas and Queries in Temporal Databases.

[BibT_eX]

Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Monodic fragments of first-order temporal logics: 2000-2001 A.D.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

Description Logics and the Two-Variable Fragment.

[BibT_eX]

[DOI]

Ulrike Sattler

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

A Note on Concepts and Distances.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

The DLRUS Temporal Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Modal Logic and the Two-Variable Fragment.

[BibT_eX]

[DOI]

Ulrike Sattler

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

Tableaux for Temporal Description Logic with Constant Domains.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

First Order Common Knowledge Logics.

[BibT_eX]

[DOI]

Stud Logica, 2000

The product of converse PDL and polymodal K.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

Decidable fragment of first-order temporal logics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2000

Spatio-temporal representation and reasoning based on RCC-8.

[BibT_eX]

Proceedings of the KR 2000, 2000

Monodic Epistemic Predicate Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Semi-qualitative Reasoning about Distances: A Preliminary Report.

[BibT_eX]

[DOI]

Nobu-Yuki Suzuki

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Spatial Reasoning in RCC-8 with Boolean Region Terms.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

Fusions of Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999

Normal Monomodal Logics Can Simulate All Others.

[BibT_eX]

[DOI]

Marcus Kracht

J. Symb. Log., 1999

Modal Description Logics: Modalizing Roles.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

Multi-Dimensional Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

On Logics with Coimplication.

[BibT_eX]

[DOI]

J. Philos. Log., 1998

Speaking about Transitive Frames in Propositional Languages.

[BibT_eX]

[DOI]

Yasuhito Suzuki

J. Log. Lang. Inf., 1998

All finitely axiomatizable subframe logics containing the provability logic CSM <sub>0</sub>_{0} are decidable.

[BibT_eX]

[DOI]

Arch. Math. Log., 1998

On the Decidability of Description Logics with Modal Operators.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Temporalizing Description Logics.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

Dynamic Description Logics.

[BibT_eX]

Proceedings of the Advances in Modal Logic 2, 1998

1997

Superintuitionistic Companions of Classical Modal Logics.

[BibT_eX]

[DOI]

Stud Logica, 1997

Simulation and Transfer Results in Modal Logic - A Survey.

[BibT_eX]

[DOI]

Marcus Kracht

Stud Logica, 1997

Completeness and Decidability of Tense Logics Closely Related to Logics Above K4.

[BibT_eX]

[DOI]

J. Symb. Log., 1997

A Note on the Interpolation Property in Tense Logic.

[BibT_eX]

[DOI]

J. Philos. Log., 1997

The Structure of Lattices of Subframe Logics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1997

1996

A Counterexample in Tense Logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1996

Properties of Tense Logics.

[BibT_eX]

[DOI]

Math. Log. Q., 1996

Tense Logic Without Tense Operators.

[BibT_eX]

[DOI]

Math. Log. Q., 1996

Fusions of Modal Logics Revisited.

[BibT_eX]

Proceedings of the Advances in Modal Logic 1, 1996

1995

The Finite Model Property in Tense Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1995

1994

What is the upper part of the lattice of bimodal logics?

[BibT_eX]

[DOI]

Stud Logica, 1994

Solution to a Problem of Goranko and Passy.

[BibT_eX]

[DOI]

J. Log. Comput., 1994

1991

Properties of Independently Axiomatizable Bimodal Logics.

[BibT_eX]

[DOI]

Marcus Kracht