Modifier and Type | Method and Description |
---|---|
Answer |
GeneralABAReasoner.query(Formula query) |
Answer |
FlatABAReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
AspicReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
AbstractDeductiveArgumentationReasoner.query(Formula query) |
Modifier and Type | Class and Description |
---|---|
(package private) class |
DelpAnswer
Wrapping a generic answer from a reasoner in order to allow UNDECIDED
in addition to the traditional YES and NO.
|
Modifier and Type | Method and Description |
---|---|
Answer |
DelpReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
StratifiedLabelingReasoner.query(Formula query) |
Answer |
GrossiModgilRankingReasoner.query(Formula query) |
Answer |
AbstractExtensionReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
LiteralReasoner.query(Formula query) |
Answer |
ArgumentationReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
MonteCarloPafReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
DeductiveArgMeReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
OutputReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
IssReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
abstract Answer |
Reasoner.query(Formula query)
This method determines the answer of the given query
wrt.
|
Modifier and Type | Method and Description |
---|---|
Answer |
ZReasoner.query(Formula query) |
Answer |
RuleBasedCReasoner.query(Formula query) |
Answer |
RelevanceReasoner.query(Formula query) |
Answer |
CReasoner.query(Formula query) |
Answer |
BruteForceCReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
ClassicalInference.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
AbstractMlnReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
DefaultMeReasoner.query(Formula query) |
Answer |
GeneralizedMeReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
ClassicalInference.query(Formula query) |
Answer |
SatReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
RelationalBruteForceCReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
NaiveDefaultReasoner.query(Formula query) |
Modifier and Type | Method and Description |
---|---|
Answer |
RpclMeReasoner.query(Formula query) |
Modifier and Type | Field and Description |
---|---|
private static Answer |
RPCLPlugin.queryResult |