List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Semantic machine learning and slow thinking Journal of Mathematical Sciences (New York) | 2026-03-09 | Paper |
| Object ontologies as a priori models for logical-probabilistic machine learning Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika | 2025-05-26 | Paper |
| On termination of transactions over semantic document models The Bulletin of Irkutsk State University. Series Mathematics | 2020-03-25 | Paper |
| On termination of transactions over semantic document models The Bulletin of Irkutsk State University. Series Mathematics | 2020-03-25 | Paper |
| Towards semantic document modelling of business processes The Bulletin of Irkutsk State University. Series Mathematics | 2019-12-18 | Paper |
| Locally simple models construction: methodology and practice The Bulletin of Irkutsk State University. Series Mathematics | 2018-10-10 | Paper |
| Document models The Bulletin of Irkutsk State University. Series Mathematics | 2018-03-27 | Paper |
| Embedding relational databases in object ontologies: implementation issues The Bulletin of Irkutsk State University. Series Mathematics | 2016-09-05 | Paper |
| Object theories over list superstructures The Bulletin of Irkutsk State University. Series Mathematics | 2013-06-12 | Paper |
| Databases as ontologies The Bulletin of Irkutsk State University. Series Mathematics | 2013-04-03 | Paper |
| Object oriented description logic The Bulletin of Irkutsk State University. Series Mathematics | 2013-04-03 | Paper |
| Object models and distributed knowledge systems The Bulletin of Irkutsk State University. Series Mathematics | 2013-04-03 | Paper |
| Logical architectures and the object oriented approach Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-05-21 | Paper |
| Ontology, semantic metadata and semantic programming Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-05-21 | Paper |
| A query language for logic architectures Perspectives of Systems Informatics | 2010-02-02 | Paper |
| Logic Programming in Knowledge Domains Logic Programming | 2008-03-11 | Paper |
| Canonical text format, RTF, and mathematical formulas | 2006-07-18 | Paper |
| M-calculus -- a sequent method for automatic theorem proving Cybernetics and Systems Analysis | 1995-11-02 | Paper |
| scientific article; zbMATH DE number 759440 (Why is no real title available?) | 1995-07-05 | Paper |
| scientific article; zbMATH DE number 512890 (Why is no real title available?) | 1994-06-20 | Paper |
| scientific article; zbMATH DE number 4392 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4113962 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4077168 (Why is no real title available?) | 1986-01-01 | Paper |
Research outcomes over time
This page was built for person: A. V. Mantsivoda
