| 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 |