11 - 20 out of 71Page size: 10
  1. 2019

  2. Truth and Justification in Knowledge Representation

    Родин, А. В. & Ковалёв, С., 2019, Proceedings of the 7th International Workshop "What can FCA do for Artificial Intelligence"?. (CEUR Workshop Proceedings; vol. 2529).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  3. Знания и их представление в компьютерную эпоху

    Родин, А. В. & Ковалёв, С., 2019, In: ЧЕЛОВЕК. 30, 4, p. 94-112 16 p.

    Research output: Contribution to journal › Article › peer-review

  4. 2018

  5. On the constructive axiomatic method

    Родин, А. В., Jun 2018, In: Logique et Analyse. 61, 242, p. 201-231 31 p.

    Research output: Contribution to journal › Review article › peer-review

  6. Rules versus Axioms: a Constructive View of Theories

    Родин, А. В., 2018, Handbook of 6th World Congress and School on Universal Logic (June 16-26, 2018, Vichy, France), Université Clermont Auvergne, 2018. Beziau, J-Y. (ed.). Clermont Auvergne, p. 541-542 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research › peer-review

  7. Two “Styles” of axiomatization: Rules versus Axioms. A Modern Perspective

    Родин, А. В., 2018, In: Bulletin of Symbolic Logic. 24, 2, p. 263-264 2 p.

    Research output: Contribution to journal › Meeting Abstract › peer-review

  8. Univalent Foundations and the Constructive View of Theories

    Родин, А. В., 2018, Логико-философские штудии, 16, 1-2.

    Research output: Contribution to specialist publication › Letter › Other

  9. Проблема обоснования в формальном представлении знаний

    Ковалев, С. П. & Родин, А. В., 2018, In: ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. 46, p. 22-29 7 p.

    Research output: Contribution to journal › Article › peer-review

  10. Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

    Родин, А. В., 2018, (Accepted/In press) In: ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ. 55, 4, p. 44-47

    Research output: Contribution to journal › Comment/debate › peer-review

  11. 2017

  12. Categorical Model Theory and the Semantic View of Theories.

    Родин, А. В., 2017.

    Research output: Contribution to conference › Abstract › peer-review

  13. Computing in Space and Time

    Родин, А. В., 2017, Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data. Pietsch, W. (ed.). Springer Nature, p. 193-207

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Previous 1 2 3 4 5 6 7 8 Next

ID: 206488