Uses of Package
org.tweetyproject.logics.pl.analysis
-
ClassDescriptionA consequence operation returns parts of knowledge bases.An enumeration of all available inconsistency measures.This class refines interpretation distances to distance on possible worlds.A common base class for inconsistency measure implementations based on SAT encodings.