| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
Exponential Lower Bounds and Separation for Query Rewriting  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
Topological Logics with Connectedness over Euclidean Spaces |
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 | Michael Zakharyaschev |
Logic in the Time of WWW: An OWL View. |
WoLLIC |
2011 |
DBLP DOI 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 | Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
On (In)Tractability of OBDA with OWL 2 QL. |
Description Logics |
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 | Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (eds.) |
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 |
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 | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. |
FroCos |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Zakharyaschev |
Query Inseparability and Module Extraction in OWL 2 QL. |
WoMO |
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 | 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 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Temporal Conceptual Modelling with DL-Lite. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Complexity of Reasoning over Temporal Data Models. |
ER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev |
Interpreting Topological Logics over Euclidean Spaces. |
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 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Past and Future of DL-Lite. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
The DL-Lite Family and Relations. |
J. Artif. Intell. Res. (JAIR) |
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 | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
DL-Lite without UNA. |
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 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Extending DL-Lite Sometime in the Future. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Sattler, Thomas Schneider 0002, Michael Zakharyaschev |
Which Kind of Module Should I Extract? |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
Adding Weight to DL-Lite. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. |
FroCos |
2009 |
DBLP DOI 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 | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporal Description Logics: A Survey. |
TIME |
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 | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Checking DL-Lite Modularity with QBF Solvers. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Michael Zakharyaschev |
DL-Lite and Role Inclusions. |
ASWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Can You Tell the Difference Between DL-Lite Ontologies?. |
KR |
2008 |
DBLP 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 | Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporalising Tractable Description Logics. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Modularity in DL-Lite. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Complexity of Reasoning in Entity Relationship Models. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
Query Answering in Expressive Variants of DL-Lite. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Zakharyaschev |
Temporalising Logics: Fifteen Years After. |
FroCos |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Reasoning over Extended ER Models. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
DL-Lite in the Light of First-Order Logic. |
AAAI |
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 | 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 | 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 | Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
Automated Reasoning About Metric and Topology. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 | Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev |
Undecidability of first-order intuitionistic and modal logics with two variables. |
Bulletin of Symbolic Logic |
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 | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
Comparative Similarity, Tree Automata, and Diophantine Equations. |
LPAR |
2005 |
DBLP DOI 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 | 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 | 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 | 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 | 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 | Frank Wolter, Michael Zakharyaschev |
Axiomatizing the monodic fragment of first-order temporal logic. |
Ann. Pure Appl. Logic |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ágnes Kurucz, Michael Zakharyaschev |
A Note on Relativised Products of Modal Logics. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
Editorial Preface. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
On Non-Local Propositional and Local One-Variable Quantified CTL*. (PDF / PS) |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev |
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
Connecting Abstract Description Systems. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Wolter, Michael Zakharyaschev |
Decidable Fragments of First-Order Modal Logics. |
J. Symb. Log. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mark Reynolds, Michael Zakharyaschev |
On the Products of Linear Modal Logics. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev |
Tableaux for Temporal Description Logic with Constant Domains. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
Monodic fragments of first-order temporal logics: 2000-2001 A.D. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev |
The DLRUS Temporal Description Logic. |
Description Logics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
A Note on Concepts and Distances. |
Description Logics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev |
Reasoning over Conceptual Schemas and Queries in Temporal Databases. |
SEBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
Decidable fragment of first-order temporal logics. |
Ann. Pure Appl. Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Zakharyaschev |
Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. |
Journal of Logic, Language and Information |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing (eds.) |
Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998 |
Advances in Modal Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Frank Wolter, Michael Zakharyaschev |
Spatial Reasoning in RCC-8 with Boolean Region Terms. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
Semi-qualitative Reasoning about Distances: A Preliminary Report. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Sturm, Frank Wolter, Michael Zakharyaschev |
Monodic Epistemic Predicate Logic. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")