4.0.0 commons jar Tweety (Commons) http://sourceforge.net/projects/tweety/ UTF-8 junit junit 4.9 test ch.qos.logback logback-core 0.9.30 ch.qos.logback logback-classic 0.9.30 org.slf4j slf4j-log4j12 1.7.26 net.sf.tweety parent-pom 1.17 ..