A Practical Account into Counting Dung’s Extensions by Dynamic Programming

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-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 languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings
EditorsGeorg Gottlob, Daniela Inclezan, Marco Maratea
Pages387-400
Number of pages14
ISBN (electronic)978-3-031-15707-3
Publication statusPublished - 2022
Peer-reviewedYes

Publication series

SeriesLecture Notes in Artificial Intelligence (LNAI)
Volume13416
ISSN0302-9743

External IDs

Scopus 85137992659

Keywords