Frank Wolter - RankMe

312 papers A* 68A 10B 25C 9Misc 1Journal 123Unranked 66

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Computation and Size of Interpolants for Hybrid Modal Logics. CoRR Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter
2026	J	`jnl`	Fusions of One-Variable First-Order Modal Logics. CoRR Roman Kontchakov, Dmitry Shkatov, Frank Wolter
2025	—	`conf`	Computation of Interpolants for Description Logic Concepts in Hard Cases. DL Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter
2025	J	`jnl`	Computation of Interpolants for Description Logic Concepts in Hard Cases. CoRR Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter
2025	—	`conf`	Containment of Conjunctive LTL Queries. DL Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2025	J	`jnl`	Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions. CoRR Alessandro Artale, Christopher Hampson, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2025	J	`jnl`	Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic. Log. Methods Comput. Sci. Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2025	J	`jnl`	From Interpolating Formulas to Separating Languages and Back Again. CoRR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2025	J	`jnl`	Interpolation in Classical Propositional Logic. CoRR Patrick Koopmann, Christoph Wernhard, Frank Wolter
2025	A*	`conf`	Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. LICS Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
2025	J	`jnl`	Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. CoRR Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
2025	J	`jnl`	The Size of Interpolants in Modal Logics. CoRR Balder ten Cate, Louwe Kuijer, Frank Wolter
2024	—	`conf`	An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
2024	A*	`conf`	Extremal Separation Problems for Temporal Instance Queries. IJCAI Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024	J	`jnl`	Extremal Separation Problems for Temporal Instance Queries. CoRR Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024	—	`conf`	Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. Description Logics Frank Wolter, Michael Zakharyaschev
2024	J	`jnl`	Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. CoRR Frank Wolter, Michael Zakharyaschev
2024	J	`jnl`	Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024	A*	`conf`	Non-Rigid Designators in Modal and Temporal Free Description Logics. KR Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024	—	`conf`	Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). Description Logics Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
2024	B	`conf`	The Interpolant Existence Problem for Weak K4 and Difference Logic. AiML Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2024	J	`jnl`	The interpolant existence problem for weak K4 and difference logic. CoRR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2024	A*	`conf`	Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. KR Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	A non-uniform view of Craig interpolation in modal logics with linear frames. CoRR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning. CoRR James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
2023	A*	`conf`	Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Definitions and (Uniform) Interpolants in First-Order Modal Logic. CoRR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2023	A*	`conf`	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023	—	`conf`	Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter
2022	J	`jnl`	First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022	A*	`conf`	Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR Marie Fortin, Boris Konev, Frank Wolter
2022	J	`jnl`	Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR Marie Fortin, Boris Konev, Frank Wolter
2022	J	`jnl`	Logical separability of labeled data examples under ontologies. Artif. Intell. Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2022	—	`conf`	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. Description Logics Jean Christoph Jung, Andrea Mazzullo, Frank Wolter
2022	A*	`conf`	On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022	—	`conf`	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	A*	`conf`	Unique Characterisability and Learnability of Temporal Instance Queries. KR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	J	`jnl`	Unique Characterisability and Learnability of Temporal Instance Queries. CoRR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2021	J	`jnl`	First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021	J	`jnl`	First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021	—	`conf`	How to Approximate Ontology-Mediated Queries (Extended Abstract. Description Logics Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2021	A*	`conf`	How to Approximate Ontology-Mediated Queries. KR Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2021	J	`jnl`	How to Approximate Ontology-Mediated Queries. CoRR Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2021	—	`conf`	Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics Marie Fortin, Boris Konev, Frank Wolter
2021	A*	`conf`	Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021	—	`conf`	Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). SOQE@KR Frank Wolter
2021	A*	`conf`	Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. LICS Jean Christoph Jung, Frank Wolter
2021	A*	`conf`	On Free Description Logics with Definite Descriptions. KR Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021	J	`jnl`	On Free Description Logics with Definite Descriptions. CoRR Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021	A*	`conf`	Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2021	J	`jnl`	Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	—	`conf`	A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). Description Logics Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
2020	A*	`conf`	A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
2020	J	`jnl`	A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
2020	A*	`conf`	Boolean Role Inclusions in DL-Lite With and Without Time. KR Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020	J	`jnl`	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Trans. Comput. Log. André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2020	J	`jnl`	First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. CoRR Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2020	J	`jnl`	First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020	J	`jnl`	From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. CoRR Cristina Feier, Carsten Lutz, Frank Wolter
2020	A*	`conf`	Least General Generalizations in Description Logic: Verification and Existence. AAAI Jean Christoph Jung, Carsten Lutz, Frank Wolter
2020	—	`conf`	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	J	`jnl`	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	J	`jnl`	Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. CoRR Jean Christoph Jung, Frank Wolter
2020	A*	`conf`	Logical Separability of Incomplete Data under Ontologies. KR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	J	`jnl`	Logical Separability of Incomplete Data under Ontologies. CoRR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	—	`conf`	On Free Description Logics with Definite Descriptions. Description Logics Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	—	`conf`	Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). Description Logics Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	J	`jnl`	Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CoRR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2019	—	`conf`	A Note on DL-Lite with Boolean Role Inclusions. Description Logics Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	—	`conf`	A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
2019	—	`ed.`	Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday Description Logic, Theory Combination, and All That Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
2019	J	`jnl`	Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
2019	—	`conf`	Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Description Logics Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2019	A*	`conf`	Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2019	A*	`conf`	Model Comparison Games for Horn Description Logics. LICS Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	Model Comparison Games for Horn Description Logics. CoRR Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019	—	`conf`	Model Comparison Games for Horn Description Logics: A Summary. Description Logics Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019	A*	`conf`	Ontology Approximation in Horn Description Logics. IJCAI Anneke Bötcher, Carsten Lutz, Frank Wolter
2019	J	`jnl`	Query Inseparability for ALC Ontologies. CoRR Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	Query inseparability for ALC ontologies. Artif. Intell. Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Log. Methods Comput. Sci. Carsten Lutz, Inanç Seylan, Frank Wolter
2018	—	`conf`	A Van Benthem Theorem for Horn Description and Modal Logic. Description Logics Fabio Papacchini, Frank Wolter
2018	—	`conf`	Complete Approximations of Horn DL Ontologies. Description Logics Anneke Bötcher, Carsten Lutz, Frank Wolter
2018	J	`jnl`	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. CoRR André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2018	A*	`conf`	From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI Cristina Feier, Carsten Lutz, Frank Wolter
2018	—	`conf`	From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Description Logics Cristina Feier, Carsten Lutz, Frank Wolter
2018	A*	`conf`	Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2018	J	`jnl`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2018	B	`conf`	On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2018	A*	`ed.`	Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. KR Michael Thielscher, Francesca Toni, Frank Wolter
2018	J	`jnl`	The Data Complexity of Ontology-Mediated Queries with Closed Predicates. CoRR Carsten Lutz, Inanç Seylan, Frank Wolter
2017	A*	`conf`	Conservative Extensions in Guarded and Two-Variable Fragments. ICALP Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017	J	`jnl`	Conservative Extensions in Guarded and Two-Variable Fragments. CoRR Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017	A*	`conf`	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. PODS André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2017	J	`jnl`	Exact Learning of Lightweight Description Logic Ontologies. CoRR Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2017	J	`jnl`	Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2017	—	`conf`	Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Description Logics André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2017	J	`jnl`	Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
2017	C	`conf`	Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2017	A*	`conf`	Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach. AAAI André Hernich, Julio Lemos, Frank Wolter
2017	J	`jnl`	The Data Complexity of Description Logic Ontologies. Log. Methods Comput. Sci. Carsten Lutz, Frank Wolter
2016	A*	`conf`	A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI Boris Konev, Ana Ozaki, Frank Wolter
2016	C	`conf`	Automata for Ontologies. LATA Frank Wolter
2016	A*	`conf`	Conservative Rewritability of Description Logic TBoxes. IJCAI Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2016	—	`conf`	Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes. Description Logics André Hernich, Julio Lemos, Frank Wolter
2016	—	`conf`	First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. Description Logics Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2016	A*	`conf`	First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. IJCAI Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2016	J	`jnl`	Games for query inseparability of description logic knowledge bases. Artif. Intell. Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	—	`conf`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	A*	`ed.`	Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. KR Chitta Baral, James P. Delgrande, Frank Wolter
2016	J	`jnl`	Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2016	J	`jnl`	Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	A*	`conf`	Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	J	`jnl`	The Data Complexity of Description Logic Ontologies. CoRR Carsten Lutz, Frank Wolter
2016	—	`conf`	When is Query Inseparability for ALC Ontologies Decidable? Description Logics Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015	—	`conf`	Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2015	—	`conf`	Decidability of Circumscribed Description Logics Revisited. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter
2015	A*	`conf`	Efficient Query Rewriting in the Description Logic EL and Beyond. IJCAI Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter
2015	—	`conf`	Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics Boris Konev, Ana Ozaki, Frank Wolter
2015	A*	`conf`	First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015	J	`jnl`	Fundamentals of Computation Theory. Theor. Comput. Sci. Leszek Gasieniec, Russell Martin, Frank Wolter, Prudence W. H. Wong
2015	A	`conf`	On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. ICDT Carsten Lutz, Frank Wolter
2015	A*	`conf`	Ontology-Mediated Queries with Closed Predicates. IJCAI Carsten Lutz, Inanç Seylan, Frank Wolter
2015	—	`conf`	Schema.org as a Description Logic. Description Logics André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
2015	A*	`conf`	Schema.org as a Description Logic. IJCAI André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
2015	A*	`conf`	When Are Description Logic Knowledge Bases Indistinguishable? IJCAI Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	A*	`conf`	Exact Learning of Lightweight Description Logic Ontologies. KR Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2014	—	`conf`	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Description Logics William Gatens, Boris Konev, Frank Wolter
2014	A	`conf`	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. ECAI William Gatens, Boris Konev, Frank Wolter
2014	J	`jnl`	Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. ACM Trans. Database Syst. Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2014	—	`conf`	Query Inseparability by Games. Description Logics Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	A*	`conf`	Query Inseparability for Description Logic Knowledge Bases. KR Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	—	`conf`	Query Rewriting under EL TBoxes: Efficient Algorithms. Description Logics Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter
2014	—	`conf`	Temporal OBDA with LTL and DL-Lite. Description Logics Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	J	`jnl`	The Complexity of Circumscription in DLs. CoRR Piero A. Bonatti, Carsten Lutz, Frank Wolter
2014	J	`jnl`	The Logical Difference for the Lightweight Description Logic EL. CoRR Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
2013	—	`conf`	Exact Learning of TBoxes in EL and DL-Lite. Description Logics Boris Konev, Carsten Lutz, Frank Wolter
2013	A*	`conf`	First-Order Rewritability of Atomic Queries in Horn Description Logics. IJCAI Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2013	B	`ed.`	Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings FCT Leszek Gasieniec, Frank Wolter
2013	J	`jnl`	Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2013	—	`conf`	Module Extraction for Acyclic Ontologies. WoMO William Gatens, Boris Konev, Frank Wolter
2013	A*	`conf`	Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). IJCAI Carsten Lutz, Inanç Seylan, Frank Wolter
2013	J	`jnl`	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP CoRR Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013	A*	`conf`	Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. PODS Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013	J	`jnl`	Temporal Description Logic for Ontology-Based Data Access (Extended Version) CoRR Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	A*	`conf`	Temporal Description Logic for Ontology-Based Data Access. IJCAI Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	—	`conf`	Temporalising OWL 2 QL. Description Logics Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	—	`conf`	The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC (1) Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter
2012	A*	`conf`	An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR Carsten Lutz, Inanç Seylan, Frank Wolter
2012	J	`jnl`	Book Reviews. Stud Logica Frank Wolter
2012	—	`conf`	Deciding FO-Rewritability in EL. Description Logics Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2012	A	`conf`	Logical Difference Computation with CEX2.5. IJCAR Boris Konev, Michel Ludwig, Frank Wolter
2012	—	`conf`	Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. Description Logics Carsten Lutz, Inanç Seylan, Frank Wolter
2012	A*	`conf`	Non-Uniform Data Complexity of Query Answering in Description Logics. KR Carsten Lutz, Frank Wolter
2012	—	`ed.`	Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 Description Logics Yevgeny Kazakov, Domenico Lembo, Frank Wolter
2012	A*	`conf`	Query Containment in Description Logics Reconsidered. KR Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2012	—	`conf`	The Combined Approach to OBDA: Taming Role Hierarchies using Filters. SSWS+HPCSW@ISWC Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter
2012	J	`jnl`	The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
2011	J	`jnl`	Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2011	A*	`conf`	Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
2011	A*	`conf`	Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. IJCAI Carsten Lutz, Robert Piro, Frank Wolter
2011	J	`jnl`	Description Logic TBoxes: Model-theoretic Characterizations and Rewritability CoRR Carsten Lutz, Robert Piro, Frank Wolter
2011	C	`ed.`	Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011 TIME Carlo Combi, Martin Leucker, Frank Wolter
2011	J	`jnl`	Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics CoRR Carsten Lutz, Frank Wolter
2011	A*	`conf`	Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. IJCAI Carsten Lutz, Frank Wolter
2011	J	`jnl`	Foundations of instance level updates in expressive description logics. Artif. Intell. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2011	J	`jnl`	Fusions of Description Logics and Abstract Description Systems CoRR Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2011	—	`conf`	Module Extraction via Query Inseparability in OWL 2 QL. Description Logics Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
2011	—	`conf`	Non-Uniform Data Complexity of Query Answering in Description Logics. Description Logics Carsten Lutz, Frank Wolter
2011	—	`conf`	On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2011	B	`conf`	Ontology-Based Data Access and Constraint Satisfaction. CSL Frank Wolter
2011	A*	`conf`	The Combined Approach to Ontology-Based Data Access. IJCAI Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2010	J	`jnl`	A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Log. Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev
2010	J	`jnl`	Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. Carsten Lutz, Frank Wolter
2010	A*	`conf`	Decomposing Description Logic Ontologies. KR Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter
2010	—	`conf`	EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. Description Logics Carsten Lutz, Robert Piro, Frank Wolter
2010	A	`conf`	Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. ECAI Carsten Lutz, Robert Piro, Frank Wolter
2010	B	`conf`	Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Advances in Modal Logic Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2010	J	`jnl`	Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2010	A*	`conf`	Query and Predicate Emptiness in Description Logics. KR Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2010	J	`jnl`	Spatial logics with connectedness predicates Log. Methods Comput. Sci. Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2010	A*	`conf`	The Combined Approach to Query Answering in DL-Lite. KR Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009	—	`conf`	Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009	A*	`conf`	Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI Carsten Lutz, David Toman, Frank Wolter
2009	—	`conf`	Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics Boris Konev, Dirk Walther, Frank Wolter
2009	A*	`conf`	Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI Boris Konev, Dirk Walther, Frank Wolter
2009	—	`ch.`	Formal Properties of Modularisation. Modular Ontologies Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2009	C	`conf`	Mathematical Logic for Life Science Ontologies. WoLLIC Carsten Lutz, Frank Wolter
2009	A*	`conf`	Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
2009	—	`conf`	Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2009	J	`jnl`	The Complexity of Circumscription in DLs. J. Artif. Intell. Res. Piero A. Bonatti, Carsten Lutz, Frank Wolter
2008	—	`conf`	CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. OWLED (Spring) Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	A*	`conf`	Can You Tell the Difference Between DL-Lite Ontologies?. KR Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2008	—	`conf`	Checking DL-Lite Modularity with QBF Solvers. Description Logics Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2008	—	`conf`	Conjunctive Query Answering in EL using a Database System. OWLED Carsten Lutz, David Toman, Frank Wolter
2008	—	`conf`	Logical Difference and Module Extraction with CEX and MEX. Description Logics Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	B	`conf`	On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2008	—	`ed.`	Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, Whistler, Canada, October 28, 2007 WoMO Bernardo Cuenca Grau, Vasant G. Honavar, Anne Schlicht, Frank Wolter
2008	A	`conf`	Semantic Modularity and Module Extraction in Description Logics. ECAI Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	C	`conf`	Temporal Description Logics: A Survey. TIME Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2008	A	`conf`	The Logical Difference Problem for Description Logic Terminologies. IJCAR Boris Konev, Dirk Walther, Frank Wolter
2008	B	`conf`	Topology, connectedness, and modal logic. Advances in Modal Logic Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2008	J	`jnl`	Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. Frank Wolter, Michael Zakharyaschev
2007	J	`jnl`	A Logic for Concepts and Similarity. J. Log. Comput. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2007	A*	`conf`	Conservative Extensions in Expressive Description Logics. IJCAI Carsten Lutz, Dirk Walther, Frank Wolter
2007	A	`conf`	Conservative Extensions in the Lightweight Description Logic EL. CADE Carsten Lutz, Frank Wolter
2007	—	`ed.`	Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings FroCoS Boris Konev, Frank Wolter
2007	—	`book`	Handbook of Modal Logic. Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter
2007	—	`ch.`	Modal decision problems. Handbook of Modal Logic Frank Wolter, Michael Zakharyaschev
2007	—	`conf`	Modularity in DL-Lite. Description Logics Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2007	J	`jnl`	Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. Carsten Lutz, Dirk Walther, Frank Wolter
2007	—	`ch.`	Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2007	C	`conf`	Temporalising Tractable Description Logics. TIME Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2006	J	`jnl`	ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. Dirk Walther, Carsten Lutz, Frank Wolter, Michael J. Wooldridge
2006	B	`conf`	Automated Reasoning About Metric and Topology. JELIA Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2006	B	`conf`	Conservative extensions in modal logic. Advances in Modal Logic Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2006	—	`conf`	DL Actions with GCIs: a Pragmatic Approach. Description Logics Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2006	A*	`conf`	Description Logics with Circumscription. KR Piero A. Bonatti, Carsten Lutz, Frank Wolter
2006	A*	`conf`	Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR Silvio Ghilardi, Carsten Lutz, Frank Wolter
2006	B	`conf`	Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2006	B	`conf`	From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2006	J	`jnl`	Modal Logics of Topological Relations CoRR Carsten Lutz, Frank Wolter
2006	J	`jnl`	Modal Logics of Topological Relations. Log. Methods Comput. Sci. Carsten Lutz, Frank Wolter
2006	J	`jnl`	Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Log. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2006	J	`jnl`	On Dynamic Topological and Metric Logics. Stud Logica Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2006	B	`conf`	Reasoning About Actions Using Description Logics with General TBoxes. JELIA Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2006	J	`jnl`	Undecidability of the unification and admissibility problems for modal and description logics CoRR Frank Wolter, Michael Zakharyaschev
2006	A*	`conf`	Updating Description Logic ABoxes. KR Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2006	J	`jnl`	Willem Blok and Modal Logic. Stud Logica Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter
2005	—	`conf`	'Closer' representation and reasoning. Description Logics Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	A logic for metric and topology. J. Symb. Log. Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Stud Logica Tadeusz Litak, Frank Wolter
2005	J	`jnl`	Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
2005	B	`conf`	Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2005	A*	`conf`	Integrating Description Logics and Action Formalisms: First Results. AAAI Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
2005	—	`conf`	Integrating Description Logics and Action Formalisms: First Results. Description Logics Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
2005	—	`conf`	Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005	—	`ed.`	Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 Description Logics Ian Horrocks, Ulrike Sattler, Frank Wolter
2005	J	`jnl`	Products of 'transitive' modal logics. J. Symb. Log. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005	C	`conf`	Quantitative Temporal Logics: PSPACE and Below. TIME Carsten Lutz, Dirk Walther, Frank Wolter
2005	A	`conf`	Temporal Logics over Transitive States. CADE Boris Konev, Frank Wolter, Michael Zakharyaschev
2004	J	`jnl`	E-connections of abstract description systems. Artif. Intell. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2004	J	`jnl`	On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2004	J	`jnl`	Temporalising Tableaux. Stud Logica Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	B	`conf`	A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	B	`ed.`	Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002 Advances in Modal Logic Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2003	—	`conf`	E-connections of Description Logics. Description Logics Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	—	`ch.`	Extensions to Description Logics. Description Logic Handbook Franz Baader, Ralf Küsters, Frank Wolter
2003	B	`conf`	From Tableaux to Automata for Description Logics. LPAR Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
2003	J	`jnl`	From Tableaux to Automata for Description Logics. Fundam. Informaticae Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
2003	J	`jnl`	Logics of metric spaces. ACM Trans. Comput. Log. Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
2003	C	`conf`	On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2003	Misc	`conf`	On the Computational Complexity of Spatio-Temporal Logics. FLAIRS David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2003	A*	`conf`	Reasoning about distances. IJCAI Frank Wolter, Michael Zakharyaschev
2003	—	`conf`	Resasoning about Concepts and Similarity. Description Logics Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. Holger Sturm, Frank Wolter
2002	J	`jnl`	A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Stud Logica Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
2002	B	`conf`	A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev
2002	B	`ed.`	Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000 Advances in Modal Logic Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev
2002	J	`jnl`	Axiomatizing Distance Logics. J. Appl. Non Class. Logics Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Log. Frank Wolter, Michael Zakharyaschev
2002	A*	`conf`	Connecting Abstract Description Systems. KR Oliver Kutz, Frank Wolter, Michael Zakharyaschev
2002	A*	`conf`	Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002	B	`conf`	Editorial Preface. Advances in Modal Logic Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2002	J	`jnl`	Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Appl. Intell. Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev
2002	C	`conf`	On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Preface. Stud Logica Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter
2001	—	`conf`	A Note on Concepts and Distances. Description Logics Oliver Kutz, Frank Wolter, Michael Zakharyaschev
2001	J	`jnl`	Decidable Fragments of First-Order Modal Logics. J. Symb. Log. Frank Wolter, Michael Zakharyaschev
2001	—	`conf`	Description Logics and the Two-Variable Fragment. Description Logics Carsten Lutz, Ulrike Sattler, Frank Wolter
2001	J	`jnl`	First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. J. Philos. Log. Holger Sturm, Frank Wolter
2001	B	`conf`	Modal Logic and the Two-Variable Fragment. CSL Carsten Lutz, Ulrike Sattler, Frank Wolter
2001	B	`conf`	Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2001	—	`conf`	Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev
2001	A	`conf`	Tableaux for Temporal Description Logic with Constant Domains. IJCAR Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
2001	—	`conf`	The DLRUS Temporal Description Logic. Description Logics Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev
2000	J	`jnl`	Decidable fragment of first-order temporal logics. Ann. Pure Appl. Log. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2000	J	`jnl`	First Order Common Knowledge Logics. Stud Logica Frank Wolter
2000	—	`conf`	Fusions of Description Logics. Description Logics Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2000	B	`conf`	Monodic Epistemic Predicate Logic. JELIA Holger Sturm, Frank Wolter, Michael Zakharyaschev
2000	B	`conf`	Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2000	A	`conf`	Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI Frank Wolter, Michael Zakharyaschev
2000	A*	`conf`	Spatio-temporal representation and reasoning based on RCC-8. KR Frank Wolter, Michael Zakharyaschev
2000	J	`jnl`	The product of converse PDL and polymodal K. J. Log. Comput. Frank Wolter
1999	J	`jnl`	Modal Description Logics: Modalizing Roles. Fundam. Informaticae Frank Wolter, Michael Zakharyaschev
1999	A*	`conf`	Multi-Dimensional Description Logics. IJCAI Frank Wolter, Michael Zakharyaschev
1999	J	`jnl`	Normal Monomodal Logics Can Simulate All Others. J. Symb. Log. Marcus Kracht, Frank Wolter
1998	J	`jnl`	All finitely axiomatizable subframe logics containing the provability logic CSM Arch. Math. Log. Frank Wolter
1998	B	`conf`	Dynamic Description Logics. Advances in Modal Logic Frank Wolter, Michael Zakharyaschev
1998	J	`jnl`	On Logics with Coimplication. J. Philos. Log. Frank Wolter
1998	A*	`conf`	On the Decidability of Description Logics with Modal Operators. KR Frank Wolter, Michael Zakharyaschev
1998	J	`jnl`	Speaking about Transitive Frames in Propositional Languages. J. Log. Lang. Inf. Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev
1998	—	`conf`	Temporalizing Description Logics. FroCoS Frank Wolter, Michael Zakharyaschev
1997	J	`jnl`	A Note on the Interpolation Property in Tense Logic. J. Philos. Log. Frank Wolter
1997	J	`jnl`	Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. J. Symb. Log. Frank Wolter
1997	J	`jnl`	Simulation and Transfer Results in Modal Logic - A Survey. Stud Logica Marcus Kracht, Frank Wolter
1997	J	`jnl`	Superintuitionistic Companions of Classical Modal Logics. Stud Logica Frank Wolter
1997	J	`jnl`	The Structure of Lattices of Subframe Logics. Ann. Pure Appl. Log. Frank Wolter
1996	J	`jnl`	A Counterexample in Tense Logic. Notre Dame J. Formal Log. Frank Wolter
1996	B	`conf`	Fusions of Modal Logics Revisited. Advances in Modal Logic Frank Wolter
1996	J	`jnl`	Properties of Tense Logics. Math. Log. Q. Frank Wolter
1996	J	`jnl`	Tense Logic Without Tense Operators. Math. Log. Q. Frank Wolter
1995	J	`jnl`	The Finite Model Property in Tense Logic. J. Symb. Log. Frank Wolter
1994	J	`jnl`	Solution to a Problem of Goranko and Passy. J. Log. Comput. Frank Wolter
1994	J	`jnl`	What is the upper part of the lattice of bimodal logics? Stud Logica Frank Wolter
1991	J	`jnl`	Properties of Independently Axiomatizable Bimodal Logics. J. Symb. Log. Marcus Kracht, Frank Wolter