info@viam.science.tsu.ge (+995 32) 2 30 30 40 (+995 32) 2 18 66 45

Recursive Functions and Engineering Probabilistic Ontologies (STEM-22-1837)


Funded by

SRNSFGShota Rustaveli National Science Foundation of Georgia

Start Date: 2022-12-23       End Date: 2024-12-23

The goal of the project is to formulate unification and matching problems of engineering probabilistic ontologies, as well as to search and compare algorithms for their solution. In addition, for relevant problems for which there is no algorithm for solving them, our project aims to study the algebraic structures of degrees induced by Turing and other algorithmic reducibilities.

Project members:

Talks

  • Project Presentation: Recursive Functions and Ontology Engineering, by Mikheil Rukhaia (Speaker), Irakli Chitaia, Roland Omanadze at IEEE 19th International Conference on e-Science, 2023, Limassol, Cyprus.

Publications

  • Irakli Chitaia, Roland Omanadze, Mikheil Rukhaia, Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies, Proceedings of IEEE 19th International Conference on e-Science, IEEE, 2023.