Dr. Denis Ponomaryov

Dr. Denis Ponomaryov hat die Universität Ulm verlassen. Diese Seite wird nicht mehr gepflegt.

Ich war ein Mitglied des DFG-Sonderforschungsbereiches SFB/TRR 62 und momentan bin mit dem Institut für Informatiksysteme in Novosibirsk, Russland assoziiert

Früher habe ich als Gastprofessor am Institut für Algebra an der TU Dresden, am Fachbereich Mathematik an der TU Darmstadt, und am Fachbereich Computer Science an der Ryerson University in Toronto gearbeitet.  

Mein wissenschaftliches Interesse gilt der Verwendung von Logik in der Informatik und schließt die Modelltheorie, Berechenbarkeitstheorie, und Komplexitätstheorie ein. Ich interessiere mich besonders für neue Richtungen im Wissensengineering und der Bioinformatik, die von Anwendungen dieser Bereiche der Mathematik profitieren können. 

Meine derzeitige Forschungsarbeit befasst sich mit logischen und algebraischen Methoden im terminologischen Schlussfolgern, mit der modularen Repräsentation von Theorien und dem Verfahren des verteilten Reasoning für Beschreibungslogiken.

Publikationen

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

2015

25.
pdf
Behnke, Gregor; Ponomaryov, Denis; Schiller, Marvin; Bercher, Pascal; Nothdurft, Florian; Glimm, Birte und 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) , Seite 1442-1449.
Herausgeber: AAAI Press,
2015
24.
pdf
Behnke, Gregor; Bercher, Pascal; Biundo, Susanne; Glimm, Birte; Ponomaryov, Denis und Schiller, Marvin
Integrating Ontologies and Planning for Cognitive Systems
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Herausgeber: CEUR Workshop Proceedings,
2015
23.
pdf
Behnke, Gregor; Schiller, Marvin; Ponomaryov, Denis; Nothdurft, Florian; Bercher, Pascal; Minker, Wolfgang; Glimm, Birte und 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) , Seite 43--48.
2015

2014

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

2012

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