| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter |
Fusions of Description Logics and Abstract Description Systems  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Robert Piro, Frank Wolter |
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Foundations of instance level updates in expressive description logics. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Combi, Martin Leucker, Frank Wolter (eds.) |
Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011 |
TIME |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Robert Piro, Frank Wolter |
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
The Combined Approach to Ontology-Based Data Access. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev |
Module Extraction via Query Inseparability in OWL 2 QL. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Non-Uniform Data Complexity of Query Answering in Description Logics. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
On P/NP Dichotomies for EL Subsumption under Relational Constraints. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Frank Wolter |
Ontology-Based Data Access and Constraint Satisfaction. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev |
Conjunctive Query Inseparability of OWL 2 QL TBoxes. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Deciding inseparability and conservative extensions in the description logic EL. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev |
A modal logic framework for reasoning about comparative distances and topology. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
Spatial logics with connectedness predicates |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Logic-based ontology comparison and module extraction, with an application to DL-Lite. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Robert Piro, Frank Wolter |
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Robert Piro, Frank Wolter |
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query and Predicate Emptiness in Description Logics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter |
Decomposing Description Logic Ontologies. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
The Combined Approach to Query Answering in DL-Lite. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
The Complexity of Circumscription in DLs. |
J. Artif. Intell. Res. (JAIR) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Formal Properties of Modularisation. |
Modular Ontologies |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Mathematical Logic for Life Science Ontologies. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider 0002, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Dirk Walther 0002, Frank Wolter |
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, David Toman, Frank Wolter |
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query Answering over DL ABoxes: How to Pick the Relevant Symbols. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Dirk Walther 0002, Frank Wolter |
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Frank Wolter, Michael Zakharyaschev |
Undecidability of the unification and admissibility problems for modal and description logics. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
admissible rule, description logic, decidability, Unification, hybrid logic |
| 1 | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
Topology, connectedness, and modal logic. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Dirk Walther, Frank Wolter |
The Logical Difference Problem for Description Logic Terminologies. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporal Description Logics: A Survey. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Semantic Modularity and Module Extraction in Description Logics. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
On the Computational Complexity of Spatial Logics with Connectedness Constraints. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
WoMO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Checking DL-Lite Modularity with QBF Solvers. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Logical Difference and Module Extraction with CEX and MEX. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, David Toman, Frank Wolter |
Conjunctive Query Answering in EL using a Database System. |
OWLED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Can You Tell the Difference Between DL-Lite Ontologies?. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Quantitative temporal logics over the reals: PSpace and below. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
A Logic for Concepts and Similarity. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
Spatial Logic + Temporal Logic = ?. |
Handbook of Spatial Logics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Conservative Extensions in the Lightweight Description Logic EL. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporalising Tractable Description Logics. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Conservative Extensions in Expressive Description Logics. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Modularity in DL-Lite. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Frank Wolter (eds.) |
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings |
FroCoS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
On Dynamic Topological and Metric Logics. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
topological logic, temporal logic, topology, modal logic, dynamical system, decidability, metric space |
| 1 | Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter |
Willem Blok and Modal Logic. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
superintuitionistic logics, modal logics, splittings, modal algebras |
| 1 | Carsten Lutz, Frank Wolter |
Modal Logics of Topological Relations. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Walther 0002, Carsten Lutz, Frank Wolter, Michael Wooldridge |
ATL Satisfiability is Indeed EXPTIME-complete. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
Non-primitive recursive decidability of products of modal logics with expanding domains. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Modal Logics of Topological Relations |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Wolter, Michael Zakharyaschev |
Undecidability of the unification and admissibility problems for modal and description logics |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Dynamic topological logics over spaces with continuous functions. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Conservative extensions in modal logic. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
From topology to metric: modal logic and quantification in metric spaces. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
DL Actions with GCIs: a Pragmatic Approach. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
Automated Reasoning About Metric and Topology. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Reasoning About Actions Using Description Logics with General TBoxes. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
Description Logics with Circumscription. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Updating Description Logic ABoxes. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Silvio Ghilardi, Carsten Lutz, Frank Wolter |
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tadeusz Litak, Frank Wolter |
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic |
| 1 | David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
Products of 'transitive' modal logics. |
J. Symb. Log. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Frank Wolter, Michael Zakharyaschev |
A logic for metric and topology. |
J. Symb. Log. |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev |
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Frank Wolter, Michael Zakharyaschev |
Temporal Logics over Transitive States. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Quantitative Temporal Logics: PSPACE and Below. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
Comparative Similarity, Tree Automata, and Diophantine Equations. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Ulrike Sattler, Frank Wolter (eds.) |
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
'Closer' representation and reasoning. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
Modal Logics for Metric Spaces: Open Problems. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporalising Tableaux. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
monodic fragment, tableau algorithm, first-order temporal logic |
| 1 | Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
On Non-local Propositional and Weak Monodic Quantified CTL. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
E-connections of abstract description systems. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
From Tableaux to Automata for Description Logics. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev |
Logics of metric spaces. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
expressive completeness, Decidability, spatial reasoning, metric spaces |
| 1 | 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 |
Advances in Modal Logic |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Wolter, Michael Zakharyaschev |
Reasoning about distances. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
From Tableaux to Automata for Description Logics. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
E-connections of Description Logics. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Resasoning about Concepts and Similarity. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters, Frank Wolter |
Extensions to Description Logics. |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
A Tableau Algorithm for Reasoning about Concepts and Similarity. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
On the Computational Complexity of Spatio-Temporal Logics. |
FLAIRS Conference |
2003 |
DBLP BibTeX RDF |
|
| 1 | Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
Axiomatizing Distance Logics. |
Journal of Applied Non-Classical Logics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev |
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. |
Appl. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev |
A Tableau Decision Algorithm for Modalized ALC with Constant Domains. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter |
Preface. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Sturm, Frank Wolter |
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Wolter, Michael Zakharyaschev |
Axiomatizing the monodic fragment of first-order temporal logic. |
Ann. Pure Appl. Logic |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")