Class | Description |
---|---|
CriterionOptionHandler | |
DefeasibleLogicProgram |
This class models a defeasible logic program (DeLP).
|
DefeasibleLogicProgram.DelpOptions | |
DelpAnswer |
Wrapping a generic answer from a reasoner in order to allow UNDECIDED
in addition to the traditional YES and NO.
|
DelpReasoner |
This reasoner performs default dialectical reasoning
on some given DeLP.
|
TestArguments |
Testing argument syntax.
|
TestDeLP |
Testing the command line stuff for DeLP.
|
TestDTree |
Testing dialectical trees.
|
TestFormulaParsing |
Testing DeLP formula parsing.
|
TestKBParsing |
Parsing DeLPs.
|
TestQueries |
Testing some example KBs with various queries.
|
TestRules |
Tests for rules: facts, strict and defeasible rules.
|
Utilities |
Utility functions for test classes to access KBs etc.
|
Enum | Description |
---|---|
DelpAnswer.Type |