Results 11 to 20 of about 8,631,344 (363)
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 normal forms for any additive logic [PDF]
, 2017 In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions.
Mohamed Khaled
openalex +3 more sources
A dynamic approach to characterizing termination of general logic programs [PDF]
TOCL, 2002 We present a new characterization of termination of general logic programs. Most existing termination analysis approaches rely on some static information about the structure of the source code of a logic program, such as modes/types, norms/level mappings,
Yi-Dong Shen +4 more
semanticscholar +1 more source
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 +1 more source
Dynamically Generated Logical Qubits [PDF]
Quantum, 2021 We present a quantum error correcting code with dynamically generated logical qubits. When viewed as a subsystem code, the code has no logical qubits. Nevertheless, our measurement patterns generate logical qubits, allowing the code to act as a fault-tolerant quantum memory.
Jeongwan Haah, Matthew B. Hastings
openaire +4 more sources
Practical Methods for Proving Termination of General Logic Programs [PDF]
Journal of Artificial Intelligence Research, 1996 Termination of logic programs with negated body atoms (here called general logic programs) is an important topic. One reason is that many computational mechanisms used to process negated atoms, like Clark's negation as failure and Chan's constructive ...
E. Marchiori
semanticscholar +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
CONCEPTUAL FRAME OF A TRAINING CURRICULUM: A REQUIREMENT FOR THE APPROPRIATION OF TEACHER TRAINING SCHOOLS FOR GENERAL EDUCATION’ CURRICULA IN CAMEROON [PDF]
Analele Universităţii din Craiova. Psihologie, Pedagogie, 2022 The contribution aims to examine the role and meaning of the conceptual framework in the operation of a training curriculum according to the Competency Based Approach (CBA).
Anne MATOUWE
doaj +1 more source
On the logic of generalized hypertext [PDF]
Decision Support Systems, 1994 Hypertext is one of those neat ideas in computing that periodically burst upon the scene, quickly demonstrating their usefulness and gaining widespread acceptance. As interesting, useful and exciting as hypertext is, the concept has certain problems and limitations, many of which are widely recognized.
Bieber, Michael P, Kimbrough, Steven. O
openaire +3 more sources
Determinants of Judgments of Explanatory Power: Credibility, Generality, and Statistical Relevance
Frontiers in Psychology, 2017 Explanation is a central concept in human psychology. Drawing upon philosophical theories of explanation, psychologists have recently begun to examine the relationship between explanation, probability and causality.
Matteo Colombo +2 more
doaj +1 more source