Package net.sf.tweety.logics.rdl

Class Summary

Class	Description
DefaultTheory	Models a default theory in Reiter's default logic, see [R.
NaiveDefaultReasoner	Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.