{"id":263,"date":"2025-03-20T07:08:49","date_gmt":"2025-03-20T07:08:49","guid":{"rendered":"http:\/\/synasc.ro\/2026-new\/?page_id=263"},"modified":"2026-04-28T23:26:53","modified_gmt":"2026-04-28T23:26:53","slug":"temur-kutsia","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2026\/invited-speakers\/temur-kutsia\/","title":{"rendered":"Temur Kutsia"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"263\" class=\"elementor elementor-263\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-3e0b8ee e-con-full e-flex e-con e-parent\" data-id=\"3e0b8ee\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a3ba736 elementor-widget elementor-widget-heading\" data-id=\"a3ba736\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Logic-Based Generalization: Theory and Applications<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-80ba9f5 elementor-widget elementor-widget-heading\" data-id=\"80ba9f5\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Temur Kutsia<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7088b6b elementor-widget elementor-widget-text-editor\" data-id=\"7088b6b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>Research Institute for Symbolic Computation<br \/>Johannes Kepler Universuty Linz, Austria<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6af37d1 elementor-widget elementor-widget-image\" data-id=\"6af37d1\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"240\" height=\"300\" src=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/temur-kutsia-bw-240x300.jpg\" class=\"attachment-medium size-medium wp-image-1650\" alt=\"\" srcset=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/temur-kutsia-bw-240x300.jpg 240w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/temur-kutsia-bw-768x960.jpg 768w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/temur-kutsia-bw.jpg 812w\" sizes=\"(max-width: 240px) 100vw, 240px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6e257af elementor-align-center elementor-hidden-widescreen elementor-hidden-desktop elementor-hidden-tablet elementor-hidden-mobile elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"6e257af\" data-element_type=\"widget\" data-widget_type=\"icon-list.default\">\n\t\t\t\t\t\t\t<ul class=\"elementor-icon-list-items\">\n\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<a href=\"#\">\n\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-globe\" viewBox=\"0 0 496 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M336.5 160C322 70.7 287.8 8 248 8s-74 62.7-88.5 152h177zM152 256c0 22.2 1.2 43.5 3.3 64h185.3c2.1-20.5 3.3-41.8 3.3-64s-1.2-43.5-3.3-64H155.3c-2.1 20.5-3.3 41.8-3.3 64zm324.7-96c-28.6-67.9-86.5-120.4-158-141.6 24.4 33.8 41.2 84.7 50 141.6h108zM177.2 18.4C105.8 39.6 47.8 92.1 19.3 160h108c8.7-56.9 25.5-107.8 49.9-141.6zM487.4 192H372.7c2.1 21 3.3 42.5 3.3 64s-1.2 43-3.3 64h114.6c5.5-20.5 8.6-41.8 8.6-64s-3.1-43.5-8.5-64zM120 256c0-21.5 1.2-43 3.3-64H8.6C3.2 212.5 0 233.8 0 256s3.2 43.5 8.6 64h114.6c-2-21-3.2-42.5-3.2-64zm39.5 96c14.5 89.3 48.7 152 88.5 152s74-62.7 88.5-152h-177zm159.3 141.6c71.4-21.2 129.4-73.7 158-141.6h-108c-8.8 56.9-25.6 107.8-50 141.6zM19.3 352c28.6 67.9 86.5 120.4 158 141.6-24.4-33.8-41.2-84.7-50-141.6h-108z\"><\/path><\/svg>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Webpage<\/span>\n\t\t\t\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-89d48db elementor-widget elementor-widget-heading\" data-id=\"89d48db\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">ABSTRACT<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-dd1252a elementor-widget elementor-widget-text-editor\" data-id=\"dd1252a\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>Generalization of two or more objects (terms, trees, forests, graphs, formulas, proofs, programs, &#8230;) is an object, which keeps common features of the given objects and shows how they differ. It is a fundamental concept for tasks where one is interested in extracting a common general pattern from the given concrete examples.<\/p><p>Anti-unification is a logic-based method to compute generalizations. It was introduced in the 1970s, motivated by an application in inductive reasoning. In recent years, there has been growing interest in anti-unification due to novel applications in various subareas of artificial intelligence and computer science, where anti-unification-based techniques have been successfully applied in analogical reasoning, logic-based learning, term set compression, program synthesis, programming by examples, software code clone detection, automated program repair, library learning, etc.<\/p><p>In this talk, we will give a survey on recently developed generalization algorithms in first-order and higher-order theories, consider their applications, and discuss some interesting research problems in this area.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8c706e9 elementor-widget elementor-widget-heading\" data-id=\"8c706e9\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">SHORT BIO<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0b87dae elementor-widget elementor-widget-text-editor\" data-id=\"0b87dae\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>Temur Kutsia is a senior researcher and associate professor at the Research Institute for Symbolic Computation (RISC) Institute of the Johannes Kepler University Linz, Austria, where he leads a research group on symbolic constraint solving. He obtained his PhD and habilitation from Johannes Kepler University. His research interests lie in computational logic and symbolic artificial intelligence, with a particular focus on equational constraint solving, unification and generalization, as well as rewriting-based deduction and computation. He has authored over 100 publications in these areas, edited 20 conference proceedings and journal special issues, and served on more than 100 program committees of international conferences. He is a member of the IFIP Working Group 1.6 (Term Rewriting) and serves on the editorial board of the Journal of Symbolic Computation.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Logic-Based Generalization: Theory and Applications Temur Kutsia Research Institute for Symbolic ComputationJohannes Kepler Universuty Linz, Austria Webpage ABSTRACT Generalization of two or more objects (terms, trees, forests, graphs, formulas, proofs, programs, &#8230;) is an object, which keeps common features of the given objects and shows how they differ. It is a fundamental concept for tasks [&hellip;]<\/p>\n","protected":false},"author":27,"featured_media":0,"parent":226,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-263","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/263","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/comments?post=263"}],"version-history":[{"count":44,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/263\/revisions"}],"predecessor-version":[{"id":1653,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/263\/revisions\/1653"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/226"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/media?parent=263"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}