Frank Wolter

2007
93		Boris Konev, Frank Wolter: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings Springer 2007
92	EE	Carsten Lutz, Frank Wolter: Conservative Extensions in the Lightweight Description Logic EL. CADE 2007: 84-99
91	EE	Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007
90	EE	Carsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458
89	EE	Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
88	EE	Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007)
87	EE	Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)
2006
86	EE	Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207
85	EE	Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318
84	EE	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
83	EE	Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: DL Actions with GCIs: a Pragmatic Approach. Description Logics 2006
82	EE	Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006: 266-279
81	EE	Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493
80		Silvio Ghilardi, Carsten Lutz, Frank Wolter: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197
79		Piero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. KR 2006: 400-410
78		Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56
77	EE	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)
76	EE	Carsten Lutz, Frank Wolter: Modal Logics of Topological Relations CoRR abs/cs/0605064: (2006)
75	EE	Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics CoRR abs/cs/0609052: (2006)
74	EE	Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006)
73	EE	Carsten Lutz, Frank Wolter: Modal Logics of Topological Relations. Logical Methods in Computer Science 2(2): (2006)
72	EE	Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter: Willem Blok and Modal Logic. Studia Logica 83(1-3): 15-30 (2006)
71	EE	Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)
2005
70		Ian 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
69		Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
68	EE	Boris Konev, Frank Wolter, Michael Zakharyaschev: Temporal Logics over Transitive States. CADE 2005: 182-203
67	EE	Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005
66	EE	Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
65	EE	Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665
64	EE	Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146
63		Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108
62	EE	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)
61	EE	Tadeusz Litak, Frank Wolter: All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Studia Logica 81(2): 153-165 (2005)
2004
60	EE	Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
59	EE	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)
58	EE	Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)
2003
57		Philippe 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
56		Franz Baader, Ralf Küsters, Frank Wolter: Extensions to Description Logics. Description Logic Handbook 2003: 219-261
55	EE	Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
54	EE	Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003
53		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464
52		Frank Wolter, Michael Zakharyaschev: Reasoning about distances. IJCAI 2003: 1275-1282
51	EE	Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32
50	EE	Carsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149
49	EE	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
48	EE	Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003)
47	EE	Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)
2002
46		Frank 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
45		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Editorial Preface. Advances in Modal Logic 2002
44	EE	Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110
43		Oliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226
42	EE	Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402
41	EE	Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9
40		Frank Wolter, Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Logic 118(1-2): 133-145 (2002)
39		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)
38	EE	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)
37	EE	Holger Sturm, Frank Wolter: A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. 12(5): 809-838 (2002)
36		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)
35		Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter: Preface. Studia Logica 72(2): 145-146 (2002)
34		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)
2001
33	EE	Carsten Lutz, Ulrike Sattler, Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261
32	EE	Oliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001
31	EE	Carsten Lutz, Ulrike Sattler, Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001
30	EE	Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001
29	EE	Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
28	EE	Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001: 1-23
27		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214
26		Frank Wolter, Michael Zakharyaschev: Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001)
2000
25	EE	Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30
24		Frank Wolter, Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250
23	EE	Holger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344
22	EE	Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56
21		Frank Wolter, Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14
20		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106(1-3): 85-134 (2000)
19		Frank Wolter: The product of converse PDL and polymodal K. J. Log. Comput. 10(2): 223-251 (2000)
18		Frank Wolter: First Order Common Knowledge Logics. Studia Logica 65(2): 249-271 (2000)
1999
17		Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999: 104-109
16		Frank Wolter, Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundam. Inform. 39(4): 411-438 (1999)
15		Marcus Kracht, Frank Wolter: Normal Monomodal Logics Can Simulate All Others. J. Symb. Log. 64(1): 99-138 (1999)
1998
14		Frank Wolter, Michael Zakharyaschev: Dynamic Description Logics. Advances in Modal Logic 1998: 431-446
13		Frank Wolter, Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523
12		Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7(3): 317-339 (1998)
1997
11		Frank Wolter: The Structure of Lattices of Subframe Logics. Ann. Pure Appl. Logic 86(1): 47-100 (1997)
10		Frank Wolter: Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. J. Symb. Log. 62(1): 131-158 (1997)
9		Frank Wolter: Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58(2): 229-259 (1997)
8		Marcus Kracht, Frank Wolter: Simulation and Transfer Results in Modal Logic - A Survey. Studia Logica 59(1): 149-177 (1997)
1996
7		Frank Wolter: Tense Logic Without Tense Operators. Math. Log. Q. 42: 145-171 (1996)
6		Frank Wolter: Properties of Tense Logics. Math. Log. Q. 42: 481-500 (1996)
5		Frank Wolter: A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic 37(2): 167-173 (1996)
1995
4		Frank Wolter: The Finite Model Property in Tense Logic. J. Symb. Log. 60(3): 757-774 (1995)
1994
3		Frank Wolter: Solution to a Problem of Goranko and Passy. J. Log. Comput. 4(1): 21-22 (1994)
2		Frank Wolter: What is the upper part of the lattice of bimodal logics? Studia Logica 53(2): 235-242 (1994)
1991
1		Marcus Kracht, Frank Wolter: Properties of Independently Axiomatizable Bimodal Logics. J. Symb. Log. 56(4): 1469-1485 (1991)

Coauthor Index

1	Alessandro Artale	[27] [30] [44] [89]
2	Franz Baader	[25] [38] [47] [51] [56] [66] [69]
3	Philippe Balbiani	[45] [57]
4	Sebastian Bauer	[41] [59]
5	Brandon Bennett	[39]
6	Piero A. Bonatti	[79]
7	Anthony G. Cohn	[39]
8	Enrico Franconi	[27] [30] [44]
9	David Gabelaia	[53] [62] [77]
10	Silvio Ghilardi	[80] [86]
11	Jan Hladik	[47] [51]
12	Ian M. Hodkinson	[20] [28] [41] [42] [49] [59]
13	Ian Horrocks	[70]
14	Ullrich Hustadt	[81]
15	Boris Konev	[68] [71] [85] [93]
16	Roman Kontchakov	[49] [53] [58] [62] [71] [85] [89] [91]
17	Marcus Kracht	[1] [8] [15]
18	Ágnes Kurucz (Agi Kurucz)	[35] [49] [53] [62] [63] [77]
19	Ralf Küsters	[56]
20	Oliver Kutz	[32] [36] [43] [48] [55] [60]
21	Tadeusz Litak	[61]
22	Hongkai Liu	[78] [82] [83]
23	Carsten Lutz	[25] [29] [31] [33] [34] [38] [47] [50] [51] [54] [55] [58] [60] [64] [66] [69] [73] [74] [76] [78] [79] [80] [82] [83] [86] [88] [89] [90] [92]
24	Maja Milicic	[66] [69] [78] [82] [83]
25	Milenko Mosurovic	[27] [30]
26	Wolfgang Rautenberg	[72]
27	Maarten de Rijke	[46]
28	Ulrike Sattler	[31] [33] [66] [69] [70]
29	Mikhail Sheremet	[65] [67] [84] [87]
30	Holger Sturm	[22] [23] [25] [29] [34] [36] [37] [38] [48]
31	Nobu-Yuki Suzuki	[22] [36] [45] [48] [57]
32	Yasuhito Suzuki	[12]
33	Dmitry Tishkovsky	[65] [67] [81] [84] [87]
34	Dirk Walther	[64] [74] [88] [90]
35	Heinrich Wansing	[46]
36	Michael Wooldridge	[74]
37	Michael Zakharyaschev	[12] [13] [14] [16] [17] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [32] [34] [35] [36] [39] [40] [41] [42] [43] [44] [45] [46] [48] [49] [50] [52] [53] [54] [55] [57] [58] [59] [60] [62] [63] [65] [67] [68] [71] [72] [75] [77] [81] [84] [85] [86] [87] [89] [91]

Colors in the list of coauthors