Ontology-Controlled Geometric Solver. - Sergey S. Kurbatov; Igor B. Fominykh; Aleksandr B. Vorobyev (RCAI, 2020)

Cognitive Patterns for Semantic Presentation of Natural-Language Descriptions of Well-Formalizable Problems. - Sergey S. Kurbatov; Igor B. Fominykh; Aleksandr B. Vorobyev (RCAI, 2021)