-
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. (Hrsg.). 1 Aufl. Springer, S. 133-151 19 S. (Lecture Notes in Computer Science; Band 16136 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
15th International Conference on Interactive Theorem Proving, ITP 2024, LIPIcs 309, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024
Bertot, Y. (Herausgeber*in), Kutsia, T. (Herausgeber*in) & Norrish, M. (Herausgeber*in), 2025, 1 Aufl. (Leibniz International Proceedings in Informatics (LIPIcs); Band 309)Publikation: Buch › Sammelwerk › Begutachtung
-
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 S. (RISC Report Series; Band 25-12).Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht
Open Access -
Combining Generalization Algorithms in Regular Collapse-Free Theories
Ayala-Rincón, M., Cerna, D., Kutsia, T. & Ringeissen, C., 07 Juli 2025, Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). Fernandez, M. (Hrsg.). 1 Aufl. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 7:1-7:18 18 S. 7. (Leibniz International Proceedings in Informatics, LIPIcs; Band 337).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
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. (Hrsg.). 1 Aufl. Springer, S. 113-132 20 S. (Lecture Notes in Computer Science; Band 16136 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Combining Generalization Algorithms
Kutsia, T. (Forscher*in)
01.01.2026 → 31.12.2027
Projekt: Geförderte Forschung › Sonstige überwieg. aus öff. Hand
-
Tolerance-based techniques for approximate reasoning
Kutsia, T. (Forscher*in)
01.04.2022 → 31.03.2025
Projekt: Geförderte Forschung › Andere Geldgeber
-
Symbolic Techniques for Quantitiative Extensions of Equality (SQUEE)
Kutsia, T. (Projektleiter*in)
01.04.2022 → 31.03.2026
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
-
Combinatorics and Codes for Information Security
Kutsia, T. (Projektleiter*in)
01.01.2017 → 31.12.2020
Projekt: Geförderte Forschung › FFG - Österreichische Forschungsförderungsgesellschaft
-
Generalization: Algorithms and Applications
Cerna, D. (Forscher*in), Pau, I. C. (Forscher*in) & Kutsia, T. (Projektleiter*in)
01.02.2016 → 31.01.2021
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
Aktivitäten
-
40th International Workshop on Unification (Veranstaltung)
Kutsia, T. (Mitglied)
24 Juli 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
40th Annual AAAI Conference on Artificial Intelligence (Demo Track) (Veranstaltung)
Kutsia, T. (Mitglied)
20 Jän. 2026 → 27 Jän. 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
International Symposium on Artificial Intelligence and Mathematics (Veranstaltung)
Kutsia, T. (Mitglied)
07 Jän. 2026 → 09 Jän. 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
11th Language & Technology Conference:Human Language Technologies as a Challenge for Computer Science, Linguistics and Low Resourced Languages (Veranstaltung)
Kutsia, T. (Mitglied)
03 Dez. 2025 → 07 Dez. 2025Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
Logic in Artificial Intelligence
Kutsia, T. (Vortragende*r)
17 Okt. 2025Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science
Auszeichnungen
-
Best paper award
Ayala-Rincón, M. (Empfänger*in), Fernández, M. (Empfänger*in), Ferreira Silva, G. (Empfänger*in), Kutsia, T. (Empfänger*in) & Nantes-Sobrinho, D. (Empfänger*in), 2023
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
Best Paper Award CICM'2023
Kutsia, T. (Empfänger*in), Ayala-Rincón, M. (Empfänger*in), Fernández, M. (Empfänger*in), Ferreira Silva, G. (Empfänger*in) & Nantes-Sobrinho, D. (Empfänger*in), 2023
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
Honorable mention award
Ayala-Rincón, M. (Empfänger*in), de Lima, T. A. (Empfänger*in), Dias Lima, M. J. (Empfänger*in), Moscato, M. M. (Empfänger*in) & Kutsia, T. (Empfänger*in), 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
Honorable Mention Award
Kutsia, T. (Empfänger*in), Ayala-Rincón, M. (Empfänger*in), de Lima, T. A. (Empfänger*in), Dias Lima, M. J. (Empfänger*in) & Moscato, M. M. (Empfänger*in), 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung