|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
| 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 | 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 | Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov |
DL-Lite with Attributes and Sub-Roles (Extended Abstract). |
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 | 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 | 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 | 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 | 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 | 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 | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
Topology, connectedness, and modal logic. |
Advances in Modal Logic |
2008 |
DBLP 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 | 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 | 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 | 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 | 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 | 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 | 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 | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
On the Computational Complexity of Spatio-Temporal Logics. |
FLAIRS Conference |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")