Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Frank Wolter
2010 – today
- 2013
[j53]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203: 66-103 (2013)- [c91]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Temporalising OWL 2 QL. Description Logics 2013: 17-28
- [c90]Boris Konev, Carsten Lutz, Frank Wolter: Exact Learning of TBoxes in EL and DL-Lite. Description Logics 2013: 341-352
- [c89]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Temporal Description Logic for Ontology-Based Data Access. IJCAI 2013
- [c88]Meghyn Bienvenu, Carsten Lutz, Frank Wolter: First-Order Rewritability of Atomic Queries in Horn Description Logics. IJCAI 2013
- [c87]Carsten Lutz, Inanç Seylan, Frank Wolter: Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). IJCAI 2013
- [c86]Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter: Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. PODS 2013: 213-224
- [c85]Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter: The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. International Semantic Web Conference (1) 2013: 314-330
- [e8]Leszek Gasieniec, Frank Wolter (Eds.): Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings. Lecture Notes in Computer Science 8070, Springer 2013, ISBN 978-3-642-40163-3
- [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]
- [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]
- [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
2000 – 2009
- 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]
- [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]
- [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]
- [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]
- [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]
- [j16]
- [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
1990 – 1999
- 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]
- 1998
- [j13]Frank Wolter: All finitely axiomatizable subframe logics containing the provability logic CSM 0_{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]
- [j6]
- [j5]Frank Wolter: A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic 37(2): 167-173 (1996)
- 1995
- [j4]
- 1994
- [j3]
- [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)
Coauthor Index
[j53] [c90] [c88] [c87] [c86] [c85] [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]
[c91] [c89] [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]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:28 CEST by the dblp team