Package org.tweetyproject.logics.cl.examples


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