Author:Temur Kutsia

Publications
EasyChair Preprint 203

Keyphrases

Anti-unification, Anti-Unification with Skeletons, completeness, functional logic programming, Generalization of syntactic parse trees, Generalization with Hedge and Context Variables, least general generalization, Least General Rigid Generalization, narrowing, Natural Language Processing, network monitors, Parametrized Rigid Higher-Order Generalization, predicate logic, soundness, space complexity, strategies, Unranked Higher-Order Anti-Unification.