Follow
Besik Dundua
Besik Dundua
Kutaisi International University
Verified email at kiu.edu.ge
Title
Cited by
Cited by
Year
Strategies in prholog
B Dundua, T Kutsia, M Marin
arXiv preprint arXiv:1001.4434, 2010
192010
A rule-based approach to XML processing and web reasoning
J Coelho, B Dundua, M Florido, T Kutsia
International Conference on Web Reasoning and Rule Systems, 164-172, 2010
162010
An Overview of P Log
B Dundua, T Kutsia, K Reisenberger-Hagmayer
International Symposium on Practical Aspects of Declarative Languages, 34-49, 2016
122016
Towards integrating attribute-based access control into ontologies
B Dundua, M Rukhaia
2019 IEEE 2nd Ukraine Conference on Electrical and Computer Engineering …, 2019
82019
A Rule-based Approach to the Decidability of Safety of ABACα
M Marin, T Kutsia, B Dundua
Proceedings of the 24th ACM Symposium on Access Control Models and …, 2019
82019
CLP (H): constraint logic programming for hedges
B Dundua, M Florido, T Kutsia, M Marin
Theory and Practice of Logic Programming 16 (2), 141-162, 2016
72016
Constraint solving over multiple similarity relations
B Dundua, T Kutsia, M Marin, C Pau
5th International Conference on Formal Structures for Computation and …, 2020
62020
Programming with sequence and context variables: Foundations and applications
B Dundua
PQDT-Global, 2014
62014
Constraint logic programming for hedges: A semantic reconstruction
B Dundua, M Florido, T Kutsia, M Marin
Functional and Logic Programming: 12th International Symposium, FLOPS 2014 …, 2014
52014
Smartphone sensor-based fall detection using machine learning algorithms
M Dedabrishvili, B Dundua, N Mamaiashvili
Advances and Trends in Artificial Intelligence. Artificial Intelligence …, 2021
42021
Pattern-based calculi with finitary matching
S Alves, B Dundua, M Florido, T Kutsia
Logic Journal of the IGPL 26 (2), 203-243, 2018
42018
Unranked tableaux calculus for web related applications
B Dundua, L Kurtanidze, M Rukhaia
2017 IEEE First Ukraine Conference on Electrical and Computer Engineering …, 2017
42017
Regular matching problems for infinite trees
C Camino, V Diekert, B Dundua, M Marin, G Sénizergues
Logical Methods in Computer Science 18, 2022
32022
Trust and belief, interrelation
B Dundua, L Uridia
3rd WAT, 2010
32010
PρLog. Version 0.7
B Dundua, T Kutsia
3
Extending the Log Calculus with Proximity Relations
B Dundua, T Kutsia, M Marin, C Pau
International Conference on Applications of Mathematics and Informatics in …, 2019
22019
Variadic equational matching
B Dundua, T Kutsia, M Marin
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
22019
An overview of PρLog. RISC Report Series 16-05
B Dundua, T Kutsia, K Reisenberger-Hagmayer
Research Institute for Symbolic Computation, Johannes Kepler University Linz …, 2016
22016
Trust and Belief Interrelation-Modal Logic Approach
B Dundua, L Uridia
Proceedings of the 10th International Workshop on Agreement Technologies …, 2010
22010
PLog: a system for rule-based programming
B Dundua
arXiv preprint arXiv:2108.11699, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20