Semantic anti-unification in general algebras - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Semantic anti-unification in general algebras

SEMANTIC ANTI-UNIFICATION IN GENERAL ALGEBRAS

Résumé

Motivated by recent applications to analogical reasoning, this paper initiates a semantic theory of anti-unification within general algebras.
Fichier principal
Vignette du fichier
230521-semantic_anti-unification_in_general_algebras.pdf (130.52 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04207922 , version 1 (14-09-2023)
hal-04207922 , version 2 (01-12-2023)
hal-04207922 , version 3 (22-02-2024)

Identifiants

Citer

Christian Antic. Semantic anti-unification in general algebras. 2023. ⟨hal-04207922v1⟩
60 Consultations
102 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More