Michael Zakharyaschev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
79
Venues
20
Active years
1987–2025
Best venue rank
A*
Where they publish
Papers
79 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICDT | On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators. | Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2025 | LICS | Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. | Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev |
| 2025 | TIME | Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk). | Michael Zakharyaschev |
| 2024 | AiML | The Interpolant Existence Problem for Weak K4 and Difference Logic. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2024 | IJCAI | Extremal Separation Problems for Temporal Instance Queries. | Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2024 | KR | Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. | Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2023 | IJCAI | Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2023 | KR | Definitions and (Uniform) Interpolants in First-Order Modal Logic. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2022 | IJCAI | On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2022 | KR | Unique Characterisability and Learnability of Temporal Instance Queries. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2021 | PODS | Deciding Boundedness of Monadic Sirups. | Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2021 | TIME | Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. | Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev |
| 2020 | KR | A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. | Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2020 | KR | Boolean Role Inclusions in DL-Lite With and Without Time. | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2019 | IJCAI | Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. | Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev |
| 2019 | LICS | Model Comparison Games for Horn Description Logics. | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
| 2019 | TIME | Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. | Sebastian Brandt, Diego Calvanese, Elem Gzel Kalayci, Roman Kontchakov, Benjamin Mrzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |
| 2018 | AiML | On Strictly Positive Modal Logics with S4.3 Frames. | Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2018 | IJCAI | Ontology-Based Data Access: A Survey. | Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev |
| 2017 | AAAI | Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. | Sebastian Brandt, Elem Gzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |
| 2017 | ADBIS | A Framework for Temporal Ontology-Based Data Access: A Proposal. | Sebastian Brandt, Elem Gzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |
| 2017 | PODS | The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. | Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2017 | TIME | Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2016 | IJCAI | Query-Based Entailment and Inseparability for ALC Ontologies. | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2016 | IJCAI | Conservative Rewritability of Description Logic TBoxes. | Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2016 | IJCAI | Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. | Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2015 | AAAI | Tractable Interval Temporal Propositional and Description Logics. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2015 | IJCAI | First-Order Rewritability of Temporal Ontology-Mediated Queries. | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2015 | IJCAI | When Are Description Logic Knowledge Bases Indistinguishable? | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2014 | CSL | On the succinctness of query rewriting over shallow ontologies. | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2014 | KR | Query Inseparability for Description Logic Knowledge Bases. | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2013 | IJCAI | Temporal Description Logic for Ontology-Based Data Access. | Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2013 | LPAR | The Complexity of Clausal Fragments of LTL. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2012 | ICALP | Exponential Lower Bounds and Separation for Query Rewriting. | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2012 | KR | Conjunctive Query Answering with OWL 2 QL. | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
| 2011 | AAAI | Conjunctive Query Inseparability of OWL 2 QL TBoxes. | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev |
| 2011 | IJCAI | The Combined Approach to Ontology-Based Data Access. | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| 2011 | IJCAI | On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. | Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
| 2011 | WoLLIC | Logic in the Time of WWW: An OWL View. | Michael Zakharyaschev |
| 2010 | AAAI | Past and Future of DL-Lite. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2010 | AiML | Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2010 | ER | Complexity of Reasoning over Temporal Data Models. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2010 | KR | The Combined Approach to Query Answering in DL-Lite. | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| 2010 | KR | Interpreting Topological Logics over Euclidean Spaces. | Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev |
| 2009 | IJCAI | Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
| 2008 | AiML | Topology, connectedness, and modal logic. | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
| 2008 | KR | Can You Tell the Difference Between DL-Lite Ontologies?. | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2008 | LPAR | On the Computational Complexity of Spatial Logics with Connectedness Constraints. | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
| 2008 | TIME | Temporal Description Logics: A Survey. | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2007 | AAAI | DL-Lite in the Light of First-Order Logic. | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
| 2007 | ER | Reasoning over Extended ER Models. | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2007 | TIME | Temporalising Tractable Description Logics. | Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2006 | AiML | Conservative extensions in modal logic. | Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2006 | AiML | Dynamic topological logics over spaces with continuous functions. | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2006 | AiML | From topology to metric: modal logic and quantification in metric spaces. | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2006 | JELIA | Automated Reasoning About Metric and Topology. | Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2005 | CADE | Temporal Logics over Transitive States. | Boris Konev, Frank Wolter, Michael Zakharyaschev |
| 2005 | LPAR | Comparative Similarity, Tree Automata, and Diophantine Equations. | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2003 | FlAIRS | On the Computational Complexity of Spatio-Temporal Logics. | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2003 | IJCAI | Reasoning about distances. | Frank Wolter, Michael Zakharyaschev |
| 2003 | TABLEAUX | A Tableau Algorithm for Reasoning about Concepts and Similarity. | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2003 | TIME | On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. | Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2002 | AiML | Editorial Preface. | Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2002 | AiML | A Note on Relativised Products of Modal Logics. | gnes Kurucz, Michael Zakharyaschev |
| 2002 | JELIA | A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. | Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev |
| 2002 | KR | Connecting Abstract Description Systems. | Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
| 2002 | LICS | Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2002 | TIME | On Non-Local Propositional and Local One-Variable Quantified CTL*. | Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2001 | CADE | Tableaux for Temporal Description Logic with Constant Domains. | Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev |
| 2001 | LPAR | Monodic fragments of first-order temporal logics: 2000-2001 A.D. | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2000 | ECAI | Spatial Reasoning in RCC-8 with Boolean Region Terms. | Frank Wolter, Michael Zakharyaschev |
| 2000 | JELIA | Semi-qualitative Reasoning about Distances: A Preliminary Report. | Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2000 | JELIA | Monodic Epistemic Predicate Logic. | Holger Sturm, Frank Wolter, Michael Zakharyaschev |
| 2000 | KR | Spatio-temporal representation and reasoning based on RCC-8. | Frank Wolter, Michael Zakharyaschev |
| 1999 | IJCAI | Multi-Dimensional Description Logics. | Frank Wolter, Michael Zakharyaschev |
| 1998 | AiML | Dynamic Description Logics. | Frank Wolter, Michael Zakharyaschev |
| 1998 | AiML | The Origins of Modern Modal Logic. | Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing |
| 1998 | KR | On the Decidability of Description Logics with Modal Operators. | Frank Wolter, Michael Zakharyaschev |
| 1987 | FCT | Theorem Proving in Intermediate and Modal Logics. | Michael Zakharyaschev |