Michael Zakharyaschev
Orcid: 0000-0002-2210-5183Affiliations:
- Birkbeck, University of London, UK
According to our database1,
Michael Zakharyaschev
authored at least 209 papers
between 1987 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2025
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version).
CoRR, January, 2025
2024
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations.
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
The Interpolant Existence Problem for Weak K4 and Difference Logic.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
2023
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.
J. Artif. Intell. Res., 2023
CoRR, 2023
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries.
CoRR, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
2022
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
J. Artif. Intell. Res., 2022
Artif. Intell., 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
2021
Artif. Intell., 2021
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
2019
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.
J. Symb. Log., 2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version).
CoRR, 2019
Int. J. Appl. Math. Comput. Sci., 2019
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2018
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.
J. ACM, 2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
Proceedings of the Advances in Modal Logic 12, 2018
2017
ACM Trans. Comput. Log., 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the Semantic Web - ISWC 2017, 2017
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017
More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom.
Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the New Trends in Databases and Information Systems, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
CoRR, 2016
CoRR, 2016
Artif. Intell., 2016
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
ACM Trans. Comput. Log., 2014
CoRR, 2014
Artif. Intell., 2014
Proceedings of the Semantic Web - ISWC 2014, 2014
Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
ACM Trans. Comput. Log., 2013
J. Artif. Intell. Res., 2013
CoRR, 2013
Proceedings of the Semantic Web - ISWC 2013, 2013
Proceedings of the Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30, 2013
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
2011
Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011
Proceedings of the Logic, Language, Information and Computation, 2011
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Ann. Pure Appl. Log., 2010
Logic-based ontology comparison and module extraction, with an application to DL-Lite.
Artif. Intell., 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Conceptual Modeling, 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.
Proceedings of the Advances in Modal Logic 8, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2008
Undecidability of the unification and admissibility problems for modal and description logics.
ACM Trans. Comput. Log., 2008
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008
Proceedings of the Advances in Modal Logic 7, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007
Query Answering in Expressive Variants of DL-Lite.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Non-primitive recursive decidability of products of modal logics with expanding domains.
Ann. Pure Appl. Log., 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Proceedings of the Advances in Modal Logic 6, 2006
Proceedings of the Advances in Modal Logic 6, 2006
Proceedings of the Advances in Modal Logic 6, 2006
2005
J. Artif. Intell. Res., 2005
Bull. Symb. Log., 2005
Proceedings of the Logic for Programming, 2005
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005
Modal Logics for Metric Spaces: Open Problems.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005
2004
2003
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003
2002
Stud Logica, 2002
Appl. Intell., 2002
Ann. Pure Appl. Log., 2002
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
Connecting Abstract Description Systems.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002
Editorial Preface.
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002
2001
Reasoning over Conceptual Schemas and Queries in Temporal Databases.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001
Proceedings of the Logic for Programming, 2001
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
2000
Spatio-temporal representation and reasoning based on RCC-8.
Proceedings of the KR 2000, 2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
Spatial Reasoning in RCC-8 with Boolean Region Terms.
Proceedings of the ECAI 2000, 2000
1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
1998
J. Log. Lang. Inf., 1998
On the Decidability of Description Logics with Modal Operators.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Temporalizing Description Logics.
Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998
The Origins of Modern Modal Logic.
Proceedings of the Advances in Modal Logic 2, 1998
Dynamic Description Logics.
Proceedings of the Advances in Modal Logic 2, 1998
1997
Stud Logica, 1997
Modal Logic.
Oxford logic guides 35, Oxford University Press, ISBN: 978-0-19-853779-3, 1997
1996
1995
Math. Log. Q., 1995
J. Log. Comput., 1995
1994
1993
The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems.
J. Symb. Log., 1993
Log. J. IGPL, 1993
1992
1991
1987
Proceedings of the Fundamentals of Computation Theory, 1987