Package org.tweetyproject.arg.dung.learning

package org.tweetyproject.arg.dung.learning
  • Classes
    Class
    Description
    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.