Package org.tweetyproject.logics.cl.examples
-
Class Summary Class Description ADF_OCF_comparison_example Example code illustrating the translation from Abstract Dialectical Frameworks (ADFs) to Conditional logicsCReasonerExample Shows how to construct a conditional logic knowledge base programmatically and how to query it using the C-reasoner.ReasonerExample Compares reasoning with different reasoners.