Results 1 to 10 of about 1,785,243 (284)
General-purpose mechanical computing enabled by origami circuit reconfiguration with robotic addressing and activation [PDF]
Nature CommunicationsInspired by information sensing, storage, and processing capabilities of natural systems, mechanical computing built upon intelligent matters is emerging toward directly perceiving environmental changes and making autonomous decisions.
Yinghua Chen, Ting Tan, Zhimiao Yan
doaj +2 more sources
Dilemmas of logical hylomorphism [PDF]
Кантовский сборник, 2015 Logical hylomorphism considers logic as a theory of formal relations. However, it is difficult to give a precise definition of these relations due to a multitude of interpretations of formality in logic.
Dragalina-Chernaya E. G.
doaj +1 more source
Consequences and Design in General and Transcendental Logic [PDF]
Кантовский сборник, 2018 In this article, I consider Kant’s dichotomy between general and transcendental logic in light of a retrospective reconstruction of two approaches originating in 14th century scholasticism that are used to demarcate formal and material consequences.
Dragalina-Chernaya, E. G.
doaj +1 more source
2P-Kt: A logic-based ecosystem for symbolic AI
SoftwareX, 2021 To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working as monolithic solutions tailored upon specific inference procedures, unification mechanisms, or knowledge representation techniques. Instead,
Giovanni Ciatto +2 more
doaj +1 more source
Sequent calculus usage for BDI agent implementation
Lietuvos Matematikos Rinkinys, 2023 BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention.
Adomas Birstunas
doaj +3 more sources
Weakening the Logic of Public Authority in the Concept of Administrative Contract by the Existence of Competitive Logic [PDF]
სამართალი და მსოფლიო, 2022 Public activity has undergone a transformation and the integrity of administrative contract law can no longer be based on the traditional notion of administrative contract.
Ivane Balakhashvili
doaj +1 more source
The HERA Methodology: Reconfigurable Logic in General-Purpose Computing
IEEE Access, 2021 Due to the ongoing slowdown of Dennard scaling, heterogeneous hardware architectures are inevitable to meet the increasing demand for energy efficient systems.
Philipp Holzinger, Marc Reichenbach
doaj +1 more source
The Connotation and Logical Construction of Government Digital Transformation -- Based on the Analysis of Sociotechnical System Theory [PDF]
E3S Web of Conferences, 2021 With the in-depth application of digital technology in government governance toward integration and in-depth development, government digital transformation has flourished in practice and research, which characterized by digitalization, networking and ...
Gao Tian-peng, Su Hong, Yu Ting
doaj +1 more source
Fuzzy inequational logic [PDF]
, 2015 We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic
Vychodil, Vilem
core +1 more source
What is transcendental logic? [PDF]
Кантовский сборник, 2010 This article deals with Kant's justification of transcendental logic. The author shows how Kant draws the distinction between general and transcendental logic.
Semenov V. Ye.
doaj +1 more source