In the 1990s, the efforts of the School of Theoretical Programming were concentrated on the study of algebraic grammar-methods of knowledge representation model of computation, and friendly user interface for designing and developing databases and knowledge bases for decision support systems, expert systems and methods of learning for them.
After forty years of research, theoretical programming enriched with its own formal-algorithmic apparatus and the subject of research, significantly expanded from procedural languages to methods of knowledge representation that form artificial intelligence tools for developers of application systems.