LamatzSolver - v0.1: A grounded extension finder based on the Java-Collection-Framework. This paper describes the system architecture of LamatzSolver-v0.1, a solver for extension generation of Dung‘s abstract framework  in the contest of International Competition on Computational Models of Argumentation (ICCMA’15). The solver is implemented in Java and determines all extensions of grounded semantics. The algorithm used is oriented on the characteristic function [1, 4] and based on the Java-Collections-Framework
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)