List of papers by Denis Ponomaryov

 

G. Behnke, D. Ponomaryov, M. Schiller, P. Bercher, F. Nothdurft, B. Glimm, and S. Biundo
Coherence across components in cognitive systems – One ontology to rule them all.
Proc.   IJCAI '2015, Buenos Aires, Argentina, July 2015.
PDF

P. Emelyanov and D. Ponomaryov
Algorithmic issues of AND-decomposition of boolean formulas.
Programming and Computer Software 41(3): 162-169, 2015.
PDF

G. Behnke, P. Bercher, S. Biundo, B. Glimm, D. Ponomaryov, and M. Schiller
Integrating ontologies and planning for cognitive systems.
Proc.   DL '2015, The Description Logic Workshop, Athens, Greece, June 2015.
PDF

P. Emelyanov and D. Ponomaryov
The complexity of AND-decomposition of boolean formulas.
Manuscript,  2014
PDF

D. Ponomaryov
The algorithmic complexity of decomposability in fragments of first-order logic.
Extended abstract appears in Proc.  Logic Colloquium'14, Vienna, Austria, July 2014.
PDF (Research Note)

P. Emelyanov and D. Ponomaryov
On Tractability of Disjoint AND-Decomposition of Boolean Formulas.
Proc. PSI'2014, Peterhof, St. Petersburg, Russia, June 2014.
PDF

D. Ponomaryov and M. Soutchanski
Progression of decomposed Situation Calculus theories.
In Proc.  AAAI'2013, Bellevue, USA, July 2013.
PDF (Full version)     PDF (Short version)

D. Ponomaryov and D. Vlasov
Concept definability and interpolation in enriched models of EL-TBoxes
In Proc.  DL'2013, The Description Logic Workshop.
PDF (Full version)

D. Ponomaryov and D. Vlasov
A sort-binding method of combining logics.
In Proc.  UNILOG'2013, The 4th World Congress on Universal Logic.

D. Ponomaryov and D. Vlasov
On definability and redundancy in EL-TBoxes.
In Proc.  RR'2012, Vienna, Austria, September 2012.

E. Vityaev, A. Demin, and D. Ponomaryov
Probabilistic generalization of formal concepts.
Programming and Computer Software 38(5): 219-230, 2012.
PDF

A. Demin, D. Ponomaryov, and E. Vityaev
Probabilistic concepts in formal contexts.
In Proc.  ARCOE Workshop at IJCAI’11, Barcelona, Spain, July 2011.
PDF (English) PDF (Russian)

A. Morozov and D. Ponomaryov
On decidability of the decomposability problem for finite theories.
Siberian Mathematical Journal, 51(4), 2010.
PDF (English) PDF (Russian)

B. Konev, C. Lutz, D. Ponomaryov, and F. Wolter
Decomposing description logic ontologies.
In Proc. KR'2010, Toronto, Canada, May 2010.
PDF

D. Ponomaryov
On decomposability in logical calculi.
Bulletin of the Novosibirsk Computing Center, Comp. Science, 28: 111-120, 2008.
PDF (English) PDF (Russian)

D. Ponomaryov
A decomposability criterion for elementary theories.
Siberian Mathematical Journal, 49(1): 152-154, 2008.
PDF (English) PDF (Russian)

N. Omelianchuk, V. Mironova, E. Zalevsky, N. Podkolodny, D. Ponomaryov, S. Nikolaev, I. Akberdin, E. Ozonov, V. Likhoshvai, S. Fadeev, A.  Penenko, V. Lavrekha, U. Zubairova, and N. Kolchanov
Plant morphogenesis: reconstruction in databases and modeling.
In Computational System Biology, Ed. by N. Kolchanov, S. Goncharov, V. Likhoshvai, and V. Ivanisenko, SB RAS Publishing, pages 539-588, 2008. 

D. Ponomaryov
Generalized decomposability notions for first-order theories.
Bulletin of the Novosibirsk Computing Center, Comp. Science, 26: 103-110, 2007.
PDF

D. Ponomaryov
Properties of relatively decomposable theories.
In Proc. KONT'07 conference, Vol.1, pages 116-121. Novosibirsk, September 2007. 

D. Ponomaryov, N. Omelianchuk, V. Mironova, E. Zalevsky, N. Podkolodny, E. Mjolsness, and N. Kolchanov
From published expression and phenotype data to structured knowledge: the Arabidopsis gene net supplementary database and its applications
In Proc. KONT'07 conference, Novosibirsk, September 2007.  

D. Ponomaryov
Syntactic unambiguity with respect to knowledge representation in first-order logic.
PhD Thesis, Institute of Informatics Systems, Novosibirsk (Russia), 2006. In Russian

N. Omelianchuk, V. Mironova, E. Zalevsky, I. Shamov, A. Poplavsky, N.  Podkolodny, D. Ponomaryov, S. Nikolaev, E. Mjolsness, E. Meyerowitz, and N. Kolchanov
A systems approach to morphogenesis in Arabidopsis Thaliana: I. AGNS database.
Biophysics (Biophisika), 51(1): 75-82, 2006. 
PDF

D. Ponomaryov
Semantic Web basics in logical consideration.
Lecture Notes in Informatics, P-94(2): 337-344, 2006. 

D. Ponomaryov
Formal knowledge representation and the decomposability problem.
Preprint No.135, Institute of Informatics Systems, Novosibirsk, 2006. In Russian

D. Ponomaryov, N. Omelianchuk, N. Kolchanov, E. Mjolsness, and E. Meyerowitz
Semantically rich ontology of anatomical structure and development for Arabidopsis thaliana (L.).
In Proc. Bioinformatics of Genome Regulation and Structure (BGRS'2006), pages 227-230. Novosibirsk, July 2006. 

V. Mironova, A. Poplavsky, D. Ponomaryov, and N. Omelianchuk
Ontology of Arabidopsis Genenet Supplementary Database (AGNS): Cross references to TAIR ontology.
In Proc. Bioinformatics of Genome Regulation and Structure (BGRS'2006), pages 209-212. Novosibirsk, July 2006. 

D. Ponomaryov, N. Omelianchuk, N. Kolchanov, E. Mjolsness, and E. Meyerowitz
A program method for inferring relationships between phenotypic abnormalities of Arabidopsis.
In Proc. Bioinformatics of Genome Regulation and Structure (BGRS'2006), pages 231-234. Novosibirsk, July 2006. 

D. Ponomaryov
Lattice semantics for incremental data extraction from declarative knowledge bases.
Preprint No.134, Institute of Informatics Systems, Novosibirsk, 2006. In Russian

D. Ponomaryov
The decomposability problem in the light of minimization of axioms.
In Proc. Microsoft conference on Computer Science, pages 213-215. Novosibirsk, February, 2006. In Russian

D. Ponomaryov
On decomposability of elementary theories.
Algebra and Model Theory, 5:162-169, 2005. In Russian

D. Ponomaryov.
Using ontology languages in development of Web-based information systems.
Bulletin of the Novosibirsk State University, Information Technology Series, 1(2):5-20, 2004. In Russian

D. Ponomaryov
Building descriptions of subject domains with metadata languages.
In Proc. XLI International Scientific Student Conference (ISSC'03), pages 39-40. Novosibirsk, April 2003. In Russian