Tag "School of Data Analysis and Artificial Intelligence"

On August 21 Artem Revenko defended his thesis on ‘Automatic Construction of Implicative Theories for Mathematical Domains’ at the Faculty of Computer Science at Dresden University of Technology.
The International Research Conference AIST on Analysis of Images, Social Networks, and Texts took place at Yekaterinburg.
Institutional cooperation between the Association and the Department has been expanded with the participation of three students who wrote their term and graduation papers under the supervision of the Department’s lecturers in the following fields: Boolean and many-valued logics; Functional expressibility in closed classes; Blueprint trees and building a decision-making system in 3D shooters, based on deduction rules.