An algorithm for computing semi-stable semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4724 LNAI, Issue , 2007, Pages 222-234

  Caminada, Martin ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; SEMANTICS;

SEMI STABLE SEMANTICS; STABLE EXTENSIONS;

ALGORITHMS;

EID: 38049138962     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75256-1_22     Document Type: Conference Paper

References (7)

1. Vreeswijk, G.: An algorithm to compute minimally grounded and admissible defence sets in argument systems. In: Dunne, P., Bench-Capon, T. (eds.) Computational Models of Argument; Proceedings of COMMA 2006, pp. 109-120. IOS, Amsterdam (2006)
2. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321-357 (1995)
3. Caminada, M.: Semi-stable semantics. In: Dunne, P., Bench-Capon, T. (eds.) Computational Models of Argument; Proceedings of COMMA 2006, pp. 121-130. IOS Press, Amsterdam (2006)
4. Caminada, M.: An algorithm for computing semi-stable semantics. Technical Report Technical Report UU-CS-2007 -010, Utrecht University (2007), http://www.cs.uu.nl/~martinc/algorithm.techreport.pdf
5. Caminada, M.: On the issue of reinstatement in argumentation. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 111-123. Springer, Heidelberg (2006)
6. Pollock, J.L.: Cognitive Carpentry. In: A Blueprint for How to Build a Person, MIT Press, Cambridge (1995)
7. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4), 365-385 (1991)