Anti-unification and Generalization: A Survey

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

Anti-unification and Generalization: A Survey

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

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

Project

<a href="/en/project/GF22-06414L" target="_blank" >GF22-06414L: Proof analysis AND Automated deduction FOr REcursive STructures</a><br>

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2023

Confidentiality

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

Article name in the collection

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

ISBN

978-1-956792-03-4

ISSN

—

e-ISSN

—

Number of pages

11

Pages from-to

6563-6573

Publisher name

International Joint Conferences on Artificial Intelligence

Place of publication

Vienna

Event location

Macao

Event date

Aug 19, 2023

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—