No photo of Agi Kurucz

Agi Kurucz

Dr

 https://orcid.org/0000-0002-6233-6277
    • 362
      Citations

    Personal profile

    Research interests

    Mathematical logic; logical systems in computer science and artificial intelligence.

    Education/Academic qualification

    Doctor of Philosophy, Hungarian Academy of Sciences

    Award Date: 1 Jan 1998

    Bachelor of Science, Eotvos Lorand ELTE University Budapest

    Award Date: 1 Jan 1985

    Master of Science, Eotvos Lorand ELTE University Budapest

    Award Date: 1 Jan 1985

    Fingerprint

    Dive into the research topics where Agi Kurucz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further

    • 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

      Open Access
      File
      33 Downloads (Pure)

    • Definitions and (uniform) Interpolants in first-order modal logic

      Kurucz, A., Wolter, F. & Zakharyaschev, M., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). p. 417-428

      Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

      Open Access
      4 Citations (Scopus)

    • A tetrachotomy of ontology-mediated queries with a covering axiom

      Gerasimova, O., Kikot, S., Kurucz, A., Podolskii, V. & Zakharyaschev, M., 1 Aug 2022, In: ARTIFICIAL INTELLIGENCE. 309, 103738, 103738.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      2 Citations (Scopus)

    • 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

      File
      3 Citations (Scopus)
      37 Downloads (Pure)

    • 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

      Open Access
      1 Citation (Scopus)
    View all 45 research outputs
    • 7 Publication peer-review
    • 3 Types of External academic engagement - Membership of external research organisation
    • 2 Participation in conference
    • 1 Editorial activity
    View all 13 activities