Computer Science – Logic in Computer Science
Scientific paper
2002-07-10
Computer Science
Logic in Computer Science
Workshop on Non-Monotonic Reasoning NMR'02, Special Session on Argument, Dialogue, and Decision
Scientific paper
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.
Schroeder Michael
Schweimeier Ralf
No associations
LandOfFree
Well-Founded Argumentation Semantics for Extended Logic Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Well-Founded Argumentation Semantics for Extended Logic Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Well-Founded Argumentation Semantics for Extended Logic Programming will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-478034