Uses of Package
org.tweetyproject.arg.dung.reasoner
Packages that use org.tweetyproject.arg.dung.reasoner
Package
Description
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.aspic.reasoner
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.bipolar.analysis
-
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.dung.examples
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.dung.learning
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.dung.principles
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.dung.reasonerClassDescriptionAncestor class for reasoners that are tailored towards computing the set {a | a is credulously/skeptically accepted wrt.Ancestor class for all claim based reasoner.Ancestor class for all AAF reasoners.Ancestor class for all extension-based reasoners.Uses a provided SAT solver to solve reasoning problems in AAFs.Interface for reasoner capable of optimising k extensions.This enum contains all supported problems for probo-based reasoner.The actual computational sub-problem.The
Initialenum represents the three different types of initial setsImplements a general vacuous reduct reasoner, as proposed in [Thimm. -
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.extended.reasoner
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.rankings.postulates
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.rankings.reasoner
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.saf.reasoner
-
Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.web.services.dung