Class StrictRule

All Implemented Interfaces:
Formula, Rule<FolFormula,FolFormula>, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, SimpleLogicalFormula

public class StrictRule extends DelpRule
This class models a strict rule in defeasible logic programming.
Author:
Matthias Thimm