Dr. Denis Ponomaryov

I am Senior Research Associate at the Institute of Informatics Systems of 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 applications of these fields of Mathematics.

My current research activities are concerned with symbolic and sub-symbolic approaches to AI, theory and practice of database systems, and the development of AI tools for databases.

I served as a Program Committee member to conferences 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:

• A New Generation of Logic and Probabilistic Tools for Artificial Intelligence
• Live Ontologies - Reasoning Support for the Development of Distributed and Dynamically Changing OWL Ontologies
• A Companion-Technology for Cognitive Technical Systems
• Logical Difference for Ontology Versioning
• Composing and Decomposing Ontologies: a Logic-based Approach
• The Partitioning and Reasoning Project