David Cerna, Temur Kutsia.Anti-unification and Generalization: a Survey. In: Proceedings of IJCAI 2023 - 32nd International Joint Conference on Artifical Intelligence, Edith Elkind (ed.), pp. 6563-6573.2023.ijcai.org,ISBN 978-1-956792-03-4 .[doi][bib]
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, and Daniele Nantes-Sobrinho.Nominal AC-Matching. In: Proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, Catherine Dubois and Manfred Kerber (ed.), Lecture Notes in Aritificial Intelligence14101, pp. 53-68.2023.Springer,ISBN 978-3-031-42752-7.[doi][bib]
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia.Enumerating All Maximal Clique-Partitions of an Undirected Graph. In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Horatiu Cheval, Laurentiu Leustean, and Andrei Sipos (ed.), pp. 65-79.2023.[doi][bib]
Georg Ehling, Temur Kutsia.Matching in Quantitative Equational Theories. In: UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar and Christophe Ringeissen (ed.), pp. -.2023.[url][bib]
2022
Temur Kutsia, Cleo Pau.Matching and Generalization Modulo Proximity and Tolerance Relations. In: Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation, Aybüke Özgün and Yulia Zinova (ed.), Lecture Notes in Computer Science13206, pp. 323-342.2022.Springer,ISBN 978-3-030-98478-6.[doi][pdf][bib]
Besik Dundua, Temur Kutsia, Mikheil Rukhaia.Unranked Nominal Unification. In: Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation, Aybüke Özgün and Yulia Zinova (ed.), Proceedings of 13th International Tbilisi Symposium on Logic, Language, and Computation, Lecture Notes in Computer Science13206, pp. 279-296.2022.Springer,ISBN 978-3-030-98478-6.[doi][pdf][bib]
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus Kutz.Nominal Unification and Matching of Higher Order Expressions with Recursive Let.Fundamenta Informaticae185(3), pp. 247-283.2022.IOS Press,ISSN 1875-8681.[url][bib]
Temur Kutsia and Cleo Pau.A Framework for Approximate Generalization in Quantitative Theories. In: Automated Reasoning, Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (ed.), Proceedings of 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Lecture Notes in Artificial Intelligence13385, pp. 578-596.2022.Springer,ISBN 978-3-031-10768-9.[doi][bib]
2021
Besik Dundua, Temur Kutsia, Mircea Marin.Variadic equational matching in associative and commutative theories.Journal of Symbolic Computation106, pp. 78-109.2021.Elsevier,ISSN 0747-7171.[doi][pdf][bib]
Cleo Pau, Temur Kutsia.Proximity-Based Unification and Matching for Fully Fuzzy Signatures. In: Proceedings of the 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, , pp. 1-6.2021.IEEE,isbn 978-1-6654-4407-1.[doi][pdf][bib]
