Browse by Person
 | Up a level |
2005
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.
2006
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.
Konev, B. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2006) Dynamic topological logics over spaces with continuous functions. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6: Papers from the sixth conference on Advances in Modal Logic. College Publications, pp. 299-318.
Konev, B. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2006) On dynamic topological and metric logics. Studia Logica 84 (1), pp. 129-160. ISSN 0039-3215.
2007
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.
2011
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.
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.
2015
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.
2017
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.
15 April 2022
Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2022) Unique characterisability and learnability of Temporal Instance Queries. In: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 31 Jul - 05 Aug 2022, Haifa, Israel.
2023
Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2023) Reverse engineering of temporal queries mediated by LTL ontologies. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 3230-3238. ISBN 9781956792034.