Package org.tweetyproject.arg.dung.learning


package org.tweetyproject.arg.dung.learning
  • Class Summary
    Class
    Description
    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
    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
    Implementation of the algorithm for learning (grounded) labelings from with some improvements: Riveret, Régis, and Guido Governatori.
    Implementation of the MaxSAT algorithm from: Niskanen, Andreas, Johannes Wallner, and Matti Järvisalo.
    Implementation of the algorithm for learning (grounded) labelings from: Riveret, Régis, and Guido Governatori.
    Improved version of the MaxSAT algorithm from: Niskanen, Andreas, Johannes Wallner, and Matti Järvisalo.