Results 1 to 10 of about 8,631,344 (363)
Synthesizing Recursive Logic Programs by Inverting General Resolution
IEEE AccessA fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj +2 more sources
A general propositional logic of conditionals. [PDF]
Notre Dame Journal of Formal Logic, 1979 Scott K. Lehmann
openalex +5 more sources
An RTL-Based General Synthesis Methodology for Device-Independent Ternary Logic Circuits
IEEE AccessTernary logic circuits are considered a high-potential alternative that can continue the technological advance of binary logic. Current studies in ternary logic focus on two aspects: One focuses on designing specific ternary circuits (such as adders ...
Hanmok Park +3 more
doaj +2 more sources
Toward a generalization of the logic of grounding [PDF]
THEORIA. An International Journal for Theory, History and Foundations of Science, 2021 The main goal of this paper is to provide a ground-analysis of two classical connectives that have so far been ignored in the literature, namely the exclusive disjunction, and the ternary disjunction. Such ground-analysis not only serves to extend the applicability of the logic of grounding but also leads to a generalization of Poggiolesi (2016)’s ...
Poggiolesi, Francesca, Francez, N.
openaire +4 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
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
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
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
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
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