TweetyProject

A comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation

Brought to you by

Supported by

Installation

The following two step-by-step guides show how to use the TweetyProject libraries in your own programs:

• Installing TweetyProject from the command line
• Installing TweetyProject from Eclipse

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 Git with Eclipse. This is also the recommend approach if you are contributing to TweetyProject yourself.

• Installing the snapshot version of TweetyProject

Developer guide

If you would like to contribute code to TweetyProject, please have a look at the following information:

• Getting started with developing

Technical API

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.27

Example code

See Example code and resources for examples on how to use TweetyProject and other resources.

Further sources

• 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:
  • 2015: Implementing KR approaches with Tweety, tutorial at the 24th International Joint Conference on Artificial Intelligence (IJCAI'15) in Buenos Aires (Argentina)
  • 2018: Implementing KR approaches with Tweety, tutorial at the the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18) in Tempe (USA). Note that the tutorial had to be cancelled on short notice.
  • 2020: Formal Argumentation Approaches in TweetyProject, tutorial at the the 4th Summer School on Argumentation (SSA'20).
• 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:
  • Integration of SAT solvers
  • Integration of first-order theorem provers
  • Integration of optimization problem solvers
  • Integration of solvers for determining minimal unsatisfiable subsets

Last updated 03.09.2024, Matthias Thimm | Terms