net.sf.tweety.logics.rdl.semantics (Tweety (Reiter's Default Logic Library) 1.8 API)

Class Summary
Class	Description
DefaultProcessTree	Computes the extensions of a default theory
DefaultSequence	sequence of defaults

Package net.sf.tweety.logics.rdl.semantics