Results 21 to 30 of about 5,727 (300)
AXIOMATIC-DEDUCTIVE STRATEGY FOR IT DISCIPLINE CONTENT FORMATION
Інформаційні технології і засоби навчання, 2019 The paper presents the axiomatic-deductive strategy of organizing the content of an academic discipline with the help of ontological approach in the e-learning systems in the field of information technologies. The authors have taken into account that the
Serhii A. Lupenko +2 more
doaj +1 more source
Axioms, 2022 This paper presents a new theoretical approach to the study of robotics manipulators dynamics. It is based on the well-known geometric approach to system dynamics, according to which some axiomatic definitions of geometric structures concerning invariant
Paolo Mercorelli
doaj +1 more source
Machine Psychology: integrating operant conditioning with the non-axiomatic reasoning system for advancing artificial general intelligence research. [PDF]
Front Robot AIJohansson R.
europepmc +2 more sources
An axiomatic approach to personalized ranking systems [PDF]
Journal of the ACM, 2010 Personalized ranking systems and trust systems are an essential tool for collaboration in a multi-agent environment. In these systems, trust relations between many agents are aggregated to produce a personalized trust rating of the agents. In this article, we introduce the first extensive axiomatic study of this setting, and explore a wide array of ...
Altman, Alon, Tennenholtz, Moshe
openaire +5 more sources
Mathematical foundations of the theory of dimensions and similarity
Vietnam Journal of Mechanics, 1980 In this work, we present a stringent axiomatic model of computation using dimensional quantities. This model is the dimensional scalar space. We use the axiomatic method to introduce the concept of dimensional scalar space.
Rychlewski J.
doaj +1 more source
Uniting Normal and Non-Normal Modal Logics by One Axiomatic System of Philosophical Epistemology
Дискурс Пи, 2017 For the first time in analytic philosophy the universal theory of knowledge is precisely formulated and defined as an axiomatic system ?. For formulating it four axiom schemes are used.
V.O. Lobovikov
doaj +1 more source
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
Моделирование и анализ информационных систем, 2021 The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed in IIS SB RAS.
Dmitry A. Kondratyev
doaj +1 more source
An Axiomatic Account of Question Evocation: The Propositional Case
Axioms, 2016 An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.
Andrzej Wiśniewski
doaj +1 more source
MATEC Web of Conferences, 2017 In education, the communication processes are critical. The result of education process depends on a significant manner by the quality of the incurred communication.
Iliescu Dragoş, Banciu Felicia Veronica
doaj +1 more source
Axiomatic Information Thermodynamics
Entropy, 2018 We present an axiomatic framework for thermodynamics that incorporates information as a fundamental concept. The axioms describe both ordinary thermodynamic processes and those in which information is acquired, used and erased, as in the operation of ...
Austin Hulse +2 more
doaj +1 more source