Uses of Package
net.sf.tweety.logics.pl.analysis
-
Packages that use net.sf.tweety.logics.pl.analysis Package Description net.sf.tweety.logics.pl.analysis -
Classes in net.sf.tweety.logics.pl.analysis used by net.sf.tweety.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.