A Practical Account into Counting Dung’s Extensions by Dynamic Programming
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
Abstract argumentation and Dung’s framework are popular for modeling and evaluating arguments in artificial intelligence. We consider various counting problems in abstract argumentation under practical aspects. We revisit algorithms and establish a framework that employs dynamic programming on tree decompositions for counting extensions of abstract argumentation frameworks under admissible, stable, and complete semantics. We provide an empirical evaluation and investigate conditions under which our approach is useful.
Details
Original language | English |
---|---|
Title of host publication | Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings |
Editors | Georg Gottlob, Daniela Inclezan, Marco Maratea |
Pages | 387-400 |
Number of pages | 14 |
ISBN (electronic) | 978-3-031-15707-3 |
Publication status | Published - 2022 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Artificial Intelligence (LNAI) |
---|---|
Volume | 13416 |
ISSN | 0302-9743 |
External IDs
Scopus | 85137992659 |
---|