Browsing by Subject "Negation as failures"
Now showing items 1-5 of 5
-
Article
An argumentation framework for reasoning about actions and change
(1999)We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
-
Article
Default reasoning via negation as failure
(1994)We show how recent developments in the study of negation as failure of Logic Programming can be used to define a general framework for Default Reasoning. Negation as failure can be viewed as a form of hypotheses with which ...
-
Article
Encoding planning problems in nonmonotonic logic programs
(1997)We present a framework for encoding planning problems in logic programs with negation as failure, having computational efficiency as our major consideration. In order to accomplish our goal, we bring together ideas from ...
-
Article
On the semantics of abstract argumentation
(2013)Arguments need to be judged against other arguments. The decision to accept or reject an argument is generally a global decision that involves examining the same question for other arguments that oppose or can defend the ...
-
Article
ε-RES: Reasoning about actions, events and observations
(2001)The language ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from abduction, ...