1. 2017
  2. On the complexity of semantic integration of OWL ontologies

    Kazakov, Y. & Ponomaryov, D., 1 янв. 2017, в: CEUR Workshop Proceedings. 1879

    Результаты исследований: Научные публикации в периодических изданияхстатья по материалам конференцииРецензирование

  3. Progression of decomposed local-effect action theories

    Ponomaryov, D. & Soutchanski, M., 1 июн. 2017, в: ACM Transactions on Computational Logic. 18, 2, 41 стр., 16.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. Cartesian decomposition in data analysis

    Emelyanov, P. & Ponomaryov, D., 18 окт. 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., стр. 55-60 6 стр. 8071964. (Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  5. 2018
  6. Defind: a protege plugin for computing concept definitions in εL Ontologies

    Ponomaryov, D. & Яковенко, С. Н., 1 янв. 2018, Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer, стр. 235-243 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11341 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  7. On a Polytime Factorization Algorithm for Multilinear Polynomials over F2

    Emelyanov, P. & Ponomaryov, D., 1 янв. 2018, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. Gerdt, VP., Koepf, W., Seiler, WM. & Vorozhtsov, EV. (ред.). Springer, стр. 164-176 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11077 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  8. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 987-995 9 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  9. 2019
  10. Parallel Factorization of Boolean Polynomials

    Kulkarni, V., Emelyanov, P., Ponomaryov, D., Krishna, M., Raha, S. & Nandy, S. K., 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 80-94 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  11. A formalization of document models with semantic modelling

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2019, в: Bulletin of Irkutsk State University, Series Mathematics. 27, стр. 36-54 19 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  12. A polynomial time delta-decomposition algorithm for positive DNFs

    Ponomaryov, D., 1 янв. 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer, стр. 325-336 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11532 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  13. Towards semantic document modelling of business processes

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2019, в: Bulletin of Irkutsk State University, Series Mathematics. 29, стр. 52-67 16 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Назад 1 2 Далее

ID: 3449889