Author:Temur Kutsia

EasyChair Preprint no. 203


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.