All Classes

Class Summary

Class	Description
DefaultProcessTree	Computes the extensions of a default theory
DefaultRule	Models a default rule in Reiter's default logic, see [R.
DefaultSequence	sequence of defaults
DefaultTheory	Models a default theory in Reiter's default logic, see [R.
Extension	An extension of a default theory, i.e.
RdlExample	RDL Test
RdlParser	This class implements a parser for default logic.
SimpleDefaultReasoner	Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.