The following two step-by-step guides show how to use the Tweety libraries in your own programs:
The above guides always use the latest Maven version of Tweety (updated about twice a year). In order to use the most up-to-date version we recommend using the snapshot versions from SVN with Eclipse. This is also the recommend approach if you are contributing to Tweety yourself.
The most recent version of the technical documentation for all Tweety libraries in form of the JavaDoc API can be found here: Tweety API 1.10
- The following papers give a brief overview on the functionalities of Tweety and should also be used as a reference when citing Tweety in scientific papers:
Matthias Thimm. Tweety - A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14). Vienna, July, 2014. bibtex pdf
Matthias Thimm. The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. In Künstliche Intelligenz, 31(1):93-97, March 2017. bibtex pdf
- The slidedecks of the following tutorials give a more detailed and practical introduction into working with Tweety:
- A manual on how to use Tweety in your programs is currently in development.
- The following pages give some more detailed information on how third-party products such as SAT solvers and optimization solvers can be integrated in Tweety: