Frank Wolter and Michael Zakharyaschev:
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
submitted

Agi Kurucz, Frank Wolter and Michael Zakharyaschev:
The Interpolant Existence Problem for Weak K4 and Difference Logic
submitted

Agi Kurucz, Frank Wolter and Michael Zakharyaschev:
A non-uniform view of Craig interpolation in modal logics with linear frames
submitted

Agi Kurucz, Frank Wolter and Michael Zakharyaschev:
Definitions and (Uniform) Interpolants in First-Order Modal Logics,
Full version of KR23 paper

Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries,
DL 2023

Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions,
TOCL 23

Marie Fontin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter and Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies,
Full version of IJCAI 23 paper

Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Labeled Data Examples under Ontologies,
AIJ 2022

A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries,
JAIR 2022

M. Fortin, B. Konev, V. Ryzhikov, Y. Savateev, F. Wolter, M. Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries ,
Full version of KR2022 paper

M. Fortin, B. Konev, F. Wolter:
Interpolants and Explicit Definitions in Extensions of the Description Logics EL,
Full version of KR2022 paper

M. Fortin, B. Konev, V. Ryzhikov, Y. Savateev, F. Wolter, M. Zakharyaschev:
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps ,
Full version of DL 2022 paper

Jean Christoph Jung, Andrea Mazzullo, Frank Wolter:
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions,
Full version of DL 2022 paper

A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic,
Extended Abstract for Journal Track of IJCAI 2022

Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Data Examples by Description Logic Concepts with Restricted Signatures,
KR 2021 (full version)

Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How To Approximate Ontology-Mediated Queries,
KR 2021 (full version)

Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions,
KR 2021 (full version)

Jean Christoph Jung and Frank Wolter:
Living Without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments,
LICS 2021 (full version)

Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions,
AAAI 2021 (full version)

A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic,
AIJ 2021

M. Fortin, B. Konev, F. Wolter:
Interpolants and Explicit Definitions in Horn Description Logics,
Presented at DL Workshop 2021

R. Kontchakov, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
Boolean Role Inclusions in DL-Lite With and Without Time,
KR 2020

Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Incomplete Data under Ontologies,
KR 2020, Runner-Up for Best Paper Award (full version)

Jean Christoph Jung, Carsten Lutz, Frank Wolter:
Least General Generalizations in Description Logic: Verification and Existence,
AAAI 2020 (full version)

Andre Hernich, Carsten Lutz, Fabio Papacchini, and Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment,
ACM Transactions on Computational Logic (TOCL)

Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?,
IJCAI 2019

Carsten Lutz, Inanc Seylan, and Frank Wolter:
The Data Complexity of Ontology-Mediated Queries with Closed Predicates,
LMCS

Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev:
Kripke Completeness of Strictly Positive Modal Logics over Meet-Semilattices with Operators,
Journal of Symbolic Logic

E. Botoeva, C. Lutz, R. Kontchakov, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
Query Inseparability for ALC Ontologies,
AIJ

R. Kontchakov, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
A Note on DL-Lite with Boolean Role Inclusions,
DL Workshop 2019

Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics,
LICS 2019 (full version)

Anneke Boetcher, Carsten Lutz, Frank Wolter:
Ontology Approximation in Horn Description Logics,
IJCAI 2019 (full version)

Anneke Boetcher, Carsten Lutz, Frank Wolter:
Complete Approximation of Horn DL Ontologies,
DL 2018 (full version)

Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying,
DL 2018 (full version)

Fabio Papacchini, and Frank Wolter:
A Van Benthem Theorem for Horn Description and Modal Logic,
manuscript (abstract published in DL Workshop 2018)

Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On Strictly Positive Modal Logics with S4.3 Frames,
AiML 2018

Andre Hernich, Carsten Lutz, Fabio Papacchini, and Frank Wolter:
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying,
IJCAI 2018 (full version)

Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying,
IJCAI 2018 (full version) Distinguished Paper Award

Boris Konev, Carsten Lutz, Ana Ozaki, and Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies ,
JMLR 2018

Andre Hernich, Carsten Lutz, Fabio Papacchini, and Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment,
PODS 2017 (full version), Best Paper Award

Carsten Lutz and Frank Wolter:
The Data Complexity of Description Logic Ontologies,
LMCS 2017

Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter:
Conservative Extensions in Guarded and Two-Variable Fragments,
ICALP 2017 (full version)

Andre Hernich, Carsten Lutz, Fabio Papacchini, and Frank Wolter:
Horn Rewritability vs PTime Query Evaluation for Description Logic TBoxes,
DL 2017 (full version)

Andre Hernich, Julio Lemos, and Frank Wolter:
Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach,
AAAI 2017 (full version)

E. Botoeva, B. Konev, C. Lutz, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey,
in Reasoning Web: Logical Foundations of Knowledge Graph Construction and Query Answering, Springer, 2017

A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
Ontology-Mediated Query-Answering over Temporal Data: A Survey,
Proceedings of TIME 17

E. Botoeva, C. Lutz, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies,
IJCAI 2016 (full version)

Boris Konev, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes ,
IJCAI 2016 (full version with appendix)

Meghyn Bienvenu, Peter Hansen, Carsten Lutz, and Frank Wolter:
First-order Rewritability and Containment of Conjunctive Queries in Horn Description Logics ,
IJCAI 2016 (full version with appendix)

Andre Hernich, Julio Lemos, and Frank Wolter:
Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes,
DL 2016

Boris Konev, Ana Ozaki, and Frank Wolter:
A Model for Learning Description Logic Ontologies Based on Exact Learning ,
AAAI 2016

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Ontology-Based Data Access,
To appear in JAIR

E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
Games for Query Inseparability of Description Logic Knowledge Bases,
AIJ

Boris Konev, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes: First Results ,
DL 2015

Boris Konev, Ana Ozaki, and Frank Wolter:
Exact Learning Description Logic Ontologies from Data Retrieval Examples ,
DL 2015

Andre Hernich, Carsten Lutz, Ana Ozaki, and Frank Wolter:
Schema.org as a Description Logic ,
IJCAI 2015

Carsten Lutz, Inanc Seylan, and Frank Wolter:
Ontology-Mediated Queries with Closed Predicates ,
IJCAI 2015

Peter Hansen, Carsten Lutz, Inanc Seylan, and Frank Wolter:
Efficient Query Rewriting in the Description Logic EL and Beyond ,
IJCAI 2015

A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries,
IJCAI 2015

Elena Botoeva, Roman Kontchakov, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
When are Description Logic Knowledge Bases Indistinguishable?,
IJCAI 2015 (Best Papers from Sister Conferences)

Carsten Lutz and Frank Wolter:
On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems,
Long version of ICDT 2015 paper

Piero Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, and Frank Wolter:
Decidability of Circumscribed Description Logics Revisited,
In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

E. Botoeva, Roman Kontchakov, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
Query Inseparability for Description Logic Knowledge Bases,
KR 2014

Boris Konev, Carsten Lutz, Ana Ozaki, and Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies ,
KR 2014

Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, and Frank Wolter:
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP ,
TODS

William Gatens, Boris Konev, and Frank Wolter:
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies ,
Proceedings of ECAI 2014

Peter Hansen, Carsten Lutz, Inanc Seylan, and Frank Wolter:
Query Rewriting under EL-TBoxes: Efficient Algorithms ,
Proceedings of DL 2014

E. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev:
Temporal OBDA with LTL and DL-Lite,
Proceedings of DL 2014

Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, and Frank Wolter:
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP ,
Proceedings of PODS 2013

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
Model-Theoretic Inseparability and Modularity of Description Logic Ontologies ,
AIJ 2013

Carsten Lutz, Inanc Seylan, and Frank Wolter:
Ontology-Based Data Access with Closed Predicates is Inherently Intractable (Sometimes),
Proceedings of IJCAI 2013

Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (long version),
Proceedings of IJCAI 2013

Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
First Order-Rewritability of Atomic Queries in Horn Description Logics,
Proceedings of IJCAI 2013

Boris Konev, Carsten Lutz, and Frank Wolter:
Exact Learning of TBoxes in EL and DL-Lite,
Proceedings of DL 2013

Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporalising OWL2QL,
To appear in Proceedings of DL 2013

William Gatens, Boris Konev, and Frank Wolter:
Module Extraction for Acyclic Ontologies,
Proceedings of WoMo 2013

Carsten Lutz, Inanc Seylan, David Toman, and Frank Wolter:
The Combined Approach to OBDA: Taming Role Fierarchies using Filters,
Proceedings of ISWC 2013 (Best Paper Award), Prototype available from https://code.google.com/p/combo-obda/

Carsten Lutz and Frank Wolter:
Non-Uniform Data Complexity of Query Answering in Description Logics,
Long version of KR 2012 paper

Carsten Lutz, Inanc Seylan, and Frank Wolter:
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL,
Long version of KR 2012 paper

Carsten Lutz, Inanc Seylan, David Toman, and Frank Wolter:
The Combined Approach to OBDA: Taming Role Fierarchies using Filters,
SSWS+HPCSW 2012

Meghyn Bienvenu, Carsten Lutz, and Frank Wolter:
Query Containment in Description Logics Revisited,
Long version of KR 2012 paper

Boris Konev, Michel Ludwig, Dirk Walther, and Frank Wolter:
The Logical Difference for the Lightweight Description Logic EL,
Journal of Artificial Intelligence Research (JAIR)

Boris Konev, Michel Ludwig, and Frank Wolter:
Logical Difference Computation with CEX2.5,
Proceedings of IJCAR 2012

Carsten Lutz, Inanc Seylan, and Frank Wolter:
Mixing Open and Closed World Assumption in Ontology Based Data Access: Non-Uniform Data Complexity,
Long version of DL 2012 paper

Meghyn Bienvenu, Carsten Lutz, and Frank Wolter:
Deciding FO-Rewritability in EL,
Long version of DL 2012 paper

Michael Zakharyaschev and Frank Wolter:
On the Blok-Esakia Theorem,
To appear in a Trends in Logic volume in memory of Leo Esakia

Frank Wolter and Michael Wooldridge:
Logics of Time and Action,
in Logic and Philosophy Today (Volume 1), College Publications

Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter:
Foundations of Instance level Updates in Expressive Description logics,
Artificial Intelligence Journal 2011

Carsten Lutz and Frank Wolter:
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics,
IJCAI, 2011
Full version containing all proofs.

Carsten Lutz, Robert Piro and Frank Wolter:
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability,
IJCAI, 2011
Full version containing all proofs.

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Ontology-Based Data Access,
IJCAI 2011 (Best Paper Track)

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter and Michael Zakharyaschev:
Conjunctive Query Inseparability of OWL 2 QL TBoxes
Full version of AAAI 2011 paper

Agnes Kurucz, Yoshito Tanaka, Frank Wolter, Michael Zakharyaschev:
Conservativity of Boolean Algebras with operators over semilattices with operators ,
TACL 2011

Carsten Lutz and Frank Wolter:
Non-Uniform Data Complexity of Query Answering in Description Logics,
Description Logics Workshop, 2011 (This is a draft version containing all proofs.)

F. Wolter and Michael Wooldridge:
Temporal and Dynamic Logics,
JICPR

R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev:
Spatial Logics with Connectedness Predicates,
Logical Methods in Computer Science (LMCS)

A. Kurucz, F. Wolter and M. Zakharyaschev:
Islands of tractability for relational constraints: towards dichotomy results for the description logic EL,
Advances in Modal logic (AiML) 2010

Carsten Lutz, Robert Piro and Frank Wolter:
Enriching EL-Concepts with Greatest Fixpoints,
ECAI 2010
Full version containing all proofs.

Carsten Lutz, Robert Piro and Frank Wolter:
EL-concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers,
Description Logic Workshop 2010

Boris Konev, Carsten Lutz, Denis Ponomaryov, and Frank Wolter:
Decomposing Description Logic Ontologies,
KR 2010
Unpolished version containing all proofs.

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Description Logics,
KR 2010

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Query Answering in DL-Lite,
KR 2010 (Ray Reiter Best Paper Award)

R. Kontchakov, F. Wolter and M. Zakharyaschev:
Logic-based ontology comparison and module extraction with an application to DL-Lite,
to appear in Journal of Artificial Intelligence

Carsten Lutz and Frank Wolter:
Deciding inseparability and conservative extensions in the description logic EL,
Journal of Symbolic Computation, 2010

M. Sheremet, F. Wolter and M. Zakharyaschev:
A modal logic framework for reasoning about comparative distances and topology,
Annals of Pure and Applied Logic, 2010

Piero Bonatti, Carsten Lutz, Frank Wolter:
The Complexity of Circumscription in Description Logic,
Journal of Artificial Intelligence Research (JAIR) 2009

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query answering over DL ABoxes: How to pick the relevant symbols,
Description Logic Workshop

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite,
Description logic Workshop

Carsten Lutz and Frank Wolter:
Mathematical Logic for Life Science Ontologies,
In Proceedings of WOLLIC-2009

Carsten Lutz, David Toman, and Frank Wolter:
Conjunctive Query Answering in the Description logic EL using a Relational Database System,
In Proceedings of IJCAI-2009

R. Kontchakov, L. Pulina, U. Sattler, T. Schneider, P. Selmer, F. Wolter and M. Zakharyaschev:
Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers,
In Proceedings of IJCAI-2009

Boris Konev, Dirk Walther, and Frank Wolter:
Forgetting and uniform interpolation in large-scale description logic terminologies,
In Proceedings of IJCAI-2009
Technical Report

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
Formal properties of modularization,
In H. Stuckenschmidt, S. Spacciapietra, C. Parent, LNCS volume on Ontology Modularization 2009

Carsten Lutz, David Toman, and Frank Wolter:
Conjunctive Query Answering in EL using a Database System,
In Proceedings of OWLED-2008

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
Semantic modularity and module extraction in description logic,
Proceedings of ECAI 2008
technical report

Boris Konev, Dirk Walther, and Frank Wolter:
The logical difference problem for description logic terminologies,
Proceedings of IJCAR-2008
technical report

R. Kontchakov, F. Wolter and M. Zakharyaschev:
Can you tell the difference between DL-Lite ontologies,
Proceedings of KR-2008 (Ray Reiter Best Paper Award)

R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev:
The computational complexity of spatial logics with connectnedness constraints,
Proceedings of LPAR-2008

R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev:
Topology, connectedness, and modal logic,
Proceedings of AiML-2008

Frank Wolter and Michael Zakharyaschev:
Undecidability of the unification and admissibility problem for modal and description logics,
To appear in Transactions of Computational Logic (TOCL).

Carsten Lutz, Frank Wolter and Michael Zakharyaschev:
Temporal Description Logics: A Survey,
Proceedings of TIME 2008.

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
Logical difference and module extraction with CEX and MEX,
Description Logic Workshop 2008

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL,
OWLED-2008

R. Kontchakov, F. Wolter and M. Zakharyaschev:
Modularity in DL-Lite,
Proceedings of Description Logic Workshop 2007

Carsten Lutz and Frank Wolter:
Conservative extensions in the Lightweight Description Logic EL,
Proceedings of CADE-2007

A. Artale, R. Kontchakov, C. Lutz, F. Wolter and M. Zakharyaschev:
Temporalising tractable description logics,
Proceedings of TIME-2007

Carsten Lutz, Dirk Walther, and Frank Wolter:
Conservative extensions in expressive description logics,
Proceedings of IJCAI-07
Full version

R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev:
Spatial Logic+Temporal Logic = ?,
Chapter for Handbook of Spatial Logic.

M. Sheremet, D. Tishkowsky, F. Wolter and M. Zakharyaschev:
A logic for concepts and similarity,
Journal of Logic and Computation.

Silvio Ghilardi, Carsten Lutz and Frank Wolter:
Did I damage my ontology: A Case for Conservative Extensions of Description Logics,
Proceedings of Principles of Knowledge Representation and Reasoning 2006 (KR06)
Full version

Hongkai Liu, C. Lutz, M. Milicic, and F. Wolter:
Updating Description Logic ABoxes,
Proceedings of Principles of Knowledge Representation and Reasoning 2006 (KR06).

Piero Bonatti, Carsten Lutz and Frank Wolter:
Description Logics with Circumscription,
Proceedings of Principles of Knowledge Representation and Reasoning 2006 (KR06).

Silvio Ghilardi, Carsten Lutz, Frank Wolter and Michael Zakharyaschev:
Conservative Extensions in Modal Logic,
Proceedings of Advances in Modal Logic 2006 (AiML)
Full version

B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev:
Dynamic topological logics over spaces with continuous functions,
Proceedings of Advances in Modal Logic 2006 (AiML)

M. Sheremet, D. Tishkowsky, F. Wolter and M. Zakharyaschev:
From topology to metric: modal logic and quantification in metric spaces,
Proceedings of Advances in Modal Logic 2006 (AiML)

F. Wolter and M. Zakharyaschev:
Modal decision problems,
Chapter for Handbook of Modal logic, 2006

D. Gabelaia, A. Kurucz, F. Wolter and M. Zakharyaschev:
Non-primitive recursive decidability of products of modal logics with expanding domains,
Annals of Pure and Applied Logic (APAL), 2006

D. Walther, C. Lutz, F. Wolter and M. Wooldridge:
ATL satisfiability is indeed EXPTIME complete,
Journal of Logic and Computation, 2006

C. Lutz and F. Wolter:
Modal logics of topological relations,
Logical Methods in Computer Science (LMCS), 2006

B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev:
On dynamic topological and metric logics (full version),
Studia Logica, 2006

W. Rautenberg, F. Wolter, M. Zakharyaschev:
Willem Blok and modal logic,
Special issue of Studia Logica in memory of Willem Blok.

C. Lutz, D. Walther and F. Wolter:
Quantitative temporal logics over the reals: PSPACE and below,
Journal of Information and Computation, 2006

Hongkai Liu, C. Lutz, M. Milicic, and F. Wolter:
DL Actions with GCIs: a Pragmatic Approach,
Proceedings of Description Logic Workshop 2006 (DL06).

U. Hustadt, D. Tishkovsky, F. Wolter and M. Zakharyaschev:
Automated reasoning about metric and topology,
Proceedings of Jelia-06

Hongkai Liu, C. Lutz, M. Milicic, and F. Wolter:
Reasoning about Actions using Description Logics with general TBoxes,
Proceedings of Jelia-06.

M. Sheremet, D. Tishkowsky, F. Wolter and M. Zakharyaschev:
Comparative similarity, tree automata, and Diophantine equations,
Proceedings of LPAR 2005

F. Baader, C. Lutz, M. Milicic, U. Sattler and F. Wolter:
Integrating description logics and action formalisms: first results,
Proceedings of AAAI-05 (Twentieth National Conference on Artificial Intelligence, Pittsburgh).

F. Wolter and M. Zakharyaschev:
A logic of metric and topology,
JSL (Journal of Symbolic Logic) 2005.

D. Gabelaia, A. Kurucz, F. Wolter and M. Zakharyaschev:
Products of transitive modal logics,
JSL (Journal of Symbolic Logic) 2005.

B. Konev, F. Wolter and M. Zakharyaschev:
Temporal Logics over transitive states,
Proceedings of CADE-05 (International Conference on Automated Deduction)

F. Baader, C. Lutz, M. Milicic, U. Sattler and F. Wolter:
Integrating description logics and action formalisms for reasoning about web services,
Proceedings of WSS-05 (Web Service Semantics-2005).

C. Lutz, D. Walther and F. Wolter:
Quantitative temporal logics: PSPACE and below,
Proceedings of Time-2005.

T. Litak and F. Wolter:
All finitely axiomatizable tense logics of linear time flows are coNP-complete,
Studia Logica 2005.

D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev:
Combining spatial and temporal logics: expressiveness vs. complexity,
JAIR (Journal of Artificial Intelligence Research) 2005.

A. Kurucz, F. Wolter and M. Zakharyaschev:
Modal Logics of metric spaces: open problems,
In Festschrift for Dov Gabbay 2005

M. Sheremet, D. Tishkowsky, F. Wolter and M. Zakharyaschev:
`Closer' representation and reasoning,
Proceedings of DL05 (Description Logic Workshop)

B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev:
On dynamic topological and metric logics,
Proceedings of AiML (Advances in Modal Logic) 2004

C. Lutz and F. Wolter:
Modal logics of topological relations,
Proceedings of AiML (Advances in Modal Logic) 2004.

O. Kutz, C. Lutz, F. Wolter and M. Zakharyaschev:
E-connections of abstract description systems,
Journal of Artificial Intelligence, 2004.

S. Bauer, I. Hodkinson, F. Wolter und M. Zakharyaschev:
On non-local propositional and weak monodic quantified CTL* ,
Journal of Logic and Computation, 2004.

R. Kontchakov, C. Lutz, F. Wolter and M. Zakharyaschev:
Temporalizing Tableaux,
Studia Logica 2.

F. Baader, J. Hladik, C. Lutz, and F. Wolter
From Tableaux to Automata for Description Logics,
Fundamenta Informaticae 2003.

F. Baader, J. Hladik, C. Lutz, and F. Wolter
From Tableaux to Automata for Description Logics,
Proceedings of LPAR 2003.

O. Kutz, C. Lutz, F. Wolter and M. Zakharyaschev:
E-connections of description logics,
Proceedings of the Description Logic Workshop.

C. Lutz, F. Wolter and M. Zakharyaschev:
Reasoning about concepts and similaqrity,
Proceedings of the Description Logic Workshop.

I. Hodkinson, R. Kontchakov, A. Kuruzs, F. Wolter and M. Zakharyaschev:
On the computational complexity of decidable fragments of first-order linear temporal logics,
Accepted for TIME-ICTL.

C. Lutz, F. Wolter and M. Zakharyaschev:
A tableau algorithm for reasoning about concepts and similarity,
Accepted for Tableaux-2003.

D. Gabeliaia, R. Kontchakov, A. Kuruzs, F. Wolter and M. Zakharyaschev:
On the computational properties of spatio-temporal logics,
Accepted for FLAIRS.

F. Wolter and M. Zakharyaschev:
Reasoning about distances,
To appear in the Proceedings of IJCAI 03.

O. Kutz, H. Sturm, N. Suzuki, F. Wolter and M. Zakharyaschev:
Logics of Metric Spaces,
To appear in TOCL (Transactions on Computational Logic).

H. Sturm and F. Wolter:
A tableau calculus for temporal description logic: the expanding domain case ,
Journal of Logic and Computation, 12 (5), 2002, 809--838.

F. Wolter and M. Zakharyaschev:
Axiomatizing the monodic fragment of first-order temporal logic,
Annals of Pure and Applied Logic 118, 2002, 133 -- 145.

A. Artale, E. Franconi, F. Wolter und M. Zakharyaschev:
A temporal description logic for reasoning over conceptual schemas and queries,
Proceedings of JELIA-02 (Springer Lecture Notes).

S. Bauer, I. Hodkinson, F. Wolter und M. Zakharyaschev:
Non-local propositional and one-variable quantified CTL* ,
Proceedings of TIME-02 (IEEE-Press).

O. Kutz, H. Sturm, N. Suzuki, F. Wolter and M. Zakharyaschev:
Axiomatizing distance logics ,
Journal of Applied Non-classical Logic, 12:425--440, 2002.

I. Hodkinson, F. Wolter and M. Zakharyaschev:
Decidable and undecidable fragments of first-order branching temporal logics ,
Proceedings of LICS-2002 (IEEE-Press).

O. Kutz, F. Wolter and M. Zakharyaschev:
Connecting abstract description systems,
Proceedings of the 8th International Conference of Knowledge Representation and Reasoning (KR-2002), editors: D. Fensel, F. Giunchiglia, D. McGuinness and M. Williams, Morgan Kaufmann, 215 -- 227, 2002.

F. Baader, C. Lutz, H. Sturm and F. Wolter:
Fusions of Description Logics and Abstract Description Systems,
Journal of Artificial Intelligence Research (JAIR) 16, 2002, 1 - 58.

F. Wolter and M. Zakharyaschev:
Qualitative spatio-temporal representation and reasoning: a computational perspective,
In ``Exploring Artificial Intelligence in the New Millenium'', editors G. Lakemeyer and B. Nebel, Morgan Kaufmann, 2002.

B. Bennett, A. Cohn, F. Wolter and M. Zakharyaschev:
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning,
Applied Intelligence, 17(3) 2002, 239 -- 251.

C. Lutz, H. Sturm, F. Wolter and M. Zakharyaschev:
A tableau decision algorithm for modalized ALC with constant domains ,
Studia Logica, 72, 199 -- 232, 2002.

F. Wolter and M. Zakharyaschev:
Decidable fragments of modal predicate logics ,
Journal of Symbolic Logic 66 (3), 2001, 1415 - 1438.

I. Hodkinson, F. Wolter and M. Zakharyaschev:
Monodic fragments of first-order temporal logics: 2000 - 2001 A.D. ,
Proceedings of the International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-2001), editor: R. Nieuwenhuis and A. Voronkov, Lecture Notes on Computer Science 2250, Springer, 2001, 1 - 23.

O. Kutz, F. Wolter and M. Zakharyaschev:
A Note on Concepts and Distances,
Proceedings of DL2001, Stanford.

A. Artale, E. Franconi, M. Mosurovic, F. Wolter and M. Zakharyaschev:
The DLR(US) Temporal Description Logic,
Proceedings of DL2001, Stanford.

C. Lutz, U. Sattler and F. Wolter:
Description Logics and the Two-Variable Fragment,
Proceedings of DL2001, Stanford.

A. Artale, E. Franconi, M. Mosurovic, F. Wolter and M. Zakharyaschev:
Reasoning over Conceptual Schemas and Queries in Temporal Databases,
Proceedings of SEBD-2001.

C. Lutz, U. Sattler and F. Wolter:
Modal Logic and the two-variable fragment,
Proceedings of Computer Science Logic (CSL 2001), editor: L. Fribourg, Lecture Notes in Computer Science 2141, Springer, 2001, 262 - 276.

C. Lutz, H. Sturm, F. Wolter and M. Zakharyaschev:
A Tableau Calculus for Temporal Description Logic: The Constant Domain Case,
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR-2001), editor: R. Gore, A. Leitsch and T. Nipkow, Lecture Notes in Computer Science 2083, Springer, 2001, 121 - 136.

H. Sturm and F. Wolter and M. Zakharyaschev:
Common knowledge and quantification ,
Economic Theory 19, 2002, 157 - 186.

H. Sturm and F. Wolter:
First-order expressivity for S5-models: modal vs. two-sorted languages,
Journal of Philosophical Logic 30, 2001, 571 - 591.

F. Wolter and M. Zakharyaschev:
Dynamic description logics ,
Advances in Modal Logic' 98, editor: K. Segerberg, M. de Rijke, H. Wansing and M. Zakharyaschev, CSLI Lecture Notes, 2001, 431 - 445

A. Chagrov and F. Wolter and M. Zakharyaschev:
Advanced Modal logic, in: Gabbay et al. (eds), Handbook of Philosophical Logic, 2001

F. Wolter:
The product of converse PDL and polymodal K ,
Journal of Logic and Computation 10, 2000, 223 - 251.

F. Wolter:
Fragments of Common knowledge Logics ,
Studia Logica 65, 2000, 249 - 271.

F. Baader, C. Lutz, H. Sturm and F. Wolter:
Fusions in Description Logics ,
Proceedings of DL2000.

H. Sturm, N. Suzuki, F. Wolter, and M. Zakharyaschev:
Semi-qualitative reasoning about distances: a preliminary report,
JELIA'2000, editor: G. Brewka and L. Pereira, Lecture Notes in Artificial Intelligence 1919, Springer, 2000, 37 - 56.

H. Sturm and F. Wolter and M. Zakharyaschev:
Monodic epistemic predicate logic ,
JELIA'2000, editor: G. Brewka and L. Pereira, Lecture Notes in Artificial Intelligence 1919, Springer, 2000, 329 - 344.

F. Wolter and M. Zakharyaschev:
Spatial reasoning in RCC-8 with Boolean region terms ,
Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-2000), Berlin, editor: W. Horn, IOS Press, 2000, 244 - 248.

F. Wolter and M. Zakharyaschev:
Spatio-temporal representation and reasoning based on RCC-8 ,
International Conference on Principles of Knowledge Representation and Reasoning (KR-2000), editor: A. Cohn, F. Giunchiglia and B. Selman, Morgan Kaufmann, 2000, 3 - 14 (Best Paper Award)

I. Hodkinson, F. Wolter and M. Zakharyaschev:
Fragments of first-order temporal logics ,
Annals of Pure and Applied Logic 106, 2000, 85 - 134.

F. Wolter:
The decision problem for combined modal logics ,
Habilitationsschrift (250 pages).

F. Wolter and M. Zakharyaschev:
Modal description logics: modalizing roles ,
Fundamenta Informaticae 39, 1999, 411 - 438.

F. Wolter and M. Zakharyaschev:
Multi-dimensional description logics ,
Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), editor: T. Dean, Morgan Kaufmann, 1999, 104 - 109.

M. Kracht and F. Wolter:
Normal modal logics can simulate all others,,
Journal of Symbolic Logic 64, 1999, 99 - 138

F. Wolter and M. Zakharyaschev:
Temporalizing description logics ,
Frontiers of Combining Systems, editor: D. Gabbay and M. de Rijke, 379 - 402, Studies Press/Wiley, 1999.

F. Wolter and M. Zakharyaschev:
Intuitionistic Modal Logics.,
Logic and Foundations of Mathematics, editor: A. Cantini, E. Casari and P. Minari, Synthese Library, Kluwer, 1999, 227 - 238.

F. Wolter:
The algebraic face of minimality,
Logic and Logical Philosophy, editor: J. Perzanowski and A. Pietruszak, University M. Kopernika Torun, 1998, 225 - 240.

F. Wolter and M. Zakharyaschev:
On the decidability of description logics with modal operators.
Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), editor: G. Cohn, L. Schubert, S. Shapiro, Morgan Kaufmann, 1998, 512 - 523.

F. Wolter:
All finitely axiomatizable subframe logics containing the provability logic CSM are decidable,
Archive for Mathematical Logic, 37, 1998, 167 - 182.

Y. Suzuki and F. Wolter and M. Zakharyaschev:
Speaking about transitive frames in propositional languages,
Journal of Logic, Language, and Computation 7, 1998, 317 - 339.

F. Wolter and M. Zakharyaschev:
Intuitionistic Modal Logics as fragments of Classical Modal Logics. ,
Logic at Work, Essays in honour of Helena Rasiowa, editor: E. Orlowska, Springer--Verlag, 1998, 168 - 186.

F. Wolter:
On Logics with Coimplication,
Journal of Philosophical Logic 27, 1998, 353 - 387.

F. Wolter:
Fusions of Modal Logics revisited,
Advances in Modal Logic' 96, editor: M. Kracht, M.de Rijke, H. Wansing, and M. Zakharyaschev, CSLI Lecture Notes, 1998, 361 - 379.

F. Wolter:
The structure of lattices of subframe logics,
Annals of Pure and Applied Logic 86, 1997, 47 - 100

F. Wolter:
Completeness and decidability of tense logics closely related to logics above K4,
Journal of Symbolic Logic 62, 1997, 131 - 158

F. Wolter:
A note on atoms in polymodal algebras,
Algebra Universalis 37, 1997, 334 - 341

M. Kracht and F. Wolter:
Simulation and Transfer Results in Modal Logic - A Survey.
Studia Logica 59, 1997, 229 - 259

F. Wolter:
A note on the Interpolation Property in Tense logic,
Journal of Philosophical Logic 26, 1997, 545 - 551

F. Wolter and M. Zakharyaschev:
On the relation between intuitionistic and classical modal logics,
Algebra and Logic 36, 1997, 121 - 155

F. Wolter:
Superintuitionistic companions of classical modal logics,
Studia Logica 58, 1997, 229 - 259

F. Wolter:
Tense logic without tense operators,
Mathematical Logic Quarterly 42, 1996, 145 - 171.
Abstract: It is proved that any finitely axiomatizable temporal logic with the operators ALWAYS IN THE FUTURE and ALWAYS IN THE PAST and containing the left- and right-linearity axioms is decidable. An inspection of the proof should show that they are NP-complete.

F. Wolter:
A counterexample in tense logic,
Notre Dame Journal of Symbolic Logic 37, 1996, 167 - 173

F. Wolter:
Properties of Tense Logics,
Mathematical Logic Quarterly 42, 1996, 481 - 500

F. Wolter:
The finite model property in tense logic,
Journal of Symbolic Logic 60, 1995, 757 - 774.
Abstract: Suppose L is a modal logic determined by a class of transitive frames which is closed under cofinal subframes. Denote by LP the axiomatic extension of L by means of the past-time operator. It is proved that LP has the finite model property if and only if the class of frames validating L is first-order definable.

F. Wolter: Lattices of Modal Logics
File