Uses of Package
org.tweetyproject.logics.pl.analysis
-
Packages that use org.tweetyproject.logics.pl.analysis Package Description org.tweetyproject.logics.pl.analysis -
Classes in org.tweetyproject.logics.pl.analysis used by org.tweetyproject.logics.pl.analysis Class Description IcebergInconsistencyMeasure.ConsequenceOperation A consequence operation returns parts of knowledge bases.InconsistencyMeasureFactory.Measure An enumeration of all available inconsistency measures.PossibleWorldDistance This class refines interpretation distances to distance on possible worlds.SatBasedInconsistencyMeasure A common base class for inconsistency measure implementations based on SAT encodings.