Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/56280
-
Title: 
Abstract Solvers for Dung’s Argumentation Frameworks
-
Citation: 
Brochenin, R., Linsbichler, T., Maratea, M., Wallner, J. P., & Woltran, S. (2015). Abstract Solvers for Dung’s Argumentation Frameworks. In E. Black, S. Modgil, & N. Oren (Eds.), Theory and Applications of Formal Argumentation (pp. 40–58). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-319-28460-6_3
-
Publisher DOI: 
10.1007/978-3-319-28460-6_3
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Brochenin, Remi 
Linsbichler, Thomas 
Maratea, Marco 
Wallner, Johannes Peter 
Woltran, Stefan 
-
Organisational Unit: 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
-
Published in: 
Theory and Applications of Formal Argumentation 
-
Date (published): 
2015
-
Event name: 
The 2015 International Workshop on Theory and Applications of Formal Argument 
-
Event date: 
25-Jul-2015 - 26-Jul-2015
-
Event place: 
Buenos Aires, Argentinien, Non-EU
-
Number of Pages: 
19
-
Publisher: 
Lecture Notes in Computer Science, 9524
-
Peer reviewed: 
Yes
-
Abstract: 
Abstract solvers are a quite recent method to uniformly describe algorithms in a rigorous formal way and have proven successful in declarative paradigms such as Propositional Satisfiability and Answer-Set Programming. In this paper, we apply this machinery for the first time to a dedicated AI formalism, namely Dung´s abstract argumentation frameworks. We provide descriptions of several advanced algorithms for the preferred semantics in terms of abstract solvers and, moreover, show how slight adaptions thereof directly lead to new algorithms.
en
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

167
checked on Nov 21, 2023

Google ScholarTM

Check