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