Package net.sf.tweety.logics.pl.examples
-
Class Summary Class Description ContensionExample Example code illustrating the contension inconsistency measure.DfInconsistencyMeasureExample Example code illustrating the Df inconsistency measure.DSumMeasureExample FuzzyMeasureExample IcebergInconsistencyExample Example code for the "iceberg" inconsistency measures as described in [De Bona, Hunter.ImPostulateEvaluationExample Example code illustrating automatic postulate evaluation of inconsistency measures.LingelingExample MaMeasureExample MaxSatExample Illustrates the use of MaxSAT solvers.McscInconsistencyMeasureExample MinimalInconsistentSubsetExample MusExample PlExample Some general examples for using basic propositional logic classes like PlParser and SimplePlReasoner.PmMeasureExample SimplePlInterpolantEnumeratorExample Illustrates the use of the SimplePlInterpolantEnumeratorStreamInconsistencyEvaluationExample StreamInconsistencyEvaluationExample2 SyntacticEnumeratingPlBeliefSetSamplerExample SyntacticRandomPlBeliefSetSamplerExample