In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to show equivalence between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics
We analyze the relative expressiveness of the two-valued semantics of abstract argumentation framewo...
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 the current paper, we re-examine the connection between formal argumentation and logic programmin...
In this paper, by considering the idea that argumentation semantics can be viewed as a special form ...
The connection between logic programming and formal argumentation has been studied starting from the...
Logic Programming and Argumentation Theory have been existing side by side as two separate, yet rela...
AbstractLogic programs are considered as abductive programs with negative literals as abductive hypo...
Abstract. In the literature, there are several approaches which try to perform common sense rea-soni...
We present a theory of argumentation that can deal with contradiction within an argumentation framew...
Abstract. Extension-based argumentation semantics have been shown to be a suitable approach for perf...
Extension-based argumentation semantics have been shown to be a suitable approach for performing pra...
International audienceIn 1995, in his seminal paper introducing the abstract argumentation framework...
In this extended abstract, we present a small survey of recent results in the study of argumentation...
This paper relates two extensively studied formalisms: abstract dialectical frameworks and logic pro...
We analyze the relative expressiveness of the two-valued semantics of abstract argumentation framewo...
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 the current paper, we re-examine the connection between formal argumentation and logic programmin...
In this paper, by considering the idea that argumentation semantics can be viewed as a special form ...
The connection between logic programming and formal argumentation has been studied starting from the...
Logic Programming and Argumentation Theory have been existing side by side as two separate, yet rela...
AbstractLogic programs are considered as abductive programs with negative literals as abductive hypo...
Abstract. In the literature, there are several approaches which try to perform common sense rea-soni...
We present a theory of argumentation that can deal with contradiction within an argumentation framew...
Abstract. Extension-based argumentation semantics have been shown to be a suitable approach for perf...
Extension-based argumentation semantics have been shown to be a suitable approach for performing pra...
International audienceIn 1995, in his seminal paper introducing the abstract argumentation framework...
In this extended abstract, we present a small survey of recent results in the study of argumentation...
This paper relates two extensively studied formalisms: abstract dialectical frameworks and logic pro...
We analyze the relative expressiveness of the two-valued semantics of abstract argumentation framewo...
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...