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
10 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
8 2020 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 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