Besik Dundua

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 19

Top Topics

Logic Programming

Procedural Semantics

Machine Learning

Top Venues

Publications

David García-Retuerta, Besik Dundua, Mariam Dedabrishvili
PDAN Light: An Improved Attention Network for Action Detection. IEA/AIE (1) (2023)
Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues
Regular matching problems for infinite trees. Log. Methods Comput. Sci. 18 (1) (2022)
Mariam Dedabrishvili, Besik Dundua, Natia Mamaiashvili
Smartphone Sensor-Based Fall Detection Using Machine Learning Algorithms. IEA/AIE (1) (2021)
Besik Dundua, Temur Kutsia, Mircea Marin
Variadic equational matching in associative and commutative theories. J. Symb. Comput. 106 (2021)
Besik Dundua
PρLog: a system for rule-based programming. CoRR (2021)
Mircea Marin, Besik Dundua, Temur Kutsia
A Rule-Based System for Computation and Deduction in Mathematica. WRLA@ETAPS (2020)
Besik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau
Constraint Solving over Multiple Similarity Relations. FSCD (2020)
Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues
Regular matching problems for infinite trees. CoRR (2020)
Besik Dundua, Temur Kutsia, Mikheil Rukhaia
Unranked Nominal Unification. TbiLLC (2019)
Besik Dundua, Temur Kutsia, Mircea Marin
Variadic Equational Matching. CICM (2019)
Mircea Marin, Temur Kutsia, Besik Dundua
A Rule-based Approach to the Decidability of Safety of ABACα. SACMAT (2019)
Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia
Pattern-based calculi with finitary matching. Log. J. IGPL 26 (2) (2018)
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
An Overview of PρLog. PADL (2017)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
Constraint logic programming for hedges. Theory Pract. Log. Program. 16 (2) (2016)
Mircea Marin, Temur Kutsia, Besik Dundua
A rewrite-based computational model for functional logic programming. SCSS (2016)
Mariam Beriashvili, Besik Dundua
A Constraint Solver for Equations over Sequences and Contexts. ICCSAMA (2016)
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. ICLP (Technical Communications) (2016)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
CLP(H): Constraint Logic Programming for Hedges. CoRR (2015)
Besik Dundua, Mário Florido, Temur Kutsia
Lambda Calculus with Regular Types. SYNASC (2015)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS (2014)
Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia
A Rule-Based Approach to XML Processing and Web Reasoning. RR (2010)
Besik Dundua, Temur Kutsia, Mircea Marin
Strategies in PRholog WRS (2009)