Class ConflictFreeReasoner


  • public class ConflictFreeReasoner
    extends java.lang.Object
    reasoner for conflict-freeness in bipolar argumentation frameworks with a deductive support interpretation a set of arguments is conflict-free iff it is conflict-free in regards to the complex attacks in the framework
    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<ArgumentSet> getModels​(DeductiveArgumentationFramework bbase)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait