You can buy this project and download/modify it how often you want.
Files of the artifact el version 1.10 from the group net.sf.tweety.logics.