DefeasibleLogicProgram |
This class models a defeasible logic program (DeLP).
|
DefeasibleRule |
This class models a defeasible rule in defeasible logic programming.
|
DelpArgument |
This class models a DeLP argument which comprises of a set of defeasible rules (the support) and a literal (the conclusion).
|
DelpFact |
This class implements a fact in defeasible logic programming which encapsulates a literal.
|
DelpRule |
This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming
and captures their common attributes and methods.
|
StrictRule |
This class models a strict rule in defeasible logic programming.
|