DBLP: Frank Wolter

	2013
i8		Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter: Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. CoRR abs/1301.6479 (2013)
i7		Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013)
	2012
j52		Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter: The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. (JAIR) 44: 633-708 (2012)
j51		Frank Wolter: Book Reviews. Studia Logica 100(3): 649-651 (2012)
c84		Boris Konev, Michel Ludwig, Frank Wolter: Logical Difference Computation with CEX2.5. IJCAR 2012: 371-377
c83		Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Deciding FO-Rewritability in EL. Description Logics 2012
c82		Carsten Lutz, Inanç Seylan, Frank Wolter: Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. Description Logics 2012
c81		Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Containment in Description Logics Reconsidered. KR 2012
c80		Carsten Lutz, Inanç Seylan, Frank Wolter: An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR 2012
c79		Carsten Lutz, Frank Wolter: Non-Uniform Data Complexity of Query Answering in Description Logics. KR 2012
e7		Yevgeny Kazakov, Domenico Lembo, Frank Wolter (Eds.): Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846, CEUR-WS.org 2012
	2011
j50		Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Foundations of instance level updates in expressive description logics. Artif. Intell. 175(18): 2170-2197 (2011)
c78		Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011
c77		Frank Wolter: Ontology-Based Data Access and Constraint Satisfaction. CSL 2011: 4
c76		Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011
c75		Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics 2011
c74		Carsten Lutz, Frank Wolter: Non-Uniform Data Complexity of Query Answering in Description Logics. Description Logics 2011
c73		Carsten Lutz, Robert Piro, Frank Wolter: Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. IJCAI 2011: 983-988
c72		Carsten Lutz, Frank Wolter: Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. IJCAI 2011: 989-995
c71		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661
e6		Carlo Combi, Martin Leucker, Frank Wolter (Eds.): Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. IEEE 2011, isbn 978-1-4577-1242-5
i6		Carsten Lutz, Frank Wolter: Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. CoRR abs/1104.2825 (2011)
i5		Carsten Lutz, Robert Piro, Frank Wolter: Description Logic TBoxes: Model-theoretic Characterizations and Rewritability. CoRR abs/1104.2844 (2011)
i4		Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. CoRR abs/1106.1802 (2011)
i3		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. CoRR abs/1110.2726 (2011)
	2010
j49		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174(15): 1093-1141 (2010)
j48		Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev: A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Logic 161(4): 534-559 (2010)
j47		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Spatial logics with connectedness predicates. Logical Methods in Computer Science 6(3) (2010)
j46		Carsten Lutz, Frank Wolter: Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. 45(2): 194-228 (2010)
c70		Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Advances in Modal Logic 2010: 271-291
c69		Carsten Lutz, Robert Piro, Frank Wolter: EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. Description Logics 2010
c68		Carsten Lutz, Robert Piro, Frank Wolter: Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. ECAI 2010: 41-46
c67		Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query and Predicate Emptiness in Description Logics. KR 2010
c66		Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter: Decomposing Description Logic Ontologies. KR 2010
c65		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: The Combined Approach to Query Answering in DL-Lite. KR 2010
	2009
j45		Piero A. Bonatti, Carsten Lutz, Frank Wolter: The Complexity of Circumscription in DLs. J. Artif. Intell. Res. (JAIR) 35: 717-773 (2009)
c64		Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009
c63		Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics 2009
c62		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009
c61		Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI 2009: 830-835
c60		Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841
c59		Carsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009: 2070-2075
c58		Carsten Lutz, Frank Wolter: Mathematical Logic for Life Science Ontologies. WoLLIC 2009: 37-47
p2		Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Formal Properties of Modularisation. Modular Ontologies 2009: 25-66
	2008
j44		Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. 9(4) (2008)
c57		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
c56		Boris Konev, Dirk Walther, Frank Wolter: The Logical Difference Problem for Description Logic Terminologies. IJCAR 2008: 259-274
c55		Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008
c54		Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008
c53		Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59
c52		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295
c51		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
c50		Carsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in EL using a Database System. OWLED 2008
c49		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporal Description Logics: A Survey. TIME 2008: 3-14
e5		Bernardo Cuenca Grau, Vasant Honavar, Anne Schlicht, Frank Wolter (Eds.): Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, Whistler, Canada, October 28, 2007. CEUR Workshop Proceedings 315, CEUR-WS.org 2008
	2007
j43		Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007)
j42		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)
c48		Carsten Lutz, Frank Wolter: Conservative Extensions in the Lightweight Description Logic EL. CADE 2007: 84-99
c47		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007
c46		Carsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458
c45		Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
p1		Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564
e4		Boris Konev, Frank Wolter (Eds.): Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4720, Springer 2007, isbn 978-3-540-74620-1
	2006
j41		David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Logic 142(1-3): 245-268 (2006)
j40		Carsten Lutz, Frank Wolter: Modal Logics of Topological Relations. Logical Methods in Computer Science 2(2) (2006)
j39		Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006)
j38		Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter: Willem Blok and Modal Logic. Studia Logica 83(1-3): 15-30 (2006)
j37		Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)
c44		Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207
c43		Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318
c42		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic 2006: 429-448
c41		Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: DL Actions with GCIs: a Pragmatic Approach. Description Logics 2006
c40		Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006: 266-279
c39		Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493
c38		Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56
c37		Silvio Ghilardi, Carsten Lutz, Frank Wolter: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197
c36		Piero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. KR 2006: 400-410
i2		Carsten Lutz, Frank Wolter: Modal Logics of Topological Relations. CoRR abs/cs/0605064 (2006)
i1		Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics. CoRR abs/cs/0609052 (2006)
	2005
j36		David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. (JAIR) 23: 167-243 (2005)
j35		Frank Wolter, Michael Zakharyaschev: A logic for metric and topology. J. Symb. Log. 70(3): 795-828 (2005)
j34		David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Products of 'transitive' modal logics. J. Symb. Log. 70(3): 993-1021 (2005)
j33		Tadeusz Litak, Frank Wolter: All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Studia Logica 81(2): 153-165 (2005)
c35		Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
c34		Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108
c33		Boris Konev, Frank Wolter, Michael Zakharyaschev: Temporal Logics over Transitive States. CADE 2005: 182-203
c32		Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
c31		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005
c30		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665
c29		Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146
e3		Ian Horrocks, Ulrike Sattler, Frank Wolter (Eds.): Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR Workshop Proceedings 147, CEUR-WS.org 2005
	2004
j32		Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
j31		Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14(1): 3-22 (2004)
j30		Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)
	2003
j29		Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)
j28		Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003)
c28		Franz Baader, Ralf Küsters, Frank Wolter: Extensions to Description Logics. Description Logic Handbook 2003: 219-261
c27		Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
c26		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003
c25		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464
c24		Frank Wolter, Michael Zakharyaschev: Reasoning about distances. IJCAI 2003: 1275-1282
c23		Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32
c22		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149
c21		Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME 2003: 91-98
e2		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev (Eds.): Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002. King's College Publications 2003, isbn 0-9543006-2-9
	2002
j27		Frank Wolter, Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Logic 118(1-2): 133-145 (2002)
j26		Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Appl. Intell. 17(3): 239-251 (2002)
j25		Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. (JAIR) 16: 1-58 (2002)
j24		Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002)
j23		Holger Sturm, Frank Wolter: A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. 12(5): 809-838 (2002)
j22		Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter: Preface. Studia Logica 72(2): 145-146 (2002)
j21		Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica 72(2): 199-232 (2002)
c20		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Editorial Preface. Advances in Modal Logic 2002
c19		Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110
c18		Oliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226
c17		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402
c16		Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9
e1		Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev (Eds.): Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000. World Scientific 2002, isbn 981-238-179-1
	2001
j20		Holger Sturm, Frank Wolter: First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. J. Philosophical Logic 30(6): 571-591 (2001)
j19		Frank Wolter, Michael Zakharyaschev: Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001)
c15		Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
c14		Carsten Lutz, Ulrike Sattler, Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261
c13		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001
c12		Oliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001
c11		Carsten Lutz, Ulrike Sattler, Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001
c10		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001: 1-23
c9		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214
	2000
j18		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106(1-3): 85-134 (2000)
j17		Frank Wolter: The product of converse PDL and polymodal K. J. Log. Comput. 10(2): 223-251 (2000)
j16		Frank Wolter: First Order Common Knowledge Logics. Studia Logica 65(2): 249-271 (2000)
c8		Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30
c7		Frank Wolter, Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250
c6		Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56
c5		Holger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344
c4		Frank Wolter, Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14
	1999
j15		Frank Wolter, Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundam. Inform. 39(4): 411-438 (1999)
j14		Marcus Kracht, Frank Wolter: Normal Monomodal Logics Can Simulate All Others. J. Symb. Log. 64(1): 99-138 (1999)
c3		Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999: 104-109
	1998
j13		Frank Wolter: All finitely axiomatizable subframe logics containing the provability logic CSM ₀_{0} are decidable. Arch. Math. Log. 37(3): 167-182 (1998)
j12		Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7(3): 317-339 (1998)
c2		Frank Wolter, Michael Zakharyaschev: Dynamic Description Logics. Advances in Modal Logic 1998: 431-446
c1		Frank Wolter, Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523
	1997
j11		Frank Wolter: The Structure of Lattices of Subframe Logics. Ann. Pure Appl. Logic 86(1): 47-100 (1997)
j10		Frank Wolter: Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. J. Symb. Log. 62(1): 131-158 (1997)
j9		Frank Wolter: Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58(2): 229-259 (1997)
j8		Marcus Kracht, Frank Wolter: Simulation and Transfer Results in Modal Logic - A Survey. Studia Logica 59(1): 149-177 (1997)
	1996
j7		Frank Wolter: Tense Logic Without Tense Operators. Math. Log. Q. 42: 145-171 (1996)
j6		Frank Wolter: Properties of Tense Logics. Math. Log. Q. 42: 481-500 (1996)
j5		Frank Wolter: A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic 37(2): 167-173 (1996)
	1995
j4		Frank Wolter: The Finite Model Property in Tense Logic. J. Symb. Log. 60(3): 757-774 (1995)
	1994
j3		Frank Wolter: Solution to a Problem of Goranko and Passy. J. Log. Comput. 4(1): 21-22 (1994)
j2		Frank Wolter: What is the upper part of the lattice of bimodal logics? Studia Logica 53(2): 235-242 (1994)
	1991
j1		Marcus Kracht, Frank Wolter: Properties of Independently Axiomatizable Bimodal Logics. J. Symb. Log. 56(4): 1469-1485 (1991)

2013

Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter: Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. CoRR abs/1301.6479 (2013)

Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013)

2012

j52

Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter: The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. (JAIR) 44: 633-708 (2012)

j51

Frank Wolter: Book Reviews. Studia Logica 100(3): 649-651 (2012)

c84

Boris Konev, Michel Ludwig, Frank Wolter: Logical Difference Computation with CEX2.5. IJCAR 2012: 371-377

c83

Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Deciding FO-Rewritability in EL. Description Logics 2012

c82

Carsten Lutz, Inanç Seylan, Frank Wolter: Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. Description Logics 2012

c81

Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Containment in Description Logics Reconsidered. KR 2012

c80

Carsten Lutz, Inanç Seylan, Frank Wolter: An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR 2012

c79

Carsten Lutz, Frank Wolter: Non-Uniform Data Complexity of Query Answering in Description Logics. KR 2012

Yevgeny Kazakov, Domenico Lembo, Frank Wolter (Eds.): Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846, CEUR-WS.org 2012

2011

j50

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Foundations of instance level updates in expressive description logics. Artif. Intell. 175(18): 2170-2197 (2011)

c78

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

c77

Frank Wolter: Ontology-Based Data Access and Constraint Satisfaction. CSL 2011: 4

c76

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011

c75

Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics 2011

c74

Carsten Lutz, Frank Wolter: Non-Uniform Data Complexity of Query Answering in Description Logics. Description Logics 2011

c73

Carsten Lutz, Robert Piro, Frank Wolter: Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. IJCAI 2011: 983-988

c72

Carsten Lutz, Frank Wolter: Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. IJCAI 2011: 989-995

c71

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661

Carlo Combi, Martin Leucker, Frank Wolter (Eds.): Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. IEEE 2011, isbn 978-1-4577-1242-5

Carsten Lutz, Frank Wolter: Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. CoRR abs/1104.2825 (2011)

Carsten Lutz, Robert Piro, Frank Wolter: Description Logic TBoxes: Model-theoretic Characterizations and Rewritability. CoRR abs/1104.2844 (2011)

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. CoRR abs/1106.1802 (2011)

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. CoRR abs/1110.2726 (2011)

2010

j49

Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174(15): 1093-1141 (2010)

j48

Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev: A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Logic 161(4): 534-559 (2010)

j47

Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Spatial logics with connectedness predicates. Logical Methods in Computer Science 6(3) (2010)

j46

Carsten Lutz, Frank Wolter: Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. 45(2): 194-228 (2010)

c70

Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Advances in Modal Logic 2010: 271-291

c69

Carsten Lutz, Robert Piro, Frank Wolter: EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. Description Logics 2010

c68

Carsten Lutz, Robert Piro, Frank Wolter: Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. ECAI 2010: 41-46

c67

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

c66

Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter: Decomposing Description Logic Ontologies. KR 2010

c65

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: The Combined Approach to Query Answering in DL-Lite. KR 2010

2009

j45

Piero A. Bonatti, Carsten Lutz, Frank Wolter: The Complexity of Circumscription in DLs. J. Artif. Intell. Res. (JAIR) 35: 717-773 (2009)

c64

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009

c63

Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics 2009

c62

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

c61

Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI 2009: 830-835

c60

Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841

c59

Carsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009: 2070-2075

c58

Carsten Lutz, Frank Wolter: Mathematical Logic for Life Science Ontologies. WoLLIC 2009: 37-47

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Formal Properties of Modularisation. Modular Ontologies 2009: 25-66

2008

j44

Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. 9(4) (2008)

c57

Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176

c56

Boris Konev, Dirk Walther, Frank Wolter: The Logical Difference Problem for Description Logic Terminologies. IJCAR 2008: 259-274

c55

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008

c54

Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008

c53

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59

c52

Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295

c51

Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589

c50

Carsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in EL using a Database System. OWLED 2008

c49

Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporal Description Logics: A Survey. TIME 2008: 3-14

Bernardo Cuenca Grau, Vasant Honavar, Anne Schlicht, Frank Wolter (Eds.): Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, Whistler, Canada, October 28, 2007. CEUR Workshop Proceedings 315, CEUR-WS.org 2008

2007

j43

Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007)

j42

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)

c48

Carsten Lutz, Frank Wolter: Conservative Extensions in the Lightweight Description Logic EL. CADE 2007: 84-99

c47

Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007

c46

Carsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458

c45

Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22

Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564

Boris Konev, Frank Wolter (Eds.): Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4720, Springer 2007, isbn 978-3-540-74620-1

2006

j41

David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Logic 142(1-3): 245-268 (2006)

j40

Carsten Lutz, Frank Wolter: Modal Logics of Topological Relations. Logical Methods in Computer Science 2(2) (2006)

j39

Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006)

j38

Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter: Willem Blok and Modal Logic. Studia Logica 83(1-3): 15-30 (2006)

j37

Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)

c44

Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207

c43

Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318

c42

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic 2006: 429-448

c41

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: DL Actions with GCIs: a Pragmatic Approach. Description Logics 2006

c40

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006: 266-279

c39

Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493

c38

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56

c37

Silvio Ghilardi, Carsten Lutz, Frank Wolter: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197

c36

Piero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. KR 2006: 400-410

Carsten Lutz, Frank Wolter: Modal Logics of Topological Relations. CoRR abs/cs/0605064 (2006)

Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics. CoRR abs/cs/0609052 (2006)

2005

j36

David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. (JAIR) 23: 167-243 (2005)

j35

Frank Wolter, Michael Zakharyaschev: A logic for metric and topology. J. Symb. Log. 70(3): 795-828 (2005)

j34

David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Products of 'transitive' modal logics. J. Symb. Log. 70(3): 993-1021 (2005)

j33

Tadeusz Litak, Frank Wolter: All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Studia Logica 81(2): 153-165 (2005)

c35

Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577

c34

Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108

c33

Boris Konev, Frank Wolter, Michael Zakharyaschev: Temporal Logics over Transitive States. CADE 2005: 182-203

c32

Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005

c31

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005

c30

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665

c29

Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146

Ian Horrocks, Ulrike Sattler, Frank Wolter (Eds.): Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR Workshop Proceedings 147, CEUR-WS.org 2005

2004

j32

Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)

j31

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14(1): 3-22 (2004)

j30

Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)

2003

j29

Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)

j28

Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003)

c28

Franz Baader, Ralf Küsters, Frank Wolter: Extensions to Description Logics. Description Logic Handbook 2003: 219-261

c27

Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003

c26

Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003

c25

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464

c24

Frank Wolter, Michael Zakharyaschev: Reasoning about distances. IJCAI 2003: 1275-1282

c23

Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32

c22

Carsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149

c21

Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME 2003: 91-98

Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev (Eds.): Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002. King's College Publications 2003, isbn 0-9543006-2-9

2002

j27

Frank Wolter, Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Logic 118(1-2): 133-145 (2002)

j26

Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Appl. Intell. 17(3): 239-251 (2002)

j25

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. (JAIR) 16: 1-58 (2002)

j24

Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002)

j23

Holger Sturm, Frank Wolter: A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. 12(5): 809-838 (2002)

j22

Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter: Preface. Studia Logica 72(2): 145-146 (2002)

j21

Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica 72(2): 199-232 (2002)

c20

Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Editorial Preface. Advances in Modal Logic 2002

c19

Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110

c18

Oliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226

c17

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402

c16

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9

Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev (Eds.): Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000. World Scientific 2002, isbn 981-238-179-1

2001

j20

Holger Sturm, Frank Wolter: First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. J. Philosophical Logic 30(6): 571-591 (2001)

j19

Frank Wolter, Michael Zakharyaschev: Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001)

c15

Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136

c14

Carsten Lutz, Ulrike Sattler, Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261

c13

Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001

c12

Oliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001

c11

Carsten Lutz, Ulrike Sattler, Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001

c10

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001: 1-23

Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214

2000

j18

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106(1-3): 85-134 (2000)

j17

Frank Wolter: The product of converse PDL and polymodal K. J. Log. Comput. 10(2): 223-251 (2000)

j16

Frank Wolter: First Order Common Knowledge Logics. Studia Logica 65(2): 249-271 (2000)

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30

Frank Wolter, Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250

Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56

Holger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344

Frank Wolter, Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14

1999

j15

Frank Wolter, Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundam. Inform. 39(4): 411-438 (1999)

j14

Marcus Kracht, Frank Wolter: Normal Monomodal Logics Can Simulate All Others. J. Symb. Log. 64(1): 99-138 (1999)

Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999: 104-109

1998

j13

Frank Wolter: All finitely axiomatizable subframe logics containing the provability logic CSM ₀_{0} are decidable. Arch. Math. Log. 37(3): 167-182 (1998)

j12

Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7(3): 317-339 (1998)

Frank Wolter, Michael Zakharyaschev: Dynamic Description Logics. Advances in Modal Logic 1998: 431-446

Frank Wolter, Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523

1997

j11

Frank Wolter: The Structure of Lattices of Subframe Logics. Ann. Pure Appl. Logic 86(1): 47-100 (1997)

j10

Frank Wolter: Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. J. Symb. Log. 62(1): 131-158 (1997)

Frank Wolter: Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58(2): 229-259 (1997)

Marcus Kracht, Frank Wolter: Simulation and Transfer Results in Modal Logic - A Survey. Studia Logica 59(1): 149-177 (1997)

1996

Frank Wolter: Tense Logic Without Tense Operators. Math. Log. Q. 42: 145-171 (1996)

Frank Wolter: Properties of Tense Logics. Math. Log. Q. 42: 481-500 (1996)

Frank Wolter: A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic 37(2): 167-173 (1996)

1995

Frank Wolter: The Finite Model Property in Tense Logic. J. Symb. Log. 60(3): 757-774 (1995)

1994

Frank Wolter: Solution to a Problem of Goranko and Passy. J. Log. Comput. 4(1): 21-22 (1994)

Frank Wolter: What is the upper part of the lattice of bimodal logics? Studia Logica 53(2): 235-242 (1994)

1991

Marcus Kracht, Frank Wolter: Properties of Independently Axiomatizable Bimodal Logics. J. Symb. Log. 56(4): 1469-1485 (1991)

1	Alessandro Artale	[i7] [c45] [c19] [c13] [c9]
2	Franz Baader	[i4] [c67] [c64] [c35] [c32] [j29] [c28] [c23] [j25] [c8]
3	Philippe Balbiani	[e2] [c20]
4	Sebastian Bauer	[j31] [c16]
5	Brandon Bennett	[j26]
6	Meghyn Bienvenu	[i8] [c83] [c81] [c67] [c64]
7	Piero A. Bonatti	[j45] [c36]
8	Maja Milicic Brandt (Maja Milicic-Brandt, Maja Milicic)	[j50] [c41] [c40] [c38] [c35] [c32]
9	Balder ten Cate	[i8]
10	Anthony G. Cohn	[j26]
11	Carlo Combi	[e6]
12	Enrico Franconi	[c19] [c13] [c9]
13	David Gabelaia	[i3] [j41] [j36] [j34] [c25]
14	Silvio Ghilardi	[c44] [c37]
15	Bernardo Cuenca Grau	[e5]
16	Jan Hladik	[j29] [c23]
17	Ian M. Hodkinson	[j31] [c21] [c17] [c16] [c10] [j18]
18	Vasant Honavar	[e5]
19	Ian Horrocks	[e3]
20	Ullrich Hustadt	[c39]
21	Yevgeny Kazakov	[e7]
22	Boris Konev	[j52] [c84] [c78] [c76] [c66] [c63] [c61] [p2] [c56] [c55] [c53] [e4] [j37] [c43] [c33]
23	Roman Kontchakov	[i7] [c78] [c76] [c71] [i3] [j49] [j47] [c65] [c62] [c60] [c57] [c54] [c52] [c51] [c47] [c45] [p1] [j37] [c43] [j36] [j30] [c25] [c21]
24	Marcus Kracht	[j14] [j8] [j1]
25	Ágnes Kurucz (Agi Kurucz)	[c75] [i3] [c70] [p1] [j41] [j36] [j34] [c34] [c25] [c21] [j22]
26	Oliver Kutz	[j32] [j28] [c27] [j24] [c18] [c12]
27	Ralf Küsters	[c28]
28	Domenico Lembo	[e7]
29	Martin Leucker	[e6]
30	Tadeusz Litak	[j33]
31	Hongkai Liu	[j50] [c41] [c40] [c38]
32	Michel Ludwig	[j52] [c84] [c78] [c76]
33	Carsten Lutz	[i8] [c83] [c82] [c81] [c80] [c79] [j50] [c74] [c73] [c72] [c71] [i6] [i5] [i4] [j46] [c69] [c68] [c67] [c66] [c65] [j45] [c64] [c62] [c59] [c58] [p2] [c55] [c53] [c50] [c49] [j43] [c48] [c46] [c45] [j40] [j39] [c44] [c41] [c40] [c38] [c37] [c36] [i2] [c35] [c32] [c29] [j32] [j30] [j29] [c27] [c26] [c23] [c22] [j25] [j21] [c15] [c14] [c11] [c8]
34	Milenko Mosurovic	[c13] [c9]
35	Robert Piro	[c73] [i5] [c69] [c68]
36	Denis Ponomaryov	[c66]
37	Ian Pratt-Hartmann (Ian E. Pratt)	[j47] [c57] [c51]
38	Luca Pulina	[c60]
39	Wolfgang Rautenberg	[j38]
40	Maarten de Rijke	[e1]
41	Vladislav Ryzhikov	[c54]
42	Ulrike Sattler (Uli Sattler)	[c60] [c35] [c32] [e3] [c14] [c11]
43	Anne Schlicht	[e5]
44	Thomas Schneider 0002	[c78] [c76] [c60]
45	Petra Selmer	[c60]
46	Inanç Seylan	[c82] [c80]
47	Mikhail Sheremet	[j48] [j42] [c42] [c31] [c30]
48	Holger Sturm	[i4] [j28] [j25] [j24] [j23] [j21] [j20] [c15] [c8] [c6] [c5]
49	Nobu-Yuki Suzuki	[j28] [e2] [j24] [c20] [c6]
50	Yasuhito Suzuki	[j12]
51	Dmitry Tishkovsky	[j42] [c42] [c39] [c31] [c30]
52	David Toman	[c71] [c65] [c62] [c59] [c50]
53	Dirk Walther 0002	[j52] [c63] [c61] [p2] [c56] [c55] [c53] [j43] [c46] [j39] [c29]
54	Heinrich Wansing	[e1]
55	Michael Wooldridge (Michael J. Wooldridge)	[j39]
56	Michael Zakharyaschev	[i7] [c78] [c76] [c75] [c71] [i3] [j49] [j48] [j47] [c70] [c65] [c62] [c60] [j44] [c57] [c54] [c52] [c51] [c49] [j42] [c47] [c45] [p1] [j41] [j38] [j37] [c44] [c43] [c42] [c39] [i1] [j36] [j35] [j34] [c34] [c33] [c31] [c30] [j32] [j31] [j30] [j28] [c27] [c26] [c25] [c24] [c22] [c21] [e2] [j27] [j26] [j24] [j22] [j21] [c20] [c19] [c18] [c17] [c16] [e1] [j19] [c15] [c13] [c12] [c10] [c9] [j18] [c7] [c6] [c5] [c4] [j15] [c3] [j12] [c2] [c1]

Frank Wolter

Coauthor Index