Results 1 to 10 of about 8,779,065 (357)
Termination prediction for general logic programs [PDF]
Theory and Practice of Logic Programming, 2009 We present a heuristic framework for attacking the undecidable termination problem of logic programs, as an alternative to current termination/nontermination proof approaches.
Yi-Dong Shen, D. D. Schreye, Dean Voets
semanticscholar +5 more sources
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 +2 more sources
NP-Logic Systems and Model-Equivalence Reductions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence problem in NP.
Yuping Shen, Xishun Zhao
doaj +4 more sources
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
Finitary Partial Inductive Definitions as a General Logic [PDF]
Extensions of Logic Programming, 1993 L. Eriksson
semanticscholar +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
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
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