Frank Wolter Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikhail 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)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Frank Wolter: Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. 45(2): 194-228 (2010)
2009
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics 2009
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009: 2070-2075
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI 2009: 830-835
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman 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
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Frank Wolter: Mathematical Logic for Life Science Ontologies. WoLLIC 2009: 37-47
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Formal Properties of Modularisation. Modular Ontologies 2009: 25-66
2008
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Vasant Honavar, Anne Schlicht, Frank Wolter: Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, Whistler, Canada, October 28, 2007 CEUR-WS.org 2008
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Dirk Walther, Frank Wolter: The Logical Difference Problem for Description Logic Terminologies. IJCAR 2008: 259-274
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Frank Wolter, Michael Zakharyaschev: Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in EL using a Database System. OWLED 2008
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporal Description Logics: A Survey. TIME 2008: 3-14
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. 9(4): (2008)
2007
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Frank Wolter: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings Springer 2007
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Frank Wolter: Conservative Extensions in the Lightweight Description Logic EL. CADE 2007: 84-99
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Dirk Walther, Frank Wolter: Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)
2006
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikhail 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: DL Actions with GCIs: a Pragmatic Approach. Description Logics 2006
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006: 266-279
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvio Ghilardi, Carsten Lutz, Frank Wolter: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. KR 2006: 400-410
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Frank Wolter: Modal Logics of Topological Relations CoRR abs/cs/0605064: (2006)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics CoRR abs/cs/0609052: (2006)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Frank Wolter: Modal Logics of Topological Relations. Logical Methods in Computer Science 2(2): (2006)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter: Willem Blok and Modal Logic. Studia Logica 83(1-3): 15-30 (2006)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)
2005
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Frank Wolter: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 CEUR-WS.org 2005
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Frank Wolter, Michael Zakharyaschev: Temporal Logics over Transitive States. CADE 2005: 182-203
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Dirk Walther, Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgi Kurucz, Frank Wolter, Michael Zakharyaschev: Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTadeusz Litak, Frank Wolter: All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Studia Logica 81(2): 153-165 (2005)
2004
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)
2003
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: 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
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters, Frank Wolter: Extensions to Description Logics. Description Logic Handbook 2003: 219-261
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Frank Wolter, Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Reasoning about distances. IJCAI 2003: 1275-1282
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)
2002
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev: 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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Editorial Preface. Advances in Modal Logic 2002
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Logic 118(1-2): 133-145 (2002)
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrandon 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. (JAIR) 16: 1-58 (2002)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Sturm, Frank Wolter: A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. 12(5): 809-838 (2002)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver 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)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁgnes Kurucz, Michael Zakharyaschev, Frank Wolter: Preface. Studia Logica 72(2): 145-146 (2002)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica 72(2): 199-232 (2002)
2001
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001: 1-23
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001)
2000
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106(1-3): 85-134 (2000)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: The product of converse PDL and polymodal K. J. Log. Comput. 10(2): 223-251 (2000)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: First Order Common Knowledge Logics. Studia Logica 65(2): 249-271 (2000)
1999
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999: 104-109
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundam. Inform. 39(4): 411-438 (1999)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus Kracht, Frank Wolter: Normal Monomodal Logics Can Simulate All Others. J. Symb. Log. 64(1): 99-138 (1999)
1998
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: Dynamic Description Logics. Advances in Modal Logic 1998: 431-446
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter, Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable. Arch. Math. Log. 37(3): 167-182 (1998)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYasuhito Suzuki, Frank Wolter, Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7(3): 317-339 (1998)
1997
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: The Structure of Lattices of Subframe Logics. Ann. Pure Appl. Logic 86(1): 47-100 (1997)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. J. Symb. Log. 62(1): 131-158 (1997)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58(2): 229-259 (1997)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus Kracht, Frank Wolter: Simulation and Transfer Results in Modal Logic - A Survey. Studia Logica 59(1): 149-177 (1997)
1996
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: Tense Logic Without Tense Operators. Math. Log. Q. 42: 145-171 (1996)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: Properties of Tense Logics. Math. Log. Q. 42: 481-500 (1996)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic 37(2): 167-173 (1996)
1995
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: The Finite Model Property in Tense Logic. J. Symb. Log. 60(3): 757-774 (1995)
1994
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: Solution to a Problem of Goranko and Passy. J. Log. Comput. 4(1): 21-22 (1994)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Wolter: What is the upper part of the lattice of bimodal logics? Studia Logica 53(2): 235-242 (1994)
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus Kracht, Frank Wolter: Properties of Independently Axiomatizable Bimodal Logics. J. Symb. Log. 56(4): 1469-1485 (1991)

Coauthor Index

1Alessandro Artale [28] [31] [45] [91]
2Franz Baader [26] [39] [48] [52] [57] [67] [70] [112]
3Philippe Balbiani [46] [58]
4Sebastian Bauer [42] [60]
5Brandon Bennett [40]
6Meghyn Bienvenu [112]
7Piero A. Bonatti [80]
8Anthony G. Cohn [40]
9Enrico Franconi [28] [31] [45]
10David Gabelaia [54] [63] [78]
11Silvio Ghilardi [81] [87]
12Bernardo Cuenca Grau [106]
13Jan Hladik [48] [52]
14Ian M. Hodkinson [21] [29] [42] [43] [50] [60]
15Vasant Honavar [106]
16Ian Horrocks [71]
17Ullrich Hustadt [82]
18Boris Konev [69] [72] [86] [95] [101] [102] [103] [107] [110] [113]
19Roman Kontchakov [50] [54] [59] [63] [72] [86] [90] [91] [93] [99] [100] [104] [105] [109] [114]
20Marcus Kracht [1] [8] [16]
21Ágnes Kurucz (Agi Kurucz) [36] [50] [54] [63] [64] [78] [90]
22Ralf Küsters [57]
23Oliver Kutz [33] [37] [44] [49] [56] [61]
24Tadeusz Litak [62]
25Hongkai Liu [79] [83] [84]
26Carsten Lutz [26] [30] [32] [34] [35] [39] [48] [51] [52] [55] [56] [59] [61] [65] [67] [70] [74] [75] [77] [79] [80] [81] [83] [84] [87] [89] [91] [92] [94] [97] [98] [102] [103] [107] [108] [111] [112] [114] [115]
27Maja Milicic [67] [70] [79] [83] [84]
28Milenko Mosurovic [28] [31]
29Ian Pratt-Hartmann (Ian E. Pratt) [99] [105]
30Luca Pulina [109]
31Wolfgang Rautenberg [73]
32Maarten de Rijke [47]
33Vladislav Ryzhikov [104]
34Ulrike Sattler [32] [34] [67] [70] [71] [109]
35Anne Schlicht [106]
36Thomas Schneider [109]
37Petra Selmer [109]
38Mikhail Sheremet [66] [68] [85] [88] [116]
39Holger Sturm [23] [24] [26] [30] [35] [37] [38] [39] [49]
40Nobu-Yuki Suzuki [23] [37] [46] [49] [58]
41Yasuhito Suzuki [12]
42Dmitry Tishkovsky [66] [68] [82] [85] [88]
43David Toman [98] [111] [114]
44Dirk Walther [65] [75] [89] [92] [101] [102] [103] [107] [110] [113]
45Heinrich Wansing [47]
46Michael Wooldridge (Michael J. Wooldridge) [75]
47Michael Zakharyaschev [12] [14] [15] [17] [18] [21] [22] [23] [24] [25] [27] [28] [29] [30] [31] [33] [35] [36] [37] [40] [41] [42] [43] [44] [45] [46] [47] [49] [50] [51] [53] [54] [55] [56] [58] [59] [60] [61] [63] [64] [66] [68] [69] [72] [73] [76] [78] [82] [85] [86] [87] [88] [90] [91] [93] [96] [97] [99] [100] [104] [105] [109] [114] [116]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)