@dblp

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

, , and . KI, volume 9324 of Lecture Notes in Computer Science, page 241-248. Springer, (2015)

Links and resources

Tags