4.0.0 net.sf.tweety.logics commons jar Tweety (Commons Logic) http://maven.apache.org UTF-8 junit junit 4.9 test net.sf.tweety commons 1.2 net.sf.tweety math 1.2 net.sf.tweety parent-pom 1.2 ..