ExampleFinder |
This class can be used to find example dung theories that produce the same set of extensions wrt to one semantics,
but different extensions wrt to another semantics
|
ExtendedExampleFinder |
This class can be used to find example dung theories that produce the same set of extensions wrt to two semantics,
but different extensions wrt to another semantics
|
ImprovedRiveretTheoryLearner |
Implementation of the algorithm for learning (grounded) labelings from with some improvements:
Riveret, Régis, and Guido Governatori.
|
NiskanenTheorySynthesizer |
Implementation of the MaxSAT algorithm from:
Niskanen, Andreas, Johannes Wallner, and Matti Järvisalo.
|
RiveretTheoryLearner |
Implementation of the algorithm for learning (grounded) labelings from:
Riveret, Régis, and Guido Governatori.
|
TheoryLearner |
Improved version of the MaxSAT algorithm from:
Niskanen, Andreas, Johannes Wallner, and Matti Järvisalo.
|