Well-Founded Argumentation Semantics for Extended Logic Programming
<|reference_start|>Well-Founded Argumentation Semantics for Extended Logic Programming: 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 argumentation semantics, including those of Dung, and Prakken and Sartor. We present a general dialectical proof theory for these argumentation semantics.<|reference_end|>
@article{schweimeier2002well-founded,
    title={Well-Founded Argumentation Semantics for Extended Logic Programming},
    author={Ralf Schweimeier and Michael Schroeder},
    journal={arXiv preprint arXiv:cs/0207040},
    year={2002},
    archivePrefix={arXiv},
    eprint={cs/0207040},
    primaryClass={cs.LO cs.AI}
}