LamatzSolver

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 [4] 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.
Sorted by year (citations)

  1. Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)