Results 71 to 80 of about 697,506 (186)
Translating preferred answer set programs to propositional logic
, 2009 We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and practical interests: on one hand, it will shed new insights to understand the expressive ...
Asuncion, Vernon (R18659), Zhang, Yan
core
Revising Nonmonotonic Theories: The case of Defeasible Logic [PDF]
, 1999 The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are the fact that intelligent systems are gradually developed and refined, and that often
Governatori, G +7 more
core +1 more source
Reasoning about minimal knowledge in nonmonotonic modal logics
, 1999 We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle's nonmonotonic modal logics and ground nonmonotonic modal logics. First, we
ROSATI, Riccardo
core +1 more source
Nested epistemic logic programs
, 2005 Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored.
Wang, KW, Zhang, Y
core +1 more source
Argumentation for Propositional Logic and Nonmonotonic Reasoning
, 2013 Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI.
Kakas A. +4 more
core
Nonmonotonic Description Logic Programs: Implementation and Experiments
, 2005 . The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced methods and algorithms.
Hans Tompits +3 more
core +1 more source
Aspects and Modular Reasoning in Nonmonotonic Logic
, 2008 Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic logic which deserves further study. As a concrete technical contribution and
core
Nonmonotonic Logic and Neural Networks
, 1997 A puzzle in the philosophy of mind concerns the gap between symbolic and subsymbolic (neuron-like) modes of processing (e.g. Smolensky 1988). The aim of this paper is to overcome this gap by viewing symbolism as a highlevel description of the properties ...
Paul David Doherty, Reinhard Blutner
core
Nonmonotonic Reasoning Based on Incomplete Logic
, 2007 What characterizes human reasoning is the ability of dealing with incomplete information. Incomplete logic is developed for modeling incomplete knowledge. The most distinctive feature of incomplete logic is its semantics.
Churn-Jung Liau +2 more
core
Exploiting Parallelism for Hard Problems in Abstract Argumentation [PDF]
, 2015 argumentation framework (AF) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation.
Vallati, Mauro +5 more
core