Package | Description |
---|---|
net.sf.tweety.arg.aspic.reasoner | |
net.sf.tweety.arg.dung.reasoner | |
net.sf.tweety.arg.saf.reasoner |
Class and Description |
---|
AbstractExtensionReasoner
Ancestor class for all extension-based reasoners.
|
Class and Description |
---|
AbstractDungReasoner
Ancestor class for all AAF reasoner.
|
AbstractExtensionReasoner
Ancestor class for all extension-based reasoners.
|
AbstractSatExtensionReasoner
Uses a provided SAT solver to solve reasoning problems in AAFs.
|
ProboProblem
This enum contains all supported problems for probo-based reasoner.
|
ProboProblem.SubProblem
The actual computational sub-problem.
|
Class and Description |
---|
AbstractExtensionReasoner
Ancestor class for all extension-based reasoners.
|