Package | Description |
---|---|
net.sf.tweety.arg.deductive.syntax |
Modifier and Type | Field and Description |
---|---|
private java.util.Collection<SimplePlRule> |
SimplePlLogicArgument.support |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<? extends SimplePlRule> |
SimplePlLogicArgument.getSupport() |
Constructor and Description |
---|
SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support,
PropositionalFormula _claim) |
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)
Constructor
|
SimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb) |