Author:Temur Kutsia

Publications
Anti-Unification and Natural Language Processing Nino Amiridze and Temur Kutsia EasyChair Preprint 203
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors David Cerna, Wolfgang Schreiner and Temur Kutsia In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
A rewrite-based computational model for functional logic programming Mircea Marin, Temur Kutsia and Besik Dundua In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Anti-Unification: Algorithms and Applications Temur Kutsia In:UNIF 2013. 27th International Workshop on Unification
Unranked Anti-Unification with Hedge and Context Variables Alexander Baumgartner and Temur Kutsia In:UNIF 2013. 27th International Workshop on Unification
SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science Temur Kutsia and Andrei Voronkov (editors) EPiC Series in Computing, volume 30
WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems Laura Kovacs and Temur Kutsia (editors) EPiC Series in Computing, volume 18
SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science Laura Kovacs and Temur Kutsia (editors) EPiC Series in Computing, volume 15

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.