The following two step-by-step guides show how to use the TweetyProject libraries in your own programs:
The above guides always use the latest Maven version of TweetyProject (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 TweetyProject yourself.
The most recent version of the technical documentation for all TweetyProject libraries in form of the JavaDoc API can be found here: TweetyProject API 1.12
See Example code and resources for examples on how to use TweetyProject and other resources.
- The following papers give a brief overview on the functionalities of TweetyProject and should also be used as a reference when citing TweetyProject 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 TweetyProject:
- A manual on how to use TweetyProject 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 TweetyProject: