Package org.tweetyproject.logics.cl.examples


package org.tweetyproject.logics.cl.examples
  • Classes
    Class
    Description
    Shows how to construct a conditional logic knowledge base programmatically and how to query it using the C-reasoner.
    Compares reasoning with different reasoners.