default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Zakharyaschev
Person information
- affiliation: Birkbeck, University of London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c142]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
The Interpolant Existence Problem for Weak K4 and Difference Logic. AiML 2024: 465-484- [c141]Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev:
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics 2024 - [c140]Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev:
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). Description Logics 2024 - [c139]Frank Wolter, Michael Zakharyaschev:
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. Description Logics 2024 - [c138]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. IJCAI 2024: 3448-3456 - [c137]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. KR 2024 - [i36]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
The interpolant existence problem for weak K4 and difference logic. CoRR abs/2403.11255 (2024) - [i35]Frank Wolter, Michael Zakharyaschev:
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. CoRR abs/2404.02683 (2024) - [i34]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. CoRR abs/2405.03511 (2024) - 2023
- [j55]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev
, Michael Zakharyaschev:
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. J. Artif. Intell. Res. 76: 645-703 (2023) - [c136]Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev:
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics 2023 - [c135]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics 2023 - [c134]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI 2023: 3230-3238 - [c133]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR 2023: 417-428 - [i33]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Definitions and (Uniform) Interpolants in First-Order Modal Logic. CoRR abs/2303.04598 (2023) - [i32]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR abs/2305.01248 (2023) - [i31]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR abs/2306.07662 (2023) - [i30]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
A non-uniform view of Craig interpolation in modal logics with linear frames. CoRR abs/2312.05929 (2023) - 2022
- [j54]Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev:
A tetrachotomy of ontology-mediated queries with a covering axiom. Artif. Intell. 309: 103738 (2022) - [j53]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75: 1223-1291 (2022) - [c132]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics 2022 - [c131]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI 2022: 5703-5707 - [c130]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. KR 2022 - [i29]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR abs/2205.01651 (2022) - [i28]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic. CoRR abs/2207.06210 (2022) - 2021
- [j52]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299: 103536 (2021) - [c129]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-definability of Regular Languages. RAMiCS 2021: 241-257 - [c128]Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev:
Deciding Boundedness of Monadic Sirups. PODS 2021: 370-387 - [c127]Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. TIME 2021: 10:1-10:15 - [i27]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-definability of Regular Languages. CoRR abs/2105.06202 (2021) - [i26]Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev:
Deciding boundedness of monadic sirups. CoRR abs/2108.00433 (2021) - [i25]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR abs/2111.06806 (2021) - 2020
- [c126]Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Description Logics 2020 - [c125]Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev:
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. KR 2020: 403-413 - [c124]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Boolean Role Inclusions in DL-Lite With and Without Time. KR 2020: 582-591 - [c123]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. RW 2020: 109-148 - [i24]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR abs/2004.07221 (2020) - [i23]Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev:
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom. CoRR abs/2006.04167 (2020)
2010 – 2019
- 2019
- [j51]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query inseparability for ALC ontologies. Artif. Intell. 272: 1-51 (2019) - [j50]Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Ontology-based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci. 29(1): 17-30 (2019) - [j49]Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev:
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. 84(2): 533-588 (2019) - [c122]Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev:
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. Description Logic, Theory Combination, and All That 2019: 329-351 - [c121]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics: A Summary. Description Logics 2019 - [c120]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
A Note on DL-Lite with Boolean Role Inclusions. Description Logics 2019 - [c119]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. IJCAI 2019: 1851-1857 - [c118]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. LICS 2019: 1-14 - [c117]Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME 2019: 7:1-7:15 - [i22]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for ALC Ontologies. CoRR abs/1902.00014 (2019) - [i21]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. CoRR abs/1904.06919 (2019) - [i20]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). CoRR abs/1905.12990 (2019) - 2018
- [j48]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. J. ACM 65(5): 28:1-28:51 (2018) - [j47]Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Querying Log Data with Metric Temporal Logic. J. Artif. Intell. Res. 62: 829-877 (2018) - [c116]Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic 2018: 427-446 - [c115]Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Description Logics 2018 - [c114]Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova:
Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. Description Logics 2018 - [c113]Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev:
Ontology-Based Data Access: A Survey. IJCAI 2018: 5511-5519 - [c112]Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev:
STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. OTM Conferences (2) 2018: 441-460 - [i19]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR abs/1804.07805 (2018) - 2017
- [j46]Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18(3): 22:1-22:39 (2017) - [c111]Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. AAAI 2017: 1070-1076 - [c110]Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
A Framework for Temporal Ontology-Based Data Access: A Proposal. ADBIS (Short Papers and Workshops) 2017: 161-173 - [c109]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Description Logics 2017 - [c108]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Description Logics 2017 - [c107]Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev:
On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. Description Logics 2017 - [c106]Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev:
More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom. KESW 2017: 143-158 - [c105]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. PODS 2017: 201-216 - [c104]Dag Hovland, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev:
Ontology-Based Data Access to Slegge. ISWC (2) 2017: 120-129 - [c103]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME 2017: 1:1-1:37 - [i18]Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Metric Temporal Logic for Ontology-Based Data Access over Log Data. CoRR abs/1701.00976 (2017) - [i17]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. CoRR abs/1702.03358 (2017) - [i16]Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Querying Log Data with Metric Temporal Logic. CoRR abs/1703.08982 (2017) - [i15]Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev:
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR abs/1708.03403 (2017) - 2016
- [j45]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234: 78-119 (2016) - [c102]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Description Logics 2016 - [c101]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When is Query Inseparability for ALC Ontologies Decidable? Description Logics 2016 - [c100]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI 2016: 1001-1007 - [c99]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes. IJCAI 2016: 1153-1159 - [c98]Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI 2016: 1160-1166 - [c97]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW 2016: 27-89 - [i14]Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR abs/1604.03515 (2016) - [i13]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR abs/1604.04164 (2016) - [i12]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. CoRR abs/1604.05258 (2016) - [i11]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. CoRR abs/1605.01207 (2016) - 2015
- [c96]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tractable Interval Temporal Propositional and Description Logics. AAAI 2015: 1417-1423 - [c95]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Interval Temporal Description Logics. Description Logics 2015 - [c94]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics 2015 - [c93]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI 2015: 2706-2712 - [c92]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI 2015: 4240-4246 - 2014
- [j44]Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev:
The price of query rewriting in ontology-based data access. Artif. Intell. 213: 42-59 (2014) - [j43]Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artif. Intell. 217: 43-75 (2014) - [j42]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15(3): 25:1-25:50 (2014) - [c91]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
On the succinctness of query rewriting over shallow ontologies. CSL-LICS 2014: 57:1-57:10 - [c90]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. Description Logics 2014: 21-32 - [c89]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability by Games. Description Logics 2014: 83-95 - [c88]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for Description Logic Knowledge Bases. KR 2014 - [c87]Roman Kontchakov, Michael Zakharyaschev:
An Introduction to Description Logics and Query Rewriting. Reasoning Web 2014: 195-244 - [c86]Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao, Michael Zakharyaschev:
Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. ISWC (1) 2014: 552-567 - [i10]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. CoRR abs/1401.3487 (2014) - [i9]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases. CoRR abs/1401.4420 (2014) - 2013
- [j41]Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev:
A Decidable Extension of SROIQ with Complex Role Chains and Unions. J. Artif. Intell. Res. 47: 809-851 (2013) - [j40]Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Topological Logics with Connectedness over Euclidean Spaces. ACM Trans. Comput. Log. 14(2): 13:1-13:48 (2013) - [c85]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporalising OWL 2 QL. Description Logics 2013: 17-28 - [c84]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Query Rewriting over Shallow Ontologies. Description Logics 2013: 316-327 - [c83]Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin:
Query Answering via Modal Definability with FaCT++: First Blood. Description Logics 2013: 328-340 - [c82]Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Description Logics 2013: 353-363 - [c81]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Query Rewriting and Optimisation with Database Dependencies in Ontop. Description Logics 2013: 917-929 - [c80]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access. IJCAI 2013: 711-717 - [c79]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. LPAR 2013: 35-52 - [c78]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
OBDA with Ontop. ORE 2013: 101-106 - [c77]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Ontop at Work. OWLED 2013 - [c76]Roman Kontchakov, Mariano Rodriguez-Muro, Michael Zakharyaschev:
Ontology-Based Data Access with Databases: A Short Course. Reasoning Web 2013: 194-229 - [c75]Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Ontology-Based Data Access: Ontop of Databases. ISWC (1) 2013: 558-573 - [i8]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013) - [i7]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. CoRR abs/1306.5088 (2013) - 2012
- [c74]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Long Rewritings, Short Rewritings. Description Logics 2012 - [c73]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Exponential Lower Bounds and Separation for Query Rewriting. ICALP (2) 2012: 263-274 - [c72]Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
Conjunctive Query Answering with OWL 2 QL. KR 2012 - [i6]Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Exponential Lower Bounds and Separation for Query Rewriting. CoRR abs/1202.4193 (2012) - [i5]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. CoRR abs/1209.5571 (2012) - 2011
- [c71]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011: 221-226 - [c70]Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
On (In)Tractability of OBDA with OWL 2 QL. Description Logics 2011 - [c69]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011 - [c68]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics 2011 - [c67]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS 2011: 1-11 - [c66]Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. IJCAI 2011: 957-962 - [c65]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661 - [c64]Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. RR 2011: 124-138 - [c63]Michael Zakharyaschev:
Logic in the Time of WWW: An OWL View. WoLLIC 2011: 6-7 - [c62]Michael Zakharyaschev:
Query Inseparability and Module Extraction in OWL 2 QL. WoMO 2011: 10-11 - [e5]Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev:
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011 [contents] - [i4]Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. CoRR abs/1104.0219 (2011) - [i3]David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. CoRR abs/1110.2726 (2011) - [i2]Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Topological Logics with Connectedness over Euclidean Spaces. CoRR abs/1110.4034 (2011) - 2010
- [j39]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174(15): 1093-1141 (2010) - [j38]Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev:
A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Log. 161(4): 534-559 (2010) - [j37]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Spatial logics with connectedness predicates. Log. Methods Comput. Sci. 6(3) (2010) - [c61]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Past and Future of DL-Lite. AAAI 2010: 243-248 - [c60]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: 271-291 - [c59]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal Conceptual Modelling with DL-Lite. Description Logics 2010 - [c58]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187 - [c57]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Query Answering in DL-Lite. KR 2010 - [c56]Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Interpreting Topological Logics over Euclidean Spaces. KR 2010
2000 – 2009
- 2009
- [j36]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. J. Artif. Intell. Res. 36: 1-69 (2009) - [c55]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Adding Weight to DL-Lite. Description Logics 2009 - [c54]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite without UNA. Description Logics 2009 - [c53]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Extending DL-Lite Sometime in the Future. Description Logics 2009 - [c52]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009 - [c51]Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev:
Which Kind of Module Should I Extract? Description Logics 2009 - [c50]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCoS 2009: 133-148 - [c49]Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev:
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841 - 2008
- [j35]Frank Wolter, Michael Zakharyaschev:
Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. 9(4): 25:1-25:20 (2008) - [c48]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176 - [c47]Roman Kontchakov, Michael Zakharyaschev:
DL-Lite and Role Inclusions. ASWC 2008: 16-30 - [c46]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008 - [c45]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295 - [c44]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589 - [c43]Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logics: A Survey. TIME 2008: 3-14 - 2007
- [j34]Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007) - [c42]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366 - [c41]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 - [c40]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Modularity in DL-Lite. Description Logics 2007 - [c39]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Reasoning over Extended ER Models. ER 2007: 277-292 - [c38]Michael Zakharyaschev:
Temporalising Logics: Fifteen Years After. FroCoS 2007: 72 - [c37]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257 - [c36]Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tractable Description Logics. TIME 2007: 11-22 - [p2]Frank Wolter, Michael Zakharyaschev:
Modal decision problems. Handbook of Modal Logic 2007: 427-489 - [p1]Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564 - 2006
- [j33]David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Log. 142(1-3): 245-268 (2006) - [j32]Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter:
Willem Blok and Modal Logic. Stud Logica 83(1-3): 15-30 (2006) - [j31]Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
On Dynamic Topological and Metric Logics. Stud Logica 84(1): 129-160 (2006) - [c35]Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207 - [c34]Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318 - [c33]Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic 2006: 429-448 - [c32]Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
Automated Reasoning About Metric and Topology. JELIA 2006: 490-493 - [i1]Frank Wolter, Michael Zakharyaschev:
Undecidability of the unification and admissibility problems for modal and description logics. CoRR abs/cs/0609052 (2006) - 2005
- [j30]Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev:
Undecidability of first-order intuitionistic and modal logics with two variables. Bull. Symb. Log. 11(3): 428- (2005) - [j29]David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. 23: 167-243 (2005) - [j28]Frank Wolter, Michael Zakharyaschev:
A logic for metric and topology. J. Symb. Log. 70(3): 795-828 (2005) - [j27]David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Products of 'transitive' modal logics. J. Symb. Log. 70(3): 993-1021 (2005) - [c31]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108 - [c30]Boris Konev, Frank Wolter, Michael Zakharyaschev:
Temporal Logics over Transitive States. CADE 2005: 182-203 - [c29]Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
'Closer' representation and reasoning. Description Logics 2005 - [c28]Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665 - 2004
- [j26]Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004) - [j25]Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14(1): 3-22 (2004) - [j24]Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tableaux. Stud Logica 76(1): 91-134 (2004) - 2003
- [j23]Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev:
Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003) - [c27]Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
E-connections of Description Logics. Description Logics 2003 - [c26]Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Resasoning about Concepts and Similarity. Description Logics 2003 - [c25]David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Spatio-Temporal Logics. FLAIRS 2003: 460-464 - [c24]Frank Wolter, Michael Zakharyaschev:
Reasoning about distances. IJCAI 2003: 1275-1282 - [c23]Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149 - [c22]Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME 2003: 91-98 - [e4]Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002. King's College Publications 2003, ISBN 0-9543006-2-9 [contents] - 2002
- [j22]Frank Wolter, Michael Zakharyaschev:
Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Log. 118(1-2): 133-145 (2002) - [j21]Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev:
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Appl. Intell. 17(3): 239-251 (2002) - [j20]Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Axiomatizing Distance Logics. J. Appl. Non Class. Logics 12(3-4): 425-440 (2002) - [j19]Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter:
Preface. Stud Logica 72(2): 145-146 (2002) - [j18]Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev:
A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Stud Logica 72(2): 199-232 (2002) - [c21]Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Editorial Preface. Advances in Modal Logic 2002 - [c20]Ágnes Kurucz, Michael Zakharyaschev:
A Note on Relativised Products of Modal Logics. Advances in Modal Logic 2002: 221-242 - [c19]Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev:
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110 - [c18]Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
Connecting Abstract Description Systems. KR 2002: 215-226 - [c17]Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402 - [c16]Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9 - [e3]Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev:
Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000. World Scientific 2002, ISBN 981-238-179-1 [contents] - 2001
- [j17]Frank Wolter, Michael Zakharyaschev:
Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001) - [j16]Mark Reynolds, Michael Zakharyaschev:
On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001) - [c15]Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev:
Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136 - [c14]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
The DLRUS Temporal Description Logic. Description Logics 2001 - [c13]Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
A Note on Concepts and Distances. Description Logics 2001 - [c12]Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001: 1-23 - [c11]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214 - 2000
- [j15]Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
Decidable fragment of first-order temporal logics. Ann. Pure Appl. Log. 106(1-3): 85-134 (2000) - [j14]Michael Zakharyaschev:
Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. J. Log. Lang. Inf. 9(1): 128-131 (2000) - [c10]Frank Wolter, Michael Zakharyaschev:
Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250 - [c9]Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56 - [c8]Holger Sturm, Frank Wolter, Michael Zakharyaschev:
Monodic Epistemic Predicate Logic. JELIA 2000: 329-344 - [c7]Frank Wolter, Michael Zakharyaschev:
Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14 - [e2]Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing:
Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 16-18 October 1998. CSLI Publications 2000, ISBN 1-57586-271-9 [contents]
1990 – 1999
- 1999
- [j13]Frank Wolter, Michael Zakharyaschev:
Modal Description Logics: Modalizing Roles. Fundam. Informaticae 39(4): 411-438 (1999) - [c6]Frank Wolter, Michael Zakharyaschev:
Multi-Dimensional Description Logics. IJCAI 1999: 104-109 - 1998
- [j12]Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev:
Speaking about Transitive Frames in Propositional Languages. J. Log. Lang. Inf. 7(3): 317-339 (1998) - [c5]Frank Wolter, Michael Zakharyaschev:
Dynamic Description Logics. Advances in Modal Logic 1998: 431-446 - [c4]Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing:
The Origins of Modern Modal Logic. Advances in Modal Logic 1998 - [c3]Frank Wolter, Michael Zakharyaschev:
Temporalizing Description Logics. FroCoS 1998: 379-402 - [c2]Frank Wolter, Michael Zakharyaschev:
On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523 - [e1]Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev:
Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996. CSLI Publications 1998, ISBN 1-57586-102-X [contents] - 1997
- [b1]Alexander V. Chagrov, Michael Zakharyaschev:
Modal Logic. Oxford logic guides 35, Oxford University Press 1997, ISBN 978-0-19-853779-3, pp. I-XV, 1-605 - [j11]Michael Zakharyaschev:
Canonical Formulas for K4, Part III: The Finite Model Property. J. Symb. Log. 62(3): 950-975 (1997) - [j10]Michael Zakharyaschev:
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. Stud Logica 59(3): 345-358 (1997) - 1996
- [j9]Michael Zakharyaschev:
Canonical Formulas for K4, Part II: Confinal Subframe Logics. J. Symb. Log. 61(2): 421-449 (1996) - 1995
- [j8]Alexander V. Chagrov, Michael Zakharyaschev:
On the Independent Axiomatizability of Modal and Intermediate Logics. J. Log. Comput. 5(3): 287-302 (1995) - [j7]Michael Zakharyaschev, Alexander Alekseev:
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. Math. Log. Q. 41: 15-23 (1995) - 1994
- [j6]Michael Zakharyaschev:
A New Solution to a Problem of Hosoi and Ono. Notre Dame J. Formal Log. 35(3): 450-457 (1994) - 1993
- [j5]Michael Zakharyaschev:
A Sufficient Condition for the Finite Model Property of Modal Logics above K4. Log. J. IGPL 1(1): 13-21 (1993) - [j4]Alexander V. Chagrov, Michael Zakharyaschev:
The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. J. Symb. Log. 58(3): 967-1002 (1993) - 1992
- [j3]Michael Zakharyaschev:
Canonical Formulas for K4, Part I: Basic Results. J. Symb. Log. 57(4): 1377-1402 (1992) - [j2]Alexander V. Chagrov, Michael Zakharyaschev:
Modal Companions of Intermediate Propositional Logics. Stud Logica 51(1): 49-82 (1992) - 1991
- [j1]Alexander V. Chagrov, Michael Zakharyaschev:
The disjunction property of intermediate propositional logics. Stud Logica 50(2): 189-216 (1991)
1980 – 1989
- 1987
- [c1]Michael Zakharyaschev:
Theorem Proving in Intermediate and Modal Logics. FCT 1987: 492-496
Coauthor Index
[j53] [c131] [j52] [i25] [c124] [i24] [c120] [c117] [j48] [c113] [c112] [c111] [c109] [c108] [c105] [c104] [c103] [i17] [j45] [c102] [c98] [i12] [i11] [c96] [c95] [c93] [c92] [j44] [j43] [j42] [c91] [c90] [c89] [c88] [c87] [c86] [i10] [i9] [j40] [c85] [c84] [c82] [c81] [c80] [c79] [c78] [c77] [c76] [c75] [i8] [i7] [c74] [c73] [c72] [i6] [i5] [c71] [c70] [c69] [c67] [c66] [c65] [c64] [i4] [i3] [i2] [j39] [j37] [c61] [c59] [c58] [c57] [c56] [j36] [c55] [c54] [c53] [c52] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c42] [c41] [c40] [c39] [c37] [c36] [p1] [j31] [c34] [j30] [j29] [j24] [c25] [c22]
Ágnes Kurucz
aka: Agi Kurucz
aka: Agi Kurucz
[c141] [c138] [c137] [i34] [j55] [c136] [c135] [c134] [i32] [i31] [j53] [c132] [c131] [c130] [i29] [i28] [j52] [c129] [c127] [i27] [i25] [c126] [c124] [c123] [i24] [j51] [j50] [c120] [c119] [c117] [i22] [i20] [j47] [c115] [i19] [j46] [c111] [c110] [c109] [c108] [c105] [c103] [i18] [i17] [i16] [j45] [c101] [c100] [c98] [c97] [i14] [i13] [c96] [c95] [c93] [c92] [j42] [c90] [c89] [c88] [c82] [c79] [i7] [i5] [c67] [c61] [c59] [c58] [c53] [c50] [c46] [c41] [c39]
[c142] [c140] [c139] [c138] [c137] [i36] [i35] [i34] [c135] [c134] [c133] [i33] [i32] [i31] [i30] [j53] [c132] [c131] [c130] [i29] [j52] [i25] [c124] [i24] [j51] [j49] [c121] [c120] [c118] [i22] [i21] [c116] [i19] [c103] [i15] [j45] [c101] [c100] [c99] [c97] [i13] [c94] [c93] [c92] [c90] [c89] [c88] [c85] [c80] [i8] [c71] [c69] [c68] [c65] [i3] [j39] [j38] [j37] [c60] [c57] [c52] [c49] [j35] [c48] [c46] [c45] [c44] [c43] [j34] [c40] [c36] [p2] [p1] [j33] [j32] [j31] [c35] [c34] [c33] [c32] [i1] [j29] [j28] [j27] [c31] [c30] [c29] [c28] [j26] [j25] [j24] [j23] [c27] [c26] [c25] [c24] [c23] [c22] [e4] [j22] [j21] [j20] [j19] [j18] [c21] [c19] [c18] [c17] [c16] [e3] [j17] [c15] [c14] [c13] [c12] [c11] [j15] [c10] [c9] [c8] [c7] [j13] [c6] [j12] [c5] [c3] [c2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
