net.sf.tweety.beliefdynamics.operators
Classes
ArgumentativeRevisionOperator
CrMasArgumentativeRevisionOperator
CrMasSimpleRevisionOperator
RandomKernelContractionOperator