Anti-unification and Generalization: A Survey

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00576264" target="_blank" >RIV/67985807:_____/23:00576264 - isvavai.cz</a>

Výsledek na webu

<a href="https://dx.doi.org/10.24963/ijcai.2023/736" target="_blank" >https://dx.doi.org/10.24963/ijcai.2023/736</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.24963/ijcai.2023/736" target="_blank" >10.24963/ijcai.2023/736</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Anti-unification and Generalization: A Survey

Popis výsledku v původním jazyce

Anti-unification (AU) is a fundamental operation for generalization computation used for inductive inference. It is the dual operation to unification, an operation at the foundation of automated theorem proving. Interest in AU from the AI and related communities is growing, but without a systematic study of the concept nor surveys of existing work, investigations often resort to developing application-specific methods that existing approaches may cover. We provide the first survey of AU research and its applications and a general framework for categorizing existing and future developments.

Název v anglickém jazyce

Anti-unification and Generalization: A Survey

Popis výsledku anglicky

Anti-unification (AU) is a fundamental operation for generalization computation used for inductive inference. It is the dual operation to unification, an operation at the foundation of automated theorem proving. Interest in AU from the AI and related communities is growing, but without a systematic study of the concept nor surveys of existing work, investigations often resort to developing application-specific methods that existing approaches may cover. We provide the first survey of AU research and its applications and a general framework for categorizing existing and future developments.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GF22-06414L" target="_blank" >GF22-06414L: Analýza důkazů a automatická dedukce pro rekurzivní struktury</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23)

ISBN

978-1-956792-03-4

ISSN

—

e-ISSN

—

Počet stran výsledku

11

Strana od-do

6563-6573

Název nakladatele

International Joint Conferences on Artificial Intelligence

Místo vydání

Vienna

Místo konání akce

Macao

Datum konání akce

19. 8. 2023

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—