Package org.tweetyproject.logics.pl.examples

package org.tweetyproject.logics.pl.examples

Classes

Class	Description
ContensionExample	Example code illustrating the contension inconsistency measure.
DfInconsistencyMeasureExample	Example code illustrating the Df inconsistency measure.
DSumMeasureExample	Example code illustrating the distance-based inconsistency measures DSum, DMax and DHit.
FuzzyMeasureExample	Example code illustrating fuzzy logic-based inconsistency measures.
IcebergInconsistencyExample	Example code for the "iceberg" inconsistency measures as described in [De Bona, Hunter.
ImPostulateEvaluationExample	Example code illustrating automatic postulate evaluation of inconsistency measures.
InconsistencyMeasureEvaluationExample	Example code for using InconsistencyMeasureEvaluator for comparing inconsistency measure implementations.
MaMeasureExample	Example code illustrating the Ma inconsistency measure.
MaxSatExample	Illustrates the use of MaxSAT solvers.
McscInconsistencyMeasureExample	Example code illustrating the MCSC inconsistency measure.
MinimalInconsistentSubsetExample	Example code illustrating the use of MUS enumerators.
MusExample	Example code illustrating the use of MUS enumerators.
PlExample	Some general examples for using basic propositional logic classes like PlParser and SimplePlReasoner.
PmMeasureExample	Example code illustrating the Pm inconsistency measure.
PrimeImplicantTest	PrimeImplicantTest class
SatSolverExample	Example code illustrating the use of external SAT solvers such as Lingeling and CaDicaL, and related utilities.
SimplePlInterpolantEnumeratorExample	Illustrates the use of the SimplePlInterpolantEnumerator
StreamInconsistencyEvaluationExample	Illustrates stream-based inconsistency measurement.
StreamInconsistencyEvaluationExample2	Illustrates stream-based inconsistency measurement.
SyntacticEnumeratingPlBeliefSetSamplerExample	Illustrates the use of the belief base enumerators.
SyntacticRandomPlBeliefSetSamplerExample	Illustrates the use of the belief base enumerators.