×

zbMATH — the first resource for mathematics

Argumentation and answer set programming. (English) Zbl 1326.68279
Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 164-180 (2011).
Summary: Argumentation and answer set programming are two of the main knowledge representation paradigms that have emerged from logic programming for non-monotonic reasoning. This paper surveys recent work on using answer set programming as a mechanism for computing extensions in argumentation. The paper also indicates some possible directions for future work.
For the entire collection see [Zbl 1213.68025].

MSC:
68T27 Logic in artificial intelligence
68N17 Logic programming
68T30 Knowledge representation
Software:
ASPeRiX
PDF BibTeX XML Cite
Full Text: DOI