Besik Dundua

According to our database, Besik Dundua authored at least 22 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Prenex universal first-order safety properties.

Besik Dundua, Ioane Kapanadze, Helmut Seidl

Inf. Process. Lett., 2024

2023

PDAN Light: An Improved Attention Network for Action Detection.

David García-Retuerta, Besik Dundua, Mariam Dedabrishvili

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Applications, 2023

2022

Regular matching problems for infinite trees.

Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues

Log. Methods Comput. Sci., 2022

2021

Variadic equational matching in associative and commutative theories.

Besik Dundua, Temur Kutsia, Mircea Marin

J. Symb. Comput., 2021

PρLog: a system for rule-based programming.

Besik Dundua

CoRR, 2021

Smartphone Sensor-Based Fall Detection Using Machine Learning Algorithms.

Mariam Dedabrishvili, Besik Dundua, Natia Mamaiashvili

Proceedings of the Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices, 2021

2020

A Rule-Based System for Computation and Deduction in Mathematica.

Mircea Marin, Besik Dundua, Temur Kutsia

Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

Constraint Solving over Multiple Similarity Relations.

Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Unranked Nominal Unification.

Besik Dundua, Temur Kutsia, Mikheil Rukhaia

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

A Rule-based Approach to the Decidability of Safety of ABACα.

Mircea Marin, Temur Kutsia, Besik Dundua

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

Variadic Equational Matching.

Besik Dundua, Temur Kutsia, Mircea Marin

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018

Pattern-based calculi with finitary matching.

Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia

Log. J. IGPL, 2018

2017

An Overview of PρLog.

Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer

Proceedings of the Practical Aspects of Declarative Languages, 2017

2016

<i>CLP(H): </i> Constraint logic programming for hedges.

Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin

Theory Pract. Log. Program., 2016

A rewrite-based computational model for functional logic programming.

Mircea Marin, Temur Kutsia, Besik Dundua

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

P-rho-Log: Combining Logic Programming with Conditional Transformation Systems.

Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

A Constraint Solver for Equations over Sequences and Contexts.

Mariam Beriashvili, Besik Dundua

Proceedings of the Advanced Computational Methods for Knowledge Engineering, 2016

2015

CLP(H): Constraint Logic Programming for Hedges.

Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin

CoRR, 2015

Lambda Calculus with Regular Types.

Besik Dundua, Mário Florido, Temur Kutsia

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

2014

Constraint Logic Programming for Hedges: A Semantic Reconstruction.

Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2010

A Rule-Based Approach to XML Processing and Web Reasoning.

Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

2009

Strategies in PRholog

Besik Dundua, Temur Kutsia, Mircea Marin

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009