Dr. Denis Ponomaryov

I was a member of the DFG's Transregional Collaborative Research Centre SFB/TRR 62 and am currently associated with the Institute of Informatics Systems in Novosibirsk, Russia.

In the past I have been working as a Visiting Professor at the Institute for Algebra at the Technical University of Dresden, Institute of Mathematics at the Technical University of Darmstadt, and Department of Computer Science at the Ryerson University in Toronto.

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 Bioinformatics that benefit from application of these fields of Mathematics.

My current research activities are concerned with logical and algebraic methods of terminological reasoning, modular representation of theories, and distributed reasoning techniques for Description Logics. 

Contact

  • denis.ponomarev(at)uni-ulm.de
  • Phone:  +49 (0)731/50-24109
  • Fax:      +49 (0)731/50-24188
  • Postal Address

  • Dr. Denis Ponomaryov
  • Ulm University
  • Institute of Artificial Intelligence
  • D-89069 Ulm
  • Germany
  • Office

  • James-Franck-Ring
  • Building O27, 4th floor
  • Room 424

Publications

Preferences

Show keywords Show abstracts

2015

25.
pdf
Behnke, Gregor; Ponomaryov, Denis; Schiller, Marvin; Bercher, Pascal; Nothdurft, Florian; Glimm, Birte and Biundo, Susanne
Coherence Across Components in Cognitive Systems – One Ontology to Rule Them All
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015) , page 1442-1449.
Publisher: AAAI Press,
2015
24.
pdf
Behnke, Gregor; Bercher, Pascal; Biundo, Susanne; Glimm, Birte; Ponomaryov, Denis and Schiller, Marvin
Integrating Ontologies and Planning for Cognitive Systems
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015
23.
pdf
Behnke, Gregor; Schiller, Marvin; Ponomaryov, Denis; Nothdurft, Florian; Bercher, Pascal; Minker, Wolfgang; Glimm, Birte and Biundo, Susanne
A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning
Proceedings of the First International Symposium on Companion Technology (ISCT 2015) , page 43--48.
2015

2014

22.
pdf
Emelyanov, Pavel and Ponomaryov, Denis
On Tractability of Disjoint AND-Decomposition of Boolean Formulas
PSI, Ershov Informatics Conference,
2014
21.
pdf
Ponomaryov, Denis
The algorithmic complexity of decomposability in fragments of first-order logic
Logic Colloquium,
2014

2013

20.
default
Ponomaryov, Denis and Vlasov, Dmitry
A Sort-binding Method of Combining Logics
UNILOG, The 4th World Congress on Universal Logic
2013
19.
pdf
Ponomaryov, Denis and Vlasov, Dmitry
Concept Definability and Interpolation in Enriched Models of EL-TBoxes
Proceedings of the 26th International Workshop on Description Logics (DL 2013)
Publisher: CEUR Workshop Proceedings,
2013
18.
pdf
Ponomaryov, Denis and Soutchanski, Mikhail
Progression of Decomposed Situation Calculus Theories
AAAI, The Twenty-Seventh Conference on Artificial Intelligence
2013

2012

17.
pdf
Vityaev, Evgeny; Demin, Alexander and Ponomaryov, Denis
Probabilistic Generalization of Formal Concepts
Programming and Computer Software, 38(5):219-230
2012
16.
default
Ponomaryov, Denis and Vlasov, Dmitry
On Definability and Redundancy in EL-TBoxes
RR, The 6th International Conference on Web Reasoning and Rule Systems
2012
Export as: BibTeX, XML