Dr. Denis Ponomaryov


I am Senior Research Associate at the Institute of Informatics Systems of the Siberian Division of Russian Academy of Sciences.

My research interests concern the use of Logic in Computer Science and include Model Theory, Computability Theory, and Complexity Theory. I am particularly interested in novel directions in Knowledge Engineering and Artificial Intelligence that can benefit from application of these fields of Mathematics.

My current research activities are concerned with symbolic and sub-symbolic approaches to AI, logic and algebraic methods for terminological reasoning, decomposition of combinatoric structures, modular and distributed representation of logical theories, semantic programming, rule-based data mining.

I serve as a Program Committee member to conferences on AI such as
  • IJCAI (International Joint Conference on Artificial Intelligence)
  • AAAI (AI Conference of the Association for the Advancement of Artificial Intelligence)
  • ECAI (European Conference on Artificial Intelligence)
and related venues.

The research projects mostly related to my research: