A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics.

Christoph Beierle, Florian Brons, Nico Potyka

Browse the full KI paper archive.