A Library of Anti-unification Algorithms

Alexander Baumgärtner; Temur Kutsia

doi:10.1007/978-3-319-11558-0_38

ScienceGate Book Chapters

BOOK-CHAPTER

A Library of Anti-unification Algorithms

Alexander Baumgärtner Temur Kutsia

Year: 2014 Lecture notes in computer science Pages: 543-557 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-319-11558-0_38

Get Full-Text PDF Get Analytical Report

Keywords:

Unification Generalization Computer science Algorithm Artificial intelligence Analogical reasoning Theoretical computer science Programming language Mathematics Analogy

Metrics

Cited By

0.36

FWCI (Field Weighted Citation Impact)

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

A Library of Anti-unification Algorithms

Metrics

Citation History

Topics

Related Documents

Anti-Unification: Algorithms and Applications

Unital Anti-Unification: Type and Algorithms

Unification Algorithms

Anti-unification Algorithms and Their Applications in Program Analysis

Efficient parallel algorithms for anti-unification and relative complement