BOOK-CHAPTER

A Library of Anti-unification Algorithms

Alexander BaumgärtnerTemur Kutsia

Year: 2014 Lecture notes in computer science Pages: 543-557   Publisher: Springer Science+Business Media
Keywords:
Unification Generalization Computer science Algorithm Artificial intelligence Analogical reasoning Theoretical computer science Programming language Mathematics Analogy

Metrics

7
Cited By
0.36
FWCI (Field Weighted Citation Impact)
23
Refs
0.60
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Computability, Logic, AI Algorithms
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
AI-based Problem Solving and Planning
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Anti-Unification: Algorithms and Applications

Temur Kutsia

Journal:   EPiC series in computing Year: 2018 Vol: 19 Pages: 2-0
JOURNAL ARTICLE

Unital Anti-Unification: Type and Algorithms

David M. CernaTemur Kutsia

Journal:   Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2020
BOOK-CHAPTER

Unification Algorithms

Mirna Udovičić

Lecture notes in networks and systems Year: 2019 Pages: 606-620
© 2026 ScienceGate Book Chapters — All rights reserved.