• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
A Rewriting Framework and Logic for Activities Subject to Regulations

Kanovich M., Scedrov A., Nigam V. et al.

Mathematical Structures in Computer Science. 2015.

Book chapter
Distributed Architecture of Data Analysis System based on Formal Concept Analysis Approach

Neznanov A., Parinov A.

In bk.: Intelligent Distributed Computing IX. Springer International Publishing, 2015. P. 265-271.

Article
Triadic Formal Concept Analysis and triclustering: searching for optimal patterns

Ignatov D. I., Gnatyshak D. V., Sergei O. Kuznetsov et al.

Machine Learning. 2015. Vol. 101. No. 1. P. 271-302.

School of Data Analysis and Artificial Intelligence Join the Association for Symbolic Logic

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.


The Association for Symbolic Logic is the largest American organization of contemporary logic researchers and is, in fact, not just an American institution, but an international one. It was founded in 1936 and aims to promote research in symbolic (formal, mathematical) logic and events directly related to it. Any researcher or academic institution from any country who is interested in symbolic logic can become a member of ASL. ASL publishes the Journal of Symbolic Logic, which has been issued quarterly since 1936.