Doing Argumentation using Theories in Graph Normal Form

@inproceedings{Dyrkolbotn2012DoingAU,
  title={Doing Argumentation using Theories in Graph Normal Form},
  author={Sjur Dyrkolbotn},
  year={2012}
}
We explore some links between abstract argumentation, logic and kernels in digraphs. Viewing argumentation frameworks as propositional theories in graph normal form, we observe that the stable semantics for argumentation can be given equivalently in terms of satisfaction and logical consequence in classical logic. We go on to show that the complete semantics can be formulated using Lukasiewicz three-valued logic. 

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…