Class MaxSatKStableAstReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.MaxSatKStableAstReasoner
All Implemented Interfaces:
KOptimisationReasoner, Reasoner<Integer,DungTheory,Argument>

public class MaxSatKStableAstReasoner extends Object implements KOptimisationReasoner
A MaxSAT-based implementation for solving the MaxStable* problem from [Thimm. Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics. IJCAI 2024]
Author:
Matthias Thimm