net.sf.tweety.arg.deductive.examples
Classes
DeductiveExample
SimplePlLogicExample