Package org.tweetyproject.logics.rdl.syntax

package org.tweetyproject.logics.rdl.syntax

Classes

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