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.
MinimalModelProvider	MinimalModelProvider class
PossibleWorldDistance	This class refines interpretation distances to distance on possible worlds.
PrimeImplicantEnumerator	prime implicant enumerator
SatBasedInconsistencyMeasure	A common base class for inconsistency measure implementations based on SAT encodings.