Carneades swMATH ID: 22087 Software Authors: Tom Gordon; Douglas Walton Description: Carneades ICCMA: A Straightforward Implementation of a Solver for Abstract Argumentation in the Go Programming Language. The Carneades entry to the 2015 International Competition on Computational Models of Argument (ICCMA) is a straight-forward implementation of a solver for reasoning tasks in abstract argumentation frameworks [1]. All of the reasoning tasks (computing one or all extensions and deciding whether an argument is credulously or skeptically inferred) and Dung semantics (grounded, complete, preferred, stable) covered by the competition have been implemented. The solver has been implemented in Go, a mainstream statically-typed, procedural programming language with a C-like syntax, garbage collection, good builtin support for concurrency and a large standard library. The aim is to provide a concise and readable implementation suitable for pedagogical purposes, using only common and widely familiar programming constructs and with no dependencies on external libraries or programs. Homepage: https://carneades.github.io/ Related Software: DIAMOND; MiniSat; Lingeling; ProGraph; CoQuiAAS; LamatzSolver; Argtools; Dungine; Tweety; prefMaxSAT; CEGARTIX; ConArg2; Clingo; ASPARTIX; Glucose; Chaff; GRAPPA; CP-nets Cited in: 9 Publications Further Publications: http://www.tfgordon.de/publications/ all top 5 Cited by 17 Authors 4 Strass, Hannes 2 Gordon, Thomas F. 1 Bellin, Gianluigi 1 Betz, Gregor 1 Carrara, Massimiliano 1 Chiffi, Daniele 1 Eiter, Thomas 1 Gaggl, Sarah Alice 1 Menti, Alessandro 1 Prakken, Henry 1 Rudolph, Sebastian 1 Thimm, Matthias 1 Truszczyński, Mirosław 1 Villata, Serena 1 Wallner, Johannes Peter 1 Walton, Douglas N. 1 Woltran, Stefan Cited in 4 Serials 4 Artificial Intelligence 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Logic and Logical Philosophy Cited in 3 Fields 7 Computer science (68-XX) 2 History and biography (01-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year