Well-founded argumentation semantics for extended logic programming

@inproceedings{Schweimeier2002WellfoundedAS,
  title={Well-founded argumentation semantics for extended logic programming},
  author={Ralf Schweimeier and Michael Schroeder},
  booktitle={NMR},
  year={2002}
}
This paper defines an argumentation semantics for extended logic programming and shows its equivalence to the well-founded semantics with explicit negation. We set up a general framework in which we extensively compare this semantics to other argumenta-tion semantics, including those of Dung, and Prakken and Sartor. We present a general dialectical proof… CONTINUE READING