Zakharyaschev, Michael

1. Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
   2019/05/30 by Ryzhikov, Vladislav, Walega, Przemyslaw Andrzej, Zakharyaschev, Michael · 1 citation
   #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #F.2.2 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)
2. Exponential Lower Bounds and Separation for Query Rewriting
   2012/02/19 by Stanislav Kikot, Roman Kontchakov, Kikot, Stanislav +5 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Cryptography and Data Security #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
3. First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
   2021/11/12 by Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa +3 · 1 citation
   #Databases (cs.DB) #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)
4. The interpolant existence problem for weak K4 and difference logic
   2024/03/17 by Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
5. Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
   2025/04/29 by Louwe B. Kuijer, Tony Tan, Kuijer, Louwe +5 · 4 citations
   Computer Science · #03B45 (Primary) 03C40 (Secondary) #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
6. A non-uniform view of Craig interpolation in modal logics with linear frames
   2023/12/10 by Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael · 2 citations
   #03B45 (Primary) 03C40 (Secondary) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
7. From Interpolating Formulas to Separating Languages and Back Again
   2025/08/18 by Agi Kurucz, Kurucz, Agi, Frank Wolter +3 · 1 citation
   Mathematics · #History and Theory of Mathematics