Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/142515
-
Titel: 
A Practical Account into Counting Dung's Extensions by Dynamic Programming
en
Zitat: 
Dewoprabowo, R., Fichte, J. K., Gorczyca, P. J., & Hecher, M. (2022). A Practical Account into Counting Dung’s Extensions by Dynamic Programming. In Logic Programming and Nonmonotonic Reasoning (pp. 387–400). Springer. https://doi.org/10.1007/978-3-031-15707-3_30
-
Verlags-DOI: 
10.1007/978-3-031-15707-3_30
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Dewoprabowo, Ridhwan 
Fichte, Johannes Klaus 
Gorczyca, Piotr Jerzy 
Hecher, Markus 
-
Organisations­einheit: 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
-
Erschienen in: 
Logic Programming and Nonmonotonic Reasoning 
-
ISBN: 
978-3-031-15707-3
-
Band: 
13416
-
DOI des Buches: 
10.1007/978-3-031-15707-3
-
Datum (veröffentlicht): 
2022
-
Veranstaltungs­name: 
LPNMR 2022: 16th International Conference on Logic Programming and Non-monotonic Reasoning 
en
Veranstaltungs­zeitraum: 
5-Sep-2022 - 9-Sep-2022
-
Veranstaltungs­ort: 
Genua, Italien
-
Umfang: 
14
-
Verlag: 
Springer
-
Peer Reviewed: 
Ja
-
Keywords: 
Argumentation; Modeling; Dynamic Programming
en
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.
en
Projekttitel: 
Hybrid Parameterized Problem Solving in Practice: P32830-N (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) 
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI: ICT19-065 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Projekt (extern): 
FWF
DFG
BMBF
-
Projektnummer: 
Y698
Grant TRR 248 project ID 389792660
Grant 01IS20056 NAVAS
-
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

268
aufgerufen am 23.11.2023

Download(s)

3
aufgerufen am 23.11.2023

Google ScholarTM

Check