A comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation
Home Libraries Downloads Documentation Web Interfaces Contact

Brought to you by

Supported by


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.

Technical API

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

Further sources

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 slidedeck from the tutorial on Tweety at the 24th International Joint Conference on Artificial Intelligence (IJCAI'15) in Buenos Aires (Argentina) gives 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:

Last updated 16.01.2018, Matthias Thimm