Uses of Class
org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
Packages that use AbstractDialecticalFrameworkReasoner Package Description org.tweetyproject.arg.adf.reasoner org.tweetyproject.arg.adf.reasoner.sat org.tweetyproject.logics.cl.examples -
-
Uses of AbstractDialecticalFrameworkReasoner in org.tweetyproject.arg.adf.reasoner
Subclasses of AbstractDialecticalFrameworkReasoner in org.tweetyproject.arg.adf.reasoner Modifier and Type Class Description class
AdmissibleReasoner
class
CompleteReasoner
class
ConflictFreeReasoner
class
GroundReasoner
class
ModelReasoner
class
NaiveReasoner
class
PreferredReasoner
class
StableReasoner
-
Uses of AbstractDialecticalFrameworkReasoner in org.tweetyproject.arg.adf.reasoner.sat
Methods in org.tweetyproject.arg.adf.reasoner.sat that return AbstractDialecticalFrameworkReasoner Modifier and Type Method Description AbstractDialecticalFrameworkReasoner
Pipeline. asReasoner()
-
Uses of AbstractDialecticalFrameworkReasoner in org.tweetyproject.logics.cl.examples
Methods in org.tweetyproject.logics.cl.examples with parameters of type AbstractDialecticalFrameworkReasoner Modifier and Type Method Description static void
ADF_OCF_comparison_example. compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa)
Compare the inference behavior of ADF "adf" and Ranking function "kappa"
-