A Practical Account into Counting Dung’s Extensions by Dynamic Programming
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Englisch |
---|---|
Titel | Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings |
Redakteure/-innen | Georg Gottlob, Daniela Inclezan, Marco Maratea |
Seiten | 387-400 |
Seitenumfang | 14 |
ISBN (elektronisch) | 978-3-031-15707-3 |
Publikationsstatus | Veröffentlicht - 2022 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Artificial Intelligence (LNAI) |
---|---|
Band | 13416 |
ISSN | 0302-9743 |
Externe IDs
Scopus | 85137992659 |
---|