In this paper, by considering the idea that argumentation semantics can be viewed as a special form of logic programming semantics with negation as failure, we show that any logic programming semantics as the stable model semantics, the minimal models, etc., can define candidate argumentation semantics. These new argumentation semantics will overcome some of the problems of the Dung's argumentation semantics that have been discussed in the literature. The new argumentation semantics are based on a new recursive framework for logic programming semantics. This framework generalizes any logic programming semantics in order to build logic programming semantics which are always defined, satisfy the property of relevance and agree with the stable...
In this work, we show that both logic programming and abstract argumentation frameworks can be inter...
The focus of the research is the semantics of logic programming. Concepts in the currently used sem...
International audienceIn 1995, in his seminal paper introducing the abstract argumentation framework...
In this paper, by considering the idea that argumentation semantics can be viewed as a special form ...
Abstract. In the literature, there are several approaches which try to perform common sense rea-soni...
In the current paper, we re-examine the connection between formal argumentation and logic programmin...
Extension-based argumentation semantics have been shown to be a suitable approach for performing pra...
AbstractLogic programs are considered as abductive programs with negative literals as abductive hypo...
Abstract. Extension-based argumentation semantics have been shown to be a suitable approach for perf...
Logic Programming and Argumentation Theory have been existing side by side as two separate, yet rela...
We present a theory of argumentation that can deal with contradiction within an argumentation framew...
Argumentation theory is an alternative style of formalizing non-monotonic reasoning. It seems, argum...
The connection between logic programming and formal argumentation has been studied starting from the...
Abstract—In this paper, we show that by using extensions of the Well-Founded Semantics (WFS) which w...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
In this work, we show that both logic programming and abstract argumentation frameworks can be inter...
The focus of the research is the semantics of logic programming. Concepts in the currently used sem...
International audienceIn 1995, in his seminal paper introducing the abstract argumentation framework...
In this paper, by considering the idea that argumentation semantics can be viewed as a special form ...
Abstract. In the literature, there are several approaches which try to perform common sense rea-soni...
In the current paper, we re-examine the connection between formal argumentation and logic programmin...
Extension-based argumentation semantics have been shown to be a suitable approach for performing pra...
AbstractLogic programs are considered as abductive programs with negative literals as abductive hypo...
Abstract. Extension-based argumentation semantics have been shown to be a suitable approach for perf...
Logic Programming and Argumentation Theory have been existing side by side as two separate, yet rela...
We present a theory of argumentation that can deal with contradiction within an argumentation framew...
Argumentation theory is an alternative style of formalizing non-monotonic reasoning. It seems, argum...
The connection between logic programming and formal argumentation has been studied starting from the...
Abstract—In this paper, we show that by using extensions of the Well-Founded Semantics (WFS) which w...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
In this work, we show that both logic programming and abstract argumentation frameworks can be inter...
The focus of the research is the semantics of logic programming. Concepts in the currently used sem...
International audienceIn 1995, in his seminal paper introducing the abstract argumentation framework...