-
Equational Generalization Problems with Atom-Variables
Baumgartner, A., Kutsia, T., Nantes-Sobrinho, D. & Schmidt-Schauss, M., 2026, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. de Paiva, V. & Koepke, P. (eds.). 1 ed. Springer, p. 133-151 19 p. (Lecture Notes in Computer Science; vol. 16136 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
15th International Conference on Interactive Theorem Proving, ITP 2024, LIPIcs 309, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024
Bertot, Y. (Editor), Kutsia, T. (Editor) & Norrish, M. (Editor), 2025, 1 ed. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 309)Research output: Book › Anthology › peer-review
-
A DSL for Specifying a Class of Industrial Optimisation Problems
Del Rio Almajano, T., Schreiner, W., Seidl, M., Kutsia, T. & Windsteiger, W., 2025, RISC, JKU, 19 p. (RISC Report Series; vol. 25-12).Research output: Working paper and reports › Research report
Open Access -
Combining Generalization Algorithms in Regular Collapse-Free Theories
Ayala-Rincón, M., Cerna, D., Kutsia, T. & Ringeissen, C., 07 Jul 2025, Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). Fernandez, M. (ed.). 1 ed. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 7:1-7:18 18 p. 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Graded Quantitative Narrowing
Ayala-Rincón, M., de Lima, T. A., Ehling, G. & Kutsia, T., 2025, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. de Paiva, V. & Koepke, P. (eds.). 1 ed. Springer, p. 113-132 20 p. (Lecture Notes in Computer Science; vol. 16136 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Combining Generalization Algorithms
Kutsia, T. (Researcher)
01.01.2026 → 31.12.2027
Project: Funded research › Other mainly public funds
-
Symbolic Techniques for Quantitiative Extensions of Equality (SQUEE)
Kutsia, T. (PI)
01.04.2022 → 31.03.2026
Project: Funded research › FWF - Austrian Science Fund
-
Tolerance-based techniques for approximate reasoning
Kutsia, T. (Researcher)
01.04.2022 → 31.03.2025
Project: Funded research › Other sponsors
-
Combinatorics and Codes for Information Security
Kutsia, T. (PI)
01.01.2017 → 31.12.2020
Project: Funded research › FFG - Austrian Research Promotion Agency
-
Generalization: Algorithms and Applications
Cerna, D. (Researcher), Pau, I. C. (Researcher) & Kutsia, T. (PI)
01.02.2016 → 31.01.2021
Project: Funded research › FWF - Austrian Science Fund
Activities
-
40th International Workshop on Unification (Event)
Kutsia, T. (Member)
24 Jul 2026Activity: Membership/Function › Program committee
-
40th Annual AAAI Conference on Artificial Intelligence (Demo Track) (Event)
Kutsia, T. (Member)
20 Jan 2026 → 27 Jan 2026Activity: Membership/Function › Program committee
-
International Symposium on Artificial Intelligence and Mathematics (Event)
Kutsia, T. (Member)
07 Jan 2026 → 09 Jan 2026Activity: Membership/Function › Program committee
-
11th Language & Technology Conference:Human Language Technologies as a Challenge for Computer Science, Linguistics and Low Resourced Languages (Event)
Kutsia, T. (Member)
03 Dec 2025 → 07 Dec 2025Activity: Membership/Function › Program committee
-
Logic in Artificial Intelligence
Kutsia, T. (Speaker)
17 Oct 2025Activity: Talk or presentation › Invited talk › science-to-science
Prizes
-
Best paper award
Ayala-Rincón, M. (Recipient), Fernández, M. (Recipient), Ferreira Silva, G. (Recipient), Kutsia, T. (Recipient) & Nantes-Sobrinho, D. (Recipient), 2023
Prize: Prize, award or honor
-
Best Paper Award CICM'2023
Kutsia, T. (Recipient), Ayala-Rincón, M. (Recipient), Fernández, M. (Recipient), Ferreira Silva, G. (Recipient) & Nantes-Sobrinho, D. (Recipient), 2023
Prize: Prize, award or honor
-
Honorable mention award
Ayala-Rincón, M. (Recipient), de Lima, T. A. (Recipient), Dias Lima, M. J. (Recipient), Moscato, M. M. (Recipient) & Kutsia, T. (Recipient), 2025
Prize: Prize, award or honor
-
Honorable Mention Award
Kutsia, T. (Recipient), Ayala-Rincón, M. (Recipient), de Lima, T. A. (Recipient), Dias Lima, M. J. (Recipient) & Moscato, M. M. (Recipient), 2025
Prize: Prize, award or honor