| Strategies in prholog B Dundua, T Kutsia, M Marin arXiv preprint arXiv:1001.4434, 2010 | 19 | 2010 |
| 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 | 16 | 2010 |
| An Overview of P Log B Dundua, T Kutsia, K Reisenberger-Hagmayer International Symposium on Practical Aspects of Declarative Languages, 34-49, 2016 | 12 | 2016 |
| 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 | 9 | 2019 |
| Towards integrating attribute-based access control into ontologies B Dundua, M Rukhaia 2019 IEEE 2nd Ukraine Conference on Electrical and Computer Engineering …, 2019 | 8 | 2019 |
| Constraint solving over multiple similarity relations B Dundua, T Kutsia, M Marin, C Pau 5th International Conference on Formal Structures for Computation and …, 2020 | 7 | 2020 |
| 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 | 7 | 2016 |
| Programming with sequence and context variables: Foundations and applications B Dundua PQDT-Global, 2014 | 6 | 2014 |
| 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 | 5 | 2014 |
| Smartphone sensor-based fall detection using machine learning algorithms M Dedabrishvili, B Dundua, N Mamaiashvili Advances and Trends in Artificial Intelligence. Artificial Intelligence …, 2021 | 4 | 2021 |
| Pattern-based calculi with finitary matching S Alves, B Dundua, M Florido, T Kutsia Logic Journal of the IGPL 26 (2), 203-243, 2018 | 4 | 2018 |
| Unranked tableaux calculus for web related applications B Dundua, L Kurtanidze, M Rukhaia 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering …, 2017 | 4 | 2017 |
| Regular matching problems for infinite trees C Camino, V Diekert, B Dundua, M Marin, G Sénizergues Logical Methods in Computer Science 18, 2022 | 3 | 2022 |
| Trust and belief, interrelation B Dundua, L Uridia 3rd WAT, 2010 | 3 | 2010 |
| 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 | 2 | 2019 |
| Variadic equational matching B Dundua, T Kutsia, M Marin Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019 | 2 | 2019 |
| 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 | 2 | 2016 |
| Trust and Belief Interrelation-Modal Logic Approach B Dundua, L Uridia Proceedings of the 10th International Workshop on Agreement Technologies …, 2010 | 2 | 2010 |
| Variadic equational matching in associative and commutative theories B Dundua, T Kutsia, M Marin Journal of Symbolic Computation 106, 78-109, 2021 | 1 | 2021 |
Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityVerified email at logic.at
