Dr Agi Kurucz Dr Agi Kurucz Academics Reader in Logic and Computation Research subject areas Computer science Contact details +44 020 7848 2900 agi.kurucz@kcl.ac.uk
Deciding FO-definability of regular languages and ontology-mediated queries in Linear Temporal Logic Kurucz, A., Ryzhikov, V., Savateev, Y. & Zakharyaschev, M., 14 Mar 2023, In: Journal of Artificial Intelligence Research. 76, p. 645-703 Research output: Contribution to journal › Article › peer-review A tetrachotomy of ontology-mediated queries with a covering axiom Gerasimova, O., Kikot, S., Kurucz, A., Podolskii, V. & Zakharyaschev, M., 6 May 2022, In: ARTIFICIAL INTELLIGENCE. 309, 103738, 103738. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1016/j.artint.2022.103738 Deciding FO-definability of regular languages Kurucz, A., Ryzhikov, V., Savateev, Y. & Zakharyaschev, M., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer, p. 241-257 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1007/978-3-030-88701-8_15 A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom Gerasimova, O., Kikot, S., Kurucz, A., Podolskii, V. & Zakharyaschev, M., 2020, 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020. Calvanese, D., Erdem, E. & Thielscher, M. (eds.). International Joint Conference on Artificial Intelligence (IJCAI), p. 402-412 11 p. (17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020; vol. 1). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Deciding boundedness of monadic sirups Kikot, S., Kurucz, A., Podolskii, V. & Zakharyaschev, M., 20 Jun 2021, PODS 2021 - Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, p. 370-387 18 p. (Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1145/3452021.3458332 A note on axiomatisations of two-dimensional modal logics Kurucz, A., 29 Jan 2013, Logic and Its Applications - 5th Indian Conference, ICLA 2013, Proceedings. p. 27-33 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7750 LNCS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1007/978-3-642-36039-8-4 Finite frames for K4.3 × S5 are decidable Kurucz, A. & Marcelino, S., 1 Jan 2014, Advances in Modal Logic. Brauner, T., Moss, L., Bolander, T. & Ghilardi, S. (eds.). College Publications, p. 411-436 26 p. (Advances in Modal Logic; vol. 9). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations Hampson, C. S., Kikot, S., Kurucz, A. & Roseiro Teles Marcelino, S., 1 May 2020, In: Annals of Pure and Applied Logic. 171, 5, p. 1-46 46 p., 102786. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1016/j.apal.2020.102786 On strictly positive modal logics with S4.3 frames Kikot, S., Kurucz, A., Wolter, F. & Zakharyaschev, M., 2018, Advances in Modal Logic. Bezhanishvili, G., D'Agostino, G., Metcalfe, G. & Studer, T. (eds.). College Publications, Vol. 12. p. 427-446 Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review Kripke completeness of strictly positive modal logics over meet-semilattices with operators Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F. & Zakharyaschev, M., Jun 2019, In: JOURNAL OF SYMBOLIC LOGIC. 84, p. 533-588 Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1017/jsl.2019.22 View all publications