Results 11 to 20 of about 8,779,065 (357)
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
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
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
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
Дискурс, 2020 Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series.
O. M. Polyakov
doaj +1 more source
FLP Semantics Without Circular Justifications for General Logic Programs
AAAI Conference on Artificial Intelligence, 2012 The FLP semantics presented by (Faber, Leone, and Pfeifer 2004) has been widely used to define answer sets, called FLP answer sets, for different types of logic programs such as logic programs with aggregates, description logic programs (dl-programs),
Yi-Dong Shen, Kewen Wang
semanticscholar +1 more source
Theoretical Computer Science, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Popescu, A., Roşu, G.
openaire +2 more sources
Dependence logic with generalized quantifiers: Axiomatizations [PDF]
Journal of Computer and System Sciences, 2013 We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the ...
Engström, F. +2 more
openaire +8 more sources
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source