BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 156.

    Kikot, Stanislav and Kurucz, Agi and Podolskii, Vladimir V. and Zakharyaschev, Michael (2021) Deciding Boundedness of Monadic Sirups. In: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021.

    Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2020) Boolean Role Inclusions in DL-Lite with and without time. In: Calvanese, D. and Erdem, E. and Thielscher, M. (eds.) Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). California, U.S.: IJCAI Organization, pp. 582-591. ISBN 9780999241172.

    Jung, J.C. and Papacchini, F. and Wolter, F. and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics. In: UNSPECIFIED (ed.) 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM. ISBN 9781728136080.

    Ryzhikov, Vladislav and Walega, P.A. and Zakharyaschev, Michael (2019) Data complexity and rewritability of ontology-mediated queries in Metric Temporal Logic under the Event-Based Semantics. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). International Joint Conferences on Artificial Intelligence Organization, pp. 1851-1857. ISBN 9780999241127.

    Kikot, Stanislav and Kurucz, A. and Tanaka, Y. and Wolter, F. and Zakharyaschev, Michael (2019) Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Journal of Symbolic Logic 84 (2), pp. 533-588. ISSN 0022-4812.

    Kalayci, E. and Brandt, S. and Calvanese, D. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2019) Ontology-based access to temporal data with Ontop: a framework proposal. International Journal of Applied Mathematics and Computer Science 29 (1), pp. 17-30. ISSN 2083-8492.

    Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2019) Query inseparability for ALC ontologies. Artificial Intelligence 272 , pp. 1-51. ISSN 0004-3702.

    Brandt, S. and Calvanese, D. and Güzel Kalayci, E. and Kontchakov, Roman and Mörzinger, B. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2019) Two-dimensional rule language for querying sensor log data: a framework and use cases. In: Gamper, J. and Pinchinat, S. and Sciavicco, G. (eds.) 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 1-15. ISBN 9783959771276.

    Kikot, Stanislav and Kontchakov, Roman and Rapisarda, Salvatore and Zakharyaschev, Michael (2018) STYPES: nonrecursive datalog rewriter for linear TGDs and conjunctive queries. In: Panetto, H. and Debruyne, C. and Proper, H. and Ardagna, C. and Roman, D. and Meersman, R. (eds.) On the Move to Meaningful Internet Systems. OTM 2018 Conferences. LNCS 11230. Springer, pp. 441-460. ISBN 9783030026707.

    Brandt, S. and Güzel Kalaycı, E. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2018) Querying log data with Metric Temporal Logic. Artificial Intelligence Research 62 , pp. 829-877. ISSN 1927-6974.

    Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2018) Ontology-mediated queries: combined complexity and succinctness of rewritings via circuit complexity. Journal of the ACM 65 (5), ISSN 0004-5411.

    Xiao, G. and Calvanese, D. and Kontchakov, Roman and Lembo, D. and Poggi, A. and Rosati, R. and Zakharyaschev, Michael (2018) Ontology-based data access: a survey. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 5511-5519. ISBN 9780999241127.

    Hovland, D. and Kontchakov, Roman and Skjæveland, M. and Waaler, A. and Zakharyaschev, Michael (2017) Ontology-based data access to Slegge. In: D'Amato, C. and Fernández, M. and Tamma, V. and Lecue, F. and Cudré-Mauroux, P. and Sequeda, J. and Lange, C. and Heflin, J. (eds.) The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings. Lecture Notes in Computer Science 2 10588. Springer, pp. 120-129. ISBN 9783319682037.

    Bresolin, D. and Kurucz, A. and Muñoz-Velasco, E. and Ryzhikov, Vladislav and Sciavicco, G. and Zakharyaschev, Michael (2017) Horn fragments of the Halpern-Shoham Interval Temporal Logic. ACM Transactions on Computational Logic 18 (3), pp. 1-39. ISSN 1529-3785.

    Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V.V. and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) The complexity of ontology-based data access with OWL 2 QL and bounded treewidth queries. In: UNSPECIFIED (ed.) Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17. New York, U.S.: Associating for Computing Machinery, pp. 201-216. ISBN 9781450341981.

    Botoeva, E. and Konev, B. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2017) Inseparability and conservative extensions of description logic ontologies: a survey. In: Pan, J.Z. and Calvanese, D. and Eiter, T. and Horrocks, I. and Kifer, M. and Lin, F. and Zhao, Y. (eds.) Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. Lecture Notes in Computer Science 9885. New York, U.S.: Springer, pp. 27-89. ISBN 9783319494920.

    Gerasimova, O. and Kikot, S. and Podolskii, V. and Zakharyaschev, Michael (2017) On the data complexity of ontology-mediated queries with a covering axiom. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879 1879. CEUR Workshop Proceedings.

    Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) On the parameterised complexity of tree-shaped ontology-mediated queries in OWL2QL. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879. CEUR.

    Brandt, S. and Güzel Kalaycı, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2017) Ontology-based data access with a horn fragment of metric temporal logic. In: UNSPECIFIED (ed.) Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017). AAAI Press, pp. 1070-1076.

    Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2017) Ontology-mediated query answering over temporal data: a survey. In: Schewe, S. and Schneider, T. and Wijsen, J. (eds.) 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs) 90. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 1-37. ISBN 9783959770521.

    Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) Optimal nonrecursive datalog rewritings of linear TGDs and bounded (Hyper)Tree-width queries. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879 1879. CEUR.

    Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) Games for query inseparability of description logic knowledge bases. Artificial Intelligence 234 , pp. 78-119. ISSN 0004-3702.

    Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) Query-based entailment and inseparability for ALC ontologies. In: UNSPECIFIED (ed.) The 25th International Joint Conference on Artificial Intelligence IJCAI-16. Palo Alto, U.S.: AAAI Press / International Joint Conferences on Artificial Intelligence, pp. 1001-1007. ISBN 9781577357704.

    Kontchakov, Roman and Pandolfo, L. and Pulina, L. and Ryzhikov, Vladislav and Zakharyaschev, Michael (2016) Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). Palo Alto, California USA: AAAI Press, pp. 1160-1166. ISBN 9781577357704.

    Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2016) Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries. In: UNSPECIFIED (ed.) Proceedings of the 29th International Workshop on Description Logics. CEUR-WS.

    Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) When is query inseparability for ALC Ontologies decidable? CEUR Workshop Proceedings 1577 , ISSN 1613-0073.

    Konev, B. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2015) Conservative rewritability of description logic TBoxes: first results. CEUR Workshop Proceedings , ISSN 1613-0073.

    Artale, A. and Kovtunova, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2015) First-order rewritability of temporal ontology-mediated queries. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto, U.S.: AAAI Press, pp. 2706-2712. ISBN 9781577357384.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2015) Interval temporal description logics. In: UNSPECIFIED (ed.) Proceedings of the 28th International Workshop on Description Logics. CEUR-WS.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2015) Tractable interval temporal propositional and description logics. In: UNSPECIFIED (ed.) Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI-15. AAAI, pp. 1417-1423.

    Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2015) When are description logic knowledge bases indistinguishable? In: UNSPECIFIED (ed.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto, U.S.: AAAI Press, pp. 4240-4246. ISBN 9781577357384.

    Kontchakov, Roman and Rezk, M. and Rodríguez-Muro, M. and Xiao, G. and Zakharyaschev, Michael (2014) Answering SPARQL queries over databases under OWL 2 QL entailment regime. In: Mika, P. and Tudorache, T. and Bernstein, A. and Welty, C. and Knoblock, C. and Vrandečić, D. and Groth, P. and Noy, N. and Janowicz, K. and Goble, C. (eds.) The Semantic Web – ISWC 2014. Lecture Notes in Computer Science 8796. Berlin, Germany: Springer, pp. 552-567. ISBN 9783319119632.

    Kontchakov, Roman and Zakharyaschev, Michael (2014) An introduction to description logics and query rewriting. In: Koubarakis, M. and Stamou, G. and Stoilos, G. and Horrocks, I. and Kolaitis, P. and Lausen, G. and Weikum, G. (eds.) Reasoning Web. Reasoning and the Web in the Big Data Era. Lecture Notes in Computer Science 8714. Berlin, Germany: Springer, pp. 195-244. ISBN 9783319105864.

    Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2014) Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artificial Intelligence 217 , pp. 43-75. ISSN 0004-3702.

    Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability for description logic knowledge bases. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14). California, U.S.: AAAI Press. ISBN 9781577356578.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2014) A cookbook for temporal conceptual data modelling with description logic. ACM Transactions on Computational Logic 15 (3), ISSN 1529-3785.

    Gottlob, G. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Schwentick, T. and Zakharyaschev, Michael (2014) The price of query rewriting in ontology-based data access. Artificial Intelligence 213 , pp. 42-59. ISSN 0004-3702.

    Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2014) On the succinctness of query rewriting over shallow ontologies. In: Henzinger, T. and Miller, D. (eds.) CSL-LICS '14 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). New York, U.S.: ACM, 57:1-57:10. ISBN 9781450328869.

    Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability by games. In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings 1193. CEUR, pp. 83-95.

    Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Temporal OBDA with LTL and DL-Lite. In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings 1193. CEUR, pp. 21-32.

    Mosurovic, N. and Krdzavac, H. and Graves, M. and Zakharyaschev, Michael (2013) A decidable extension of SROIQ with complex role chains and unions. Journal of Artificial Intelligence Research 47 , pp. 809-851. ISSN 1076-9757.

    Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2013) Topological logics with connectedness over Euclidean spaces. ACM Transactions on Computational Logic 14 (2), p. 13. ISSN 1529-3785.

    Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) Conjunctive query inseparability in OWL2QL is ExpTime-hard. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 353-363.

    Kontchakov, Roman and Rodríguez-Muro, M. and Zakharyaschev, Michael (2013) Ontology-based data access with databases: a short course. In: Rudolph, S. and Gottlob, G. and Horrocks, I. and van Harmelen, F. (eds.) Reasoning Web. Semantic Technologies for Intelligent Data Access. Lecture Notes in Computer Science 8067. Berlin, Germany: Springer, pp. 194-229. ISBN 9783642397837.

    Rodríguez-Muro, M. and Kontchakov, Roman and Zakharyaschev, Michael (2013) Ontology-based data access: ontop of databases. In: Alani, H. and et al. (eds.) The Semantic Web – ISWC 2013. Lecture Notes in Computer Science 8218. Berlin, Germany: Springer, pp. 558-573. ISBN 9783642413346.

    Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2013) Query rewriting over shallow ontologies. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 316-327.

    Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) Temporal description logic for ontology-based data access. In: Rossi, F. (ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 711-717. ISBN 9781577356332.

    Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) Temporalising OWL 2 QL. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 17-28.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) The complexity of clausal fragments of LTL. In: McMillan, K. and Middeldorp, A. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 8312. Berlin, Germany: Springer, pp. 35-52. ISBN 9783642452215.

    Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2012) Conjunctive query answering with OWL 2 QL. In: Brewka, G. and Eiter, T. and McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference. California, U.S.: AAAI Press, pp. 275-285. ISBN 9781577355601.

    Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2012) Exponential lower bounds and separation for query rewriting. In: Czumaj, A. and Mehlhorn, K. and Pitts, A. and Wattenhofer, R. (eds.) Automata, Languages, and Programming. Lecture Notes in Computer Science 7392 7392. Berlin, Germany: Springer, pp. 263-274. ISBN 9783642315848.

    Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2012) Long rewritings, short rewritings. In: UNSPECIFIED (ed.) Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846. CEUR Workshop Proceedings.

    Konev, B. and Kontchakov, Roman and Michel, L. and Schneider, T. and Wolter, F. and Zakharyaschev, Michael (2011) Conjunctive query inseparability of OWL 2 QL TBoxes. In: Burgard, W. and Roth, D. (eds.) Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 221-226. ISBN 9781577355076.

    Zakharyaschev, Michael (2011) Logic in the time of WWW: an OWL view. In: Beklemishev, L.D. and Queiroz, R.J.G.B. (eds.) Logic, Language, Information and Computation. Lecture Notes In Computer Science 6642. Berlin, Germany: Springer, pp. 6-7. ISBN 9783642209192.

    Konev, B. and Kontchakov, Roman and Ludwig, M. and Schneider, T. and Wolter, F. and Zakharyaschev, Michael (2011) Module extraction via query inseparability in OWL 2 QL. In: UNSPECIFIED (ed.) Proceedings of the 24th International Workshop of Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745. CEUR Workshop Proceedings.

    Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2011) On (in)tractability of OBDA with OWL 2 QL. In: Rosati, R. and Rudolph, S. and Zakharyaschev, Michael (eds.) Proceedings of the 24th International Workshop of Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745. CEUR Workshop Proceedings.

    Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2011) On P/NP Dichotomies for EL subsumption under relational constraints. CEUR Workshop Proceedings (745), ISSN 1613-0073.

    Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2011) On the decidability of connectedness constraints in 2D and 3D Euclidean spaces. In: Walsh, T. (ed.) Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 957-962. ISBN 9781577355120.

    Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2011) Polynomial conjunctive query rewriting under unary inclusion dependencies. In: Rudolph, S. and Gutierrez, C. (eds.) Web Reasoning and Rule Systems (5th International Conference, RR 2011). Lecture Notes in Computer Science 6902. Berlin, Germany: Springer, pp. 124-138. ISBN 9783642235795.

    Zakharyaschev, Michael (2011) Query inseparability and module extraction in OWL 2 QL. In: Kutz, O. and Schneider, T. (eds.) Modular Ontologies. Frontiers in Artificial Intelligence and Applications 230. Amsterdam, The Netherlands: IOS Press, pp. 10-11. ISBN 9781607507987.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2011) Tailoring temporal description logics for reasoning over temporal conceptual models. In: Tinelli, C. and Sofronie-Stokkermans, V. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science 6989. Berlin, Germany: Springer, pp. 1-11. ISBN 9783642243639.

    Kontchakov, Roman and Lutz, C. and Toman, D. and Wolter, F. and Zakharyaschev, Michael (2011) The combined approach to ontology-based data access. In: Walsh, T. (ed.) Twenty-Second International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 2656-2661. ISBN 9781577355120.

    Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2010) Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artificial Intelligence 174 (15), pp. 1093-1141. ISSN 0004-3702.

    Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2010) Spatial logics with connectedness predicates. Logical Methods in Computer Science 6 (3), pp. 1-43. ISSN 1860-5974.

    Sheremet, M. and Wolter, F. and Zakharyaschev, Michael (2010) A modal logic framework for reasoning about comparative distances and topology. Annals of Pure and Applied Logic 161 (4), pp. 534-559. ISSN 0168-0072.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) Complexity of reasoning over temporal data models. In: Parsons, J. and Saeki, M. and Shoval, P. and Woo, C. and Wand, Y. (eds.) Conceptual Modeling – ER 2010. Lecture Notes in Computer Science 6412. Berlin, Germany: Springer, pp. 174-187. ISBN 9783642163722.

    Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2010) Interpreting topological logics over Euclidean spaces. In: Lin, F. and Sattler, U. and Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. California, U.S.: AAAI Press, pp. 534-544. ISBN 9781577354512.

    Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2010) Islands of tractability for relational constraints: towards dichotomy results for the description logic EL. In: Beklemishev, L. and Goranko, V. and Shehtman, V. (eds.) Papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27. Advances In Modal Logic 8. London, UK: College Publications, pp. 271-291. ISBN 9781848900134.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) Past and future of DL-Lite. In: Fox, M. and Poole, D. (eds.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. California, U.S.: AAAI Press, pp. 243-248. ISBN 9781577354659.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) Temporal conceptual modelling with DL-Lite. In: Haarslev, V. and Toman, D. and Weddell, G. (eds.) Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. CEUR Workshop Proceedings 573. CEUR Workshop Proceedings, pp. 9-19.

    Kontchakov, Roman and Lutz, C. and Toman, D. and Wolter, F. and Zakharyaschev, Michael (2010) The combined approach to query answering in DL-Lite. In: Lin, F. and Sattler, U. and Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. California, U.S.: AAAI Press. ISBN 9781577354512.

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) The DL-Lite family and relations. Journal of Artificial Intelligence Research 36 (1), pp. 1-69. ISSN 1076-9757.

    Kontchakov, Roman and Lutz, C. and Toman, D. and Wolter, F. and Zakharyaschev, Michael (2009) Combined FO rewritability for conjunctive query answering in DL-Lite. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

    Zakharyaschev, Michael and Sattler, U. and Schneider, T. (2009) Which kind of module should I extract? In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) Adding weight to DL-Lite. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) DL-Lite with temporalised concepts, rigid axioms and roles. In: Ghilardi, S. and Sebastiani, R. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science 5749. Berlin, Germany: Springer, pp. 133-148. ISBN 9783642042218.

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) DL-Lite without UNA. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

    Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) Extending DL-Lite sometime in the future. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

    Kontchakov, Roman and Pulina, L. and Sattler, U. and Schneider, T. and Selmer, Petra and Wolter, F. and Zakharyaschev, Michael (2009) Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Boutilier, C. (ed.) IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. California, U.S.: AAAI Press, pp. 836-841. ISBN 9781577354260.

    Wolter, F. and Zakharyaschev, Michael (2008) Undecidability of the unification and admissibility problems for modal and description logics. ACM Transactions on Computational Logic 9 (4), ISSN 1529-3785.

    Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2008) Topology, connectedness, and modal logic. In: Areces, C. and Goldblatt, R. (eds.) Advances in Modal Logic. London, UK: College Publications, pp. 151-176. ISBN 9781904987680.

    Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2008) Can you tell the difference between DL-Lite ontologies? In: Brewka, G. and Lang, J. (eds.) Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning (2008). California, U.S.: AAAI Press, pp. 285-295. ISBN 9781577353843.

    Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2008) Checking DL-Lite modularity with QBF solvers. In: Baader, F. and Lutz, C. and Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353. CEUR Workshop Proceedings.

    Kontchakov, Roman and Zakharyaschev, Michael (2008) DL − Lite and role inclusions. In: Domingue, J. and Anutariya, C. (eds.) The Semantic Web. Lecture Notes in Computer Science 5367. Berlin, Germany: Springer, pp. 16-30. ISBN 9783540897033.

    Kontchakov, Roman and Zakharyaschev, Michael (2008) DL-Lite and role inclusions. In: Domingue, J. and Anutariya, C. (eds.) ASWC 2008: The Semantic Web. Lecture Notes in Computer Science 5367. Springer, pp. 16-30. ISBN 9783540897033.

    Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2008) On the computational complexity of spatial logics with connectedness constraints. In: Cervesato, C. and Veith, V. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 5330. Berlin, Germany: Springer, pp. 574-589. ISBN 9783540894384.

    Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2008) Temporal description logics: a survey. In: Demri, S. and Jensen, D.S. (eds.) 2008 15th International Symposium on Temporal Representation and Reasoning. Piscataway, U.S.: IEEE Computer Society, pp. 3-14. ISBN 9780769531816.

    Wolter, F. and Zakharyaschev, Michael (2007) Modal decision problems. In: Blackburn, P. and van Benthem, J.F.A.K. and Wolter, F. (eds.) Handbook of Modal Logic. Studies in logic and practical reasoning 3. North-Holland, pp. 427-489. ISBN 9780444516909.

    Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2007) Spatial logic + temporal logic = ? In: Aiello, M. and Pratt-Hartmann, I. and Van Benthem, J. (eds.) Handbook of Spatial Logics. Berlin, Germany: Springer, pp. 497-564. ISBN 9781402055867.

    Zakharyaschev, Michael (2007) Temporalising logics: fifteen years after. In: Konev, B. and Wolter, F. (eds.) FroCoS 2007: Frontiers of Combining Systems, 6th International Symposium. Lecture Notes in Computer Science 4720. Springer, p. 72. ISBN 9783540746201.

    Sheremet, M. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2007) A logic for concepts and similarity. Journal of Logic and Computation 17 (3), pp. 415-452. ISSN 0955-792X.

    Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) Automated reasoning about metric and topology. In: Fisher, M. and van der Hoek, W. and Konev, B. and Lisitsa, A. (eds.) JELIA 2006: Logics in Artificial Intelligence. Lecture Notes in Computer Science 4160. Springer, pp. 490-493. ISBN 9783540396253.

    Ghilardi, S. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2006) Conservative extensions in modal logic. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6. College Publications, pp. 187-207. ISBN 9781904987208.

    Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) From topology to metric: modal logic and quantification in metric spaces. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6. College Publications, pp. 429-448. ISBN 9781904987208.

    Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2006) Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic 42 (1-3), pp. 245-268. ISSN 0168-0072.

    Wolter, F. and Zakharyaschev, Michael (2006) Undecidability of the unification and admissibility problems for modal and description logics. CoRR ,

    Rautenberg, W. and Zakharyaschev, Michael and Wolter, F. (2006) Willem Blok and modal logic. Studia Logica 83 (1-3), pp. 15-30. ISSN 0039-3215.

    Gabelaia, D. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research 23 , pp. 167-243. ISSN 1076-9757.

    Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2005) Comparative similarity, tree automata, and diophantine equations. In: Sutcliffe, G. and Voronkov, A. (eds.) LPAR 2005: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 3835. Springer, pp. 651-665. ISBN 9783540305538.

    Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Modal logics for metric spaces: open problems. In: Artemov, S.N. and Barringer, H. and d'Avila Garcez, A.S. and Lamb, L.C. and Woods, J. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay. College Publications, pp. 193-108. ISBN 9781904987116.

    Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Products of 'transitive' modal logics. The journal of Symbolic Logic 70 (3), pp. 993-1021. ISSN 0022-4812.

    Konev, B. and Wolter, F. and Zakharyaschev, Michael (2005) Temporal logics over transitive states. In: Nieuwenhuis, R. (ed.) CADE-20: Automated Deduction. Lecture Notes in Computer Science 3632. Springer, pp. 182-203. ISBN 9783540280057.

    Wolter, F. and Zakharyaschev, Michael (2005) A logic for metric and topology. The journal of Symbolic Logic 70 (3), pp. 795-828. ISSN 0022-4812.

    Kutz, O. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2004) E-connections of abstract description systems. Artificial Intelligence 156 (1), pp. 1-73. ISSN 0004-3702.

    Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2004) On non-local propositional and weak monodic quantified CTL. Journal of Logic and Computation 14 (1), pp. 3-22. ISSN 0955-792X.

    Kontchakov, Roman and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2004) Temporalising tableaux. Studia Logica 76 (1), pp. 91-134. ISSN 0039-3215.

    Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael, eds. (2003) Advances in modal logic 4: papers from the fourth conference on advances in modal logic. King's College Publications. ISBN 9780954300629.

    Kutz, O. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) E-connections of description logics. In: Calvanese, D. and De Giacomo, G. and Franconi, E. (eds.) DL 2003: Proceedings of the 2003 International Workshop on Description Logics. CEUR Workshop Proceedings 81. CEUR-WS.org.

    Kutz, O. and Wolter, F. and Sturm, H. and Suzuki, N.-Y. and Zakharyaschev, Michael (2003) Logics of metric spaces. ACM Transactions on Computational Logic 4 (2), pp. 260-294. ISSN 1529-3785.

    Hodkinson, I.M. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2003) On the computational complexity of decidable fragments of first-order linear temporal logics. In: UNSPECIFIED (ed.) 10th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 91-98. ISBN 0769519121.

    Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) Reasoning about concepts and similarity. In: Calvanese, D. and De Giacomo, G. and Franconi, E. (eds.) DL 2003: Proceedings of the 2003 International Workshop on Description Logics. CEUR Workshop Proceedings 81. CEUR-WS.org.

    Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) A tableau algorithm for reasoning about concepts and similarity. In: Mayer, M.C. and Pirri, F. (eds.) Tableaux 2003: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science 2796. Springer, pp. 134-149. ISBN 9783540407874.

    Wolter, F. and Wansing, H. and de Rijke, M. and Zakharyaschev, Michael, eds. (2002) Advances in modal logic 3: papers from the third conference on advances in modal logic. World Scientific. ISBN 9789812381798.

    Wolter, F. and Zakharyaschev, Michael (2002) Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic 118 (1-2), pp. 133-145. ISSN 0168-0072.

    Kutz, O. and Wolter, F. and Zakharyaschev, Michael (2002) Connecting abstract description systems. In: Fensel, D. and Giunchiglia, F. and McGuinness, D.L. and Williams, M.-A. (eds.) KR-02: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 215-226.

    Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2002) Decidable and undecidable fragments of first-order branching temporal logics. In: UNSPECIFIED (ed.) LICS 2002: 17th IEEE Symposium on Logic in Computer Science. IEEE Computer Society, pp. 393-402. ISBN 9780769514839.

    Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2002) Editorial preface. In: Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (eds.) Advances in Modal Logic. King's College Publications. ISBN 9780954300629.

    Bennett, B. and Cohn, A.G. and Wolter, F. and Zakharyaschev, Michael (2002) Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence 17 (3), pp. 239-251. ISSN 0924-669X.

    Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2002) On non-local propositional and local one-variable quantified CTL*. In: UNSPECIFIED (ed.) TIME-2002: 9th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 2-9. ISBN 978076951474X.

    Kurucz, Agnes and Zakharyaschev, Michael and Wolter, F. (2002) Preface. [Editorial/Introduction]

    Kurucz, A. and Zakharyaschev, Michael (2002) A note on relativised products of modal logics. In: Balbiani, P. and Suzuki, N.Y. and Wolter, F. and Zakharyaschev, Michael (eds.) Advances in Modal Logic 4: papers from the fourth conference on Advances in Modal logic. King's College Publications, pp. 221-242.

    Lutz, C. and Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2002) A tableau decision algorithm for modalized ALC with constant domains. Studia Logica 72 (2), pp. 199-232. ISSN 0039-3215.

    Artale, A. and Franconi, E. and Wolter, F. and Zakharyaschev, Michael (2002) A temporal description logic for reasoning over conceptual schemas and queries. In: Flesca, S. and Leone, N. and Ianni, G. (eds.) JELIA 2002: Logics in Artificial Intelligence. Lecture Notes in Computer Science 2424. Springer, pp. 98-110. ISBN 9783540441908.

    Artale, A. and Franconi, E. and Mosurovic, M. and Wolter, F. and Zakharyaschev, Michael (2001) The DLRUS temporal description logic. In: Goble, C.A. and McGuinness, D.L. and Moller, R. and Patel-Schneider, P.F. (eds.) DL-2001: Working Notes of the 2001 International Description Logics Workshop. CEUR Workshop Proceedings 49. CEUR-WS.org.

    Wolter, F. and Zakharyaschev, Michael (2001) Decidable fragments of first-order modal logics. The journal of Symbolic Logic 66 (3), pp. 1415-1438. ISSN 0022-4812.

    Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2001) Monodic fragments of first-order temporal logics: 2000-2001 A.D. In: Nieuwenhuis, R. and Voronkov, A. (eds.) LPAR 2001: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 2250. Springer, pp. 1-23. ISBN 9783540429579.

    Reynolds, M. and Zakharyaschev, Michael (2001) On the products of linear modal logics. Journal of Logic and Computation 11 (6), pp. 909-931. ISSN 0955-792X.

    Artale, A. and Franconi, E. and Mosurovic, M. and Wolter, F. and Zakharyaschev, Michael (2001) Reasoning over conceptual schemas and queries in temporal databases. In: Celentano, A. and Tanca, L. and Tiberio, P. (eds.) SEBD 2001: Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati. SEBD 2001, pp. 201-214.

    Lutz, C. and Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2001) Tableaux for temporal description logic with constant domains. In: Gore, R. and Leitsch, A. and Nipkow, T. (eds.) IJCAR: Automated Reasoning, First International Joint Conference. Lecture Notes in Computer Science 2083. Springer, pp. 121-136. ISBN 9783540422549.

    Kutz, O. and Wolter, F. and Zakharyaschev, Michael (2001) A note on concepts and distances. In: Goble, C.A. and McGuinness, D.L. and Moller, R. and Patel-Schneider, P.F. (eds.) DL-2001: Working Notes of the 2001 International Description Logics Workshop. CEUR Workshop Proceedings 49. CEUR-WS.org.

    Zakharyaschev, Michael and Segerberg, K. and de Rijke, M. and Wansing, H., eds. (2000) Advances in modal logic 2: papers from the second workshop on advances in modal logic. CSLI Publications. ISBN 9781575862719.

    Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2000) Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 (1-3), pp. 85-134. ISSN 0168-0072.

    Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2000) Monodic epistemic predicate logic. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Moniz Pereira, L. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 329-344. ISBN 9783540411314.

    Zakharyaschev, Michael (2000) Multi-dimensional modal logic, Maarten Marx and Yde Venema. Journal of Logic, Language and Information 9 (1), pp. 128-131. ISSN 0925-8531.

    Sturm, H. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2000) Semi-qualitative reasoning about distances: a preliminary report. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Pereira, L.M. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 37-56. ISBN 9783540411314.

    Wolter, F. and Zakharyaschev, Michael (2000) Spatial reasoning in RCC-8 with boolean region terms. In: Horn, W. (ed.) ECAI 2000: Proceedings of the 14th European Conference on Artificial Intelligence. IOS Press, pp. 244-250.

    Wolter, F. and Zakharyaschev, Michael (2000) Spatio-temporal representation and reasoning based on RCC-8. In: Cohn, A.G. and Giunchiglia, F. and Selman, B. (eds.) KR 2000: Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 3-14. ISBN 9781558606906.

    Zakharyaschev, Michael and Segerberg, K. and de Rijke, M. and Wansing, H. (2000) The origins of modern modal logic. In: Zakharyaschev, Michael and Segerberg, K. and de Rijke, M. and Wansing, H. (eds.) Advances in Modal Logic 2: Papers from the Second Workshop on Advances in Modal logic. CSLI Publications.

    Wolter, F. and Zakharyaschev, Michael (1999) Multi-dimensional description logics. In: Dean, T. (ed.) IJCAI 99: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, pp. 104-109. ISBN 9781558606135.

    Kracht, M. and de Rijke, M. and Wansing, H. and Zakharyaschev, Michael, eds. (1998) Advances in modal logic 1: papers from the first workshop on advances in modal logic. CSLI Publications. ISBN 978157586102X.

    Wolter, F. and Zakharyaschev, Michael (1998) Dynamic description logics. In: Zakharyaschev, Michael and Segerberg, K. and de Rijke, M. and Wansing, H. (eds.) Advances in Modal Logic 2: papers from the second workshop on Advances in Modal logic. CSLI Publications, pp. 431-446. ISBN 9781575862719.

    Wolter, F. and Zakharyaschev, Michael (1998) On the decidability of description logics with modal operators. In: Cohn, A.G. and Schubert, L.K. and Shapiro, S.C. (eds.) KR '98: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 512-523. ISBN 9781558605541.

    Suzuki, Y. and Wolter, F. and Zakharyaschev, Michael (1998) Speaking about transitive frames in propositional languages. Journal of Logic, Language and Information 7 (3), pp. 317-339. ISSN 0925-8531.

    Zakharyaschev, Michael (1997) Canonical formulas for K4. part III: the finite model property. The journal of Symbolic Logic 62 (3), pp. 950-975. ISSN 0022-4812.

    Chagrov, A.V. and Zakharyaschev, Michael (1997) Modal logic. Oxford logic guides 35. Oxford, UK: Oxford University Press. ISBN 9780198537793.

    Zakharyaschev, Michael (1997) The greatest extension of S4 into which intuitionistic logic is embeddable. Studia Logica 59 (3), pp. 345-358. ISSN 0039-3215.

    Zakharyaschev, Michael (1996) Canonical formulas for K4. part II: confinal subframe logics. The journal of Symbolic Logic 61 (2), pp. 421-449. ISSN 0022-4812.

    Zakharyaschev, Michael and Alekseev, A. (1995) All finitely axiomatizable normal extensions of K4.3 are decidable. Mathematical Logic Quarterly 41 (1), pp. 15-23. ISSN 0942-5616.

    Chagrov, A.V. and Zakharyaschev, Michael (1995) On the independent axiomatizability of modal and intermediate logics. Journal of Logic and Computation 5 (3), pp. 287-302. ISSN 0955-792X.

    Zakharyaschev, Michael (1994) A new solution to a problem of Hosoi and Ono. Notre Dame Journal of Formal Logic 35 (3), pp. 450-457. ISSN 0029-4527.

    Zakharyaschev, Michael (1993) A sufficient condition for the finite model property of modal logics above K4. Logic Journal of the IGPL 1 (1), pp. 13-21. ISSN 1367-0751.

    Zakharyaschev, Michael (1992) Canonical formulas for K4, part 1: basic results. The journal of Symbolic Logic 57 (4), pp. 1377-1402. ISSN 0022-4812.

    Chagrov, A.V. and Zakharyaschev, Michael (1992) Modal companions of intermediate propositional logics. Studia Logica 51 (1), pp. 49-82. ISSN 0039-3215.

    Chagrov, A.V. and Zakharyaschev, Michael (1991) The disjunction property of intermediate propositional logics. Studia Logica 50 (2), pp. 189-216. ISSN 0039-3215.

    Zakharyaschev, Michael (1987) Theorem proving in intermediate and modal logics. In: Budach, L. and Bakharajev, R.G. and Lipanov, O.B. (eds.) FCT 87: Fundamentals of Computation Theory. Lecture Notes in Computer Science 278. Springer, pp. 492-496. ISBN 9783540187400.

    Wolter, F. and Zakharyaschev, Michael Modal description logics: modalizing roles.

    This list was generated on Fri Oct 4 05:46:49 2024 BST.