Package net.sf.tweety.beliefdynamics.selectiverevision
-
Interface Summary Interface Description MultipleTransformationFunction<T extends Formula> This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].TransformationFunction<T extends Formula> This interface represents a transformation function for selective revision [Ferme:1999]. -
Class Summary Class Description MultipleSelectiveRevisionOperator<T extends Formula> This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].SelectiveRevisionOperator<T extends Formula> This class implements a selective revision operator following [Ferme:1999].