Abstract
The heureka solver is a general-purpose solver for various problems in abstract argumentation frameworks pertaining to complete, grounded, preferred and stable semantics. It is based on a backtracking approach and makes use of various heuristics to optimize the search.
– I have found it! I have found it!
– Archimedes of Syracuse (287–212 BC)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: a general schema for argumentation semantics. Artif. Intell. 168(1–2), 162–210 (2005)
Corea, C., Thimm, M.: Using matrix exponentials for abstract argumentation. In: Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA 2016), pp. 10–21, September 2016
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)
Nofal, S., Atkinson, K., Dunne, P.E.: Algorithms for argumentation semantics: labeling attacks as a generalization of labeling arguments. J. Artif. Intell. Res. 49, 635–668 (2014)
Nofal, S., Atkinson, K., Dunne, P.E.: Looking-ahead in backtracking algorithms for abstract argumentation. Int. J. Approx. Reason. 78, 265–282 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Geilen, N., Thimm, M. (2018). Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation. In: Black, E., Modgil, S., Oren, N. (eds) Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science(), vol 10757. Springer, Cham. https://doi.org/10.1007/978-3-319-75553-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-75553-3_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-75552-6
Online ISBN: 978-3-319-75553-3
eBook Packages: Computer ScienceComputer Science (R0)