Package net.sf.tweety.logics.rdl.syntax

Class Summary

Class	Description
DefaultRule	Models a default rule in Reiter's default logic, see [R.