| 2008 |
|---|
| 106 | | Bernardo 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 |
| 105 | EE | Roman Kontchakov,
Ian Pratt-Hartmann,
Frank Wolter,
Michael Zakharyaschev:
Topology, connectedness, and modal logic.
Advances in Modal Logic 2008: 151-176 |
| 104 | EE | Roman Kontchakov,
V. Ryzhikov,
Frank Wolter,
Michael Zakharyaschev:
Checking DL-Lite Modularity with QBF Solvers.
Description Logics 2008 |
| 103 | EE | Boris Konev,
Carsten Lutz,
Dirk Walther,
Frank Wolter:
Logical Difference and Module Extraction with CEX and MEX.
Description Logics 2008 |
| 102 | EE | Boris Konev,
Carsten Lutz,
Dirk Walther,
Frank Wolter:
Semantic Modularity and Module Extraction in Description Logics.
ECAI 2008: 55-59 |
| 101 | EE | Boris Konev,
Dirk Walther,
Frank Wolter:
The Logical Difference Problem for Description Logic Terminologies.
IJCAR 2008: 259-274 |
| 100 | | Roman Kontchakov,
Frank Wolter,
Michael Zakharyaschev:
Can You Tell the Difference Between DL-Lite Ontologies?.
KR 2008: 285-295 |
| 99 | EE | Roman Kontchakov,
Ian Pratt-Hartmann,
Frank Wolter,
Michael Zakharyaschev:
On the Computational Complexity of Spatial Logics with Connectedness Constraints.
LPAR 2008: 574-589 |
| 98 | EE | Carsten Lutz,
David Toman,
Frank Wolter:
Conjunctive Query Answering in EL using a Database System.
OWLED 2008 |
| 97 | EE | Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Temporal Description Logics: A Survey.
TIME 2008: 3-14 |
| 96 | EE | Frank Wolter,
Michael Zakharyaschev:
Undecidability of the unification and admissibility problems for modal and description logics.
ACM Trans. Comput. Log. 9(4): (2008) |
| 2007 |
|---|
| 95 | | Boris Konev,
Frank Wolter:
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings
Springer 2007 |
| 94 | EE | Carsten Lutz,
Frank Wolter:
Conservative Extensions in the Lightweight Description Logic EL.
CADE 2007: 84-99 |
| 93 | EE | Roman Kontchakov,
Frank Wolter,
Michael Zakharyaschev:
Modularity in DL-Lite.
Description Logics 2007 |
| 92 | EE | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Conservative Extensions in Expressive Description Logics.
IJCAI 2007: 453-458 |
| 91 | EE | Alessandro Artale,
Roman Kontchakov,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Temporalising Tractable Description Logics.
TIME 2007: 11-22 |
| 90 | EE | Roman Kontchakov,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Spatial Logic + Temporal Logic = ?.
Handbook of Spatial Logics 2007: 497-564 |
| 89 | EE | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Quantitative temporal logics over the reals: PSpace and below.
Inf. Comput. 205(1): 99-123 (2007) |
| 88 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
A Logic for Concepts and Similarity.
J. Log. Comput. 17(3): 415-452 (2007) |
| 2006 |
|---|
| 87 | EE | Silvio Ghilardi,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Conservative extensions in modal logic.
Advances in Modal Logic 2006: 187-207 |
| 86 | EE | Boris Konev,
Roman Kontchakov,
Frank Wolter,
Michael Zakharyaschev:
Dynamic topological logics over spaces with continuous functions.
Advances in Modal Logic 2006: 299-318 |
| 85 | 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 |
| 84 | EE | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
DL Actions with GCIs: a Pragmatic Approach.
Description Logics 2006 |
| 83 | EE | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
Reasoning About Actions Using Description Logics with General TBoxes.
JELIA 2006: 266-279 |
| 82 | EE | Ullrich Hustadt,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
Automated Reasoning About Metric and Topology.
JELIA 2006: 490-493 |
| 81 | | Silvio Ghilardi,
Carsten Lutz,
Frank Wolter:
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.
KR 2006: 187-197 |
| 80 | | Piero A. Bonatti,
Carsten Lutz,
Frank Wolter:
Description Logics with Circumscription.
KR 2006: 400-410 |
| 79 | | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
Updating Description Logic ABoxes.
KR 2006: 46-56 |
| 78 | 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) |
| 77 | EE | Carsten Lutz,
Frank Wolter:
Modal Logics of Topological Relations
CoRR abs/cs/0605064: (2006) |
| 76 | EE | Frank Wolter,
Michael Zakharyaschev:
Undecidability of the unification and admissibility problems for modal and description logics
CoRR abs/cs/0609052: (2006) |
| 75 | EE | Dirk Walther,
Carsten Lutz,
Frank Wolter,
Michael Wooldridge:
ATL Satisfiability is Indeed EXPTIME-complete.
J. Log. Comput. 16(6): 765-787 (2006) |
| 74 | EE | Carsten Lutz,
Frank Wolter:
Modal Logics of Topological Relations.
Logical Methods in Computer Science 2(2): (2006) |
| 73 | EE | Wolfgang Rautenberg,
Michael Zakharyaschev,
Frank Wolter:
Willem Blok and Modal Logic.
Studia Logica 83(1-3): 15-30 (2006) |
| 72 | EE | Boris Konev,
Roman Kontchakov,
Frank Wolter,
Michael Zakharyaschev:
On Dynamic Topological and Metric Logics.
Studia Logica 84(1): 129-160 (2006) |
| 2005 |
|---|
| 71 | | 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 |
| 70 | | Franz Baader,
Carsten Lutz,
Maja Milicic,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
AAAI 2005: 572-577 |
| 69 | EE | Boris Konev,
Frank Wolter,
Michael Zakharyaschev:
Temporal Logics over Transitive States.
CADE 2005: 182-203 |
| 68 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
'Closer' representation and reasoning.
Description Logics 2005 |
| 67 | EE | Franz Baader,
Maja Milicic,
Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
Description Logics 2005 |
| 66 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
Comparative Similarity, Tree Automata, and Diophantine Equations.
LPAR 2005: 651-665 |
| 65 | EE | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Quantitative Temporal Logics: PSPACE and Below.
TIME 2005: 138-146 |
| 64 | | Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Modal Logics for Metric Spaces: Open Problems.
We Will Show Them! (2) 2005: 193-108 |
| 63 | 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) |
| 62 | 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 |
|---|
| 61 | EE | Oliver Kutz,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
E-connections of abstract description systems.
Artif. Intell. 156(1): 1-73 (2004) |
| 60 | 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) |
| 59 | EE | Roman Kontchakov,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Temporalising Tableaux.
Studia Logica 76(1): 91-134 (2004) |
| 2003 |
|---|
| 58 | | 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 |
| 57 | | Franz Baader,
Ralf Küsters,
Frank Wolter:
Extensions to Description Logics.
Description Logic Handbook 2003: 219-261 |
| 56 | EE | Oliver Kutz,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
E-connections of Description Logics.
Description Logics 2003 |
| 55 | EE | Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Resasoning about Concepts and Similarity.
Description Logics 2003 |
| 54 | | David Gabelaia,
Roman Kontchakov,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
On the Computational Complexity of Spatio-Temporal Logics.
FLAIRS Conference 2003: 460-464 |
| 53 | | Frank Wolter,
Michael Zakharyaschev:
Reasoning about distances.
IJCAI 2003: 1275-1282 |
| 52 | EE | Franz Baader,
Jan Hladik,
Carsten Lutz,
Frank Wolter:
From Tableaux to Automata for Description Logics.
LPAR 2003: 1-32 |
| 51 | EE | Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
A Tableau Algorithm for Reasoning about Concepts and Similarity.
TABLEAUX 2003: 134-149 |
| 50 | 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 |
| 49 | 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) |
| 48 | 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 |
|---|
| 47 | | 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 |
| 46 | | Philippe Balbiani,
Nobu-Yuki Suzuki,
Frank Wolter,
Michael Zakharyaschev:
Editorial Preface.
Advances in Modal Logic 2002 |
| 45 | EE | Alessandro Artale,
Enrico Franconi,
Frank Wolter,
Michael Zakharyaschev:
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.
JELIA 2002: 98-110 |
| 44 | | Oliver Kutz,
Frank Wolter,
Michael Zakharyaschev:
Connecting Abstract Description Systems.
KR 2002: 215-226 |
| 43 | EE | Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.
LICS 2002: 393-402 |
| 42 | EE | Sebastian Bauer,
Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
On Non-Local Propositional and Local One-Variable Quantified CTL*.
TIME 2002: 2-9 |
| 41 | | Frank Wolter,
Michael Zakharyaschev:
Axiomatizing the monodic fragment of first-order temporal logic.
Ann. Pure Appl. Logic 118(1-2): 133-145 (2002) |
| 40 | | 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) |
| 39 | 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) |
| 38 | EE | Holger Sturm,
Frank Wolter:
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case.
J. Log. Comput. 12(5): 809-838 (2002) |
| 37 | | 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) |
| 36 | | Ágnes Kurucz,
Michael Zakharyaschev,
Frank Wolter:
Preface.
Studia Logica 72(2): 145-146 (2002) |
| 35 | | 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 |
|---|
| 34 | EE | Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Modal Logic and the Two-Variable Fragment.
CSL 2001: 247-261 |
| 33 | EE | Oliver Kutz,
Frank Wolter,
Michael Zakharyaschev:
A Note on Concepts and Distances.
Description Logics 2001 |
| 32 | EE | Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Description Logics and the Two-Variable Fragment.
Description Logics 2001 |
| 31 | EE | Alessandro Artale,
Enrico Franconi,
Milenko Mosurovic,
Frank Wolter,
Michael Zakharyaschev:
The DLRUS Temporal Description Logic.
Description Logics 2001 |
| 30 | EE | Carsten Lutz,
Holger Sturm,
Frank Wolter,
Michael Zakharyaschev:
Tableaux for Temporal Description Logic with Constant Domains.
IJCAR 2001: 121-136 |
| 29 | EE | Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
Monodic fragments of first-order temporal logics: 2000-2001 A.D.
LPAR 2001: 1-23 |
| 28 | | Alessandro Artale,
Enrico Franconi,
Milenko Mosurovic,
Frank Wolter,
Michael Zakharyaschev:
Reasoning over Conceptual Schemas and Queries in Temporal Databases.
SEBD 2001: 201-214 |
| 27 | | Frank Wolter,
Michael Zakharyaschev:
Decidable Fragments of First-Order Modal Logics.
J. Symb. Log. 66(3): 1415-1438 (2001) |
| 2000 |
|---|
| 26 | EE | Franz Baader,
Carsten Lutz,
Holger Sturm,
Frank Wolter:
Fusions of Description Logics.
Description Logics 2000: 21-30 |
| 25 | | Frank Wolter,
Michael Zakharyaschev:
Spatial Reasoning in RCC-8 with Boolean Region Terms.
ECAI 2000: 244-250 |
| 24 | EE | Holger Sturm,
Frank Wolter,
Michael Zakharyaschev:
Monodic Epistemic Predicate Logic.
JELIA 2000: 329-344 |
| 23 | EE | Holger Sturm,
Nobu-Yuki Suzuki,
Frank Wolter,
Michael Zakharyaschev:
Semi-qualitative Reasoning about Distances: A Preliminary Report.
JELIA 2000: 37-56 |
| 22 | | Frank Wolter,
Michael Zakharyaschev:
Spatio-temporal representation and reasoning based on RCC-8.
KR 2000: 3-14 |
| 21 | | Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
Decidable fragment of first-order temporal logics.
Ann. Pure Appl. Logic 106(1-3): 85-134 (2000) |
| 20 | | Frank Wolter:
The product of converse PDL and polymodal K.
J. Log. Comput. 10(2): 223-251 (2000) |
| 19 | | Frank Wolter:
First Order Common Knowledge Logics.
Studia Logica 65(2): 249-271 (2000) |
| 1999 |
|---|
| 18 | | Frank Wolter,
Michael Zakharyaschev:
Multi-Dimensional Description Logics.
IJCAI 1999: 104-109 |
| 17 | | Frank Wolter,
Michael Zakharyaschev:
Modal Description Logics: Modalizing Roles.
Fundam. Inform. 39(4): 411-438 (1999) |
| 16 | | Marcus Kracht,
Frank Wolter:
Normal Monomodal Logics Can Simulate All Others.
J. Symb. Log. 64(1): 99-138 (1999) |
| 1998 |
|---|
| 15 | | Frank Wolter,
Michael Zakharyaschev:
Dynamic Description Logics.
Advances in Modal Logic 1998: 431-446 |
| 14 | | Frank Wolter,
Michael Zakharyaschev:
On the Decidability of Description Logics with Modal Operators.
KR 1998: 512-523 |
| 13 | EE | Frank Wolter:
All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable.
Arch. Math. Log. 37(3): 167-182 (1998) |
| 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) |
