3 citations · 7 across the 5 of their papers we have counts for
5 papers
Sensible Intersection Type Theories
Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini +1
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the co…
Higher-Order Pattern Unification Modulo Similarity Relations
Besik Dundua, Temur Kutsia
The combination of higher-order theories and fuzzy logic can be useful in decision-making tasks that involve reasoning across abstract functions and predicates, where exact matches…
PLog: a system for rule-based programming
Besik Dundua
In this paper, we give a brief overview of the rule-based programming system, called PLog and illustrate its capabilities.
Regular matching problems for infinite trees
Carlos Camino, Volker Diekert, Besik Dundua +2
We study the matching problem of regular tree languages, that is, "?" where are regular tree languages over the union of finite ranked alphabets $Σ…
Strategies in PRholog
Besik Dundua, Temur Kutsia, Mircea Marin
PRholog is an experimental extension of logic programming with strategic conditional transformation rules, combining Prolog with Rholog calculus. The rules perform nondeterministic…