4.0.0 net.sf.tweety.logics fol jar Tweety (FOL) http://sourceforge.net/projects/tweety/ UTF-8 org.codehaus.mojo javacc-maven-plugin 2.6 generate-sources javacc javacc false ${basedir}/src/main/java/net/sf/tweety/logics/firstorderlogic/parser ${basedir}/src/main/java/ junit junit 4.9 test net.sf.tweety.logics commons 1.10 net.sf.tweety plugin 1.10 net.sf.tweety parent-pom 1.10 ..