Semi-Stable Semantics

Frontiers in Artificial Intelligence and Applications

Volumn 144, Issue , 2006, Pages 121-130

  Caminada, Martin ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

argument based semantics; argumentation frameworks; preferred semantics; stable semantics

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING; ARGUMENT BASED SEMANTIC; ARGUMENTATION FRAMEWORKS; IN-FIELD; LOGIC-PROGRAMMING; OTHER PROPERTIES; PREFERRED SEMANTICS; STABLE SEMANTICS;

SEMANTICS;

EID: 84940516232     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (12)

1. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
2. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the 5th International Conference/Symposium on Logic Programming, pages 1070-1080. MIT Press, 1988.
3. J. L. Pollock. How to reason defeasibly. Artificial Intelligence, 57:1-42, 1992.
4. A. van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. J. ACM, 38(3):620-650, 1991.
5. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4):365-385, 1991.
6. M.W.A. Caminada. On the issue of reinstatement in argumentation. Technical Report UUCS-2006-023, Institute of Information and Computing Sciences, Utrecht University, 2006.
7. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and-person games. Artificial Intelligence, 77:321-357, 1995.
8. B. Verheij. Two approaches to dialectical argumentation: admissible sets and argumentation stages. In J.-J.Ch. Meyer and L.C. van der Gaag, editors, Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC'96), pages 357-368, Utrecht, 1996. Utrecht University.
9. G. A. W. Vreeswijk and H. Prakken. Credulous and sceptical argument games for preferred semantics. In Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA-00), number 1919 in Springer Lecture Notes in AI, pages 239-253, Berlin, 2000. Springer Verlag.
10. M.W.A. Caminada. Well-founded semantics for semi-normal extended logic programs. In Proceedings of the 11th International Workshop of Nonmonotonic Reasoning, special session on answer set programming, 2006.
11. M.W.A. Caminada and L. Amgoud. An axiomatic account of formal argumentation. In Proceedings of the AAAI-2005, pages 608-613, 2005.
12. M.W.A. Caminada. Contamination in formal argumentation systems. In Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC), pages 59-65, 2005.