Results 51 to 60 of about 52,814 (199)
A Defeasible Logic of Institutional Agency [PDF]
, 2003 A non-monotonic logic of institutional agency is defined combining a computationally oriented non-monotonic system (Defeasible Logic) and intentional notions of ...
Governatori, Guido, Rotolo, Antonino
core +2 more sources
A Logic for Non-Monotone Inductive Definitions
, 2005 50 pages, TOCL ...
Denecker, Marc, Ternovska, Eugenia
openaire +2 more sources
What is a (non-constructive) non-monotone logical system?
Theoretical Computer Science, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Besnard, Philippe +1 more
openaire +2 more sources
The Gödel and the Splitting Translations [PDF]
, 2010 When the new research area of logic programming and non-monotonic reasoning emerged at the end of the 1980s, it focused notably on the study of mathematical relations between different non-monotonic formalisms, especially between the semantics of stable ...
Pearce, David Andrew
core
Diverging Approaches to Skeptical Inference in Non-monotonic Reasoning
Principia: An International Journal of EpistemologyOur paper addresses the problem of a two-fold approach to skeptical inferences in the context non-monotonic logics. We tackle the problem through the analysis of ambiguous theories, such as the Nixon Diamond, as instantiated in non-monotonic inheritance ...
Jorge Andrés Morales Delgado
doaj +1 more source
A unifying view for logic programming with non-monotonic reasoning
Theoretical Computer Science, 1997 The paper provides a simple formulation of a unified LP-based semantic framework within which three main extensions of logic programming for non-monotonic reasoning are treated uniformly, namely two forms of negation and abduction. The semantics is based on the well-known notion of Herbrand models for definite Horn programs, through the notion of ...
BROGI, ANTONIO +3 more
openaire +4 more sources
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
Temporal extensions to defeasible logic [PDF]
, 2007 In this paper, we extend defeasible logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as well as with delays between the antecedent and the ...
Governatori, Guido, Terenziani, Paolo
core +2 more sources
Genes and Ant for Defaults Logic [PDF]
, 2001 Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitable for non monotonic reasoning, but the counterpart is their very high level
F. Saubion, I. Stéphan, P. Nicolas
core +1 more source
Formal Ontologies and Semantic Technologies: A “Dual Process” Proposal for Concept Representation
Philosophia Scientiæ, 2014 One of the main problems of most contemporary concept-oriented knowledge representation systems is one of technical convenience. Namely the representation of knowledge in prototypical terms and the possibility of exploiting forms of typicality-based ...
Marcello Frixione, Antonio Lieto
doaj +1 more source