Package | Description |
---|---|
net.sf.tweety.arg.aspic.syntax | |
net.sf.tweety.commons.util.rules | |
net.sf.tweety.lp.asp.syntax | |
net.sf.tweety.lp.nlp.syntax |
Modifier and Type | Class and Description |
---|---|
class |
AspicArgumentationTheory<T extends Invertable> |
Modifier and Type | Method and Description |
---|---|
RuleSet<T> |
RuleSet.getSyntacticModule(Formula f)
Returns the maximal subset of this rule set that is closed under
"syntactic" neighbourhood relationship for the given formula.
|
Modifier and Type | Class and Description |
---|---|
class |
Program
This class models an disjunctive logical program, which is
a collection of rules.
|
Modifier and Type | Class and Description |
---|---|
class |
NLPProgram
A nested logic program
|