On the Unification of the Conceptual Model of the Meta-OntologyThis paper discusses the
unification of the meta-ontological model, namely, its conceptualization
OSTIS Glossary — the Tool to Ensure
Consistent and Compatible Activity for the
Development of the New Generation Intelligent
SystemsZotov, N.,
Khodosov, T.,
Ostrov, M.,
Poznyak, A.,
Romanchuk, I.,
Rublevskaya, K.,
Semchenko, B.,
Sergievich, D.,
Titov, A.,
Sharou, F. of information from diff erent
knowledge areas, as well as an analysis of methods and technologies for creating
Unification in Linear Modal Logic on Non-transitive Time with the Universal ModalityWe investigate the question of
unification in the linear modal logic on non-transitive time
Unification in Linear Modal Logic on Non-transitive Time with the Universal ModalityWe investigate the question of
unification in the linear modal logic on non-transitive time
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTKWe study
unification of formulas in multi-modal LTK logic and give a syntactic description of all
Процессы передачи формальной и неформальной информации между участниками рынка-quality
unification of market participants into communities of
knowledge transfer leaders in order to improve its
Non-unifiability in linear temporal logic of knowledge with multi-agent relationsThe paper is devoted to the study of the
unification problem in the linear temporal logic
Experimental Signatures of the Gauge-Higgs Unification ModelsThe phenomenological predictions of the 5D gauge-Higgs
unification models with SO(5) × U(1) gauge
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTKUnification and Inference Rules in the Multi-modal Logic of
Knowledge and Linear Time LTK