TweetyProject is a collection of various Java libraries that implement approaches to different areas of artificial intelligence. In particular, it provides a general interface layer for doing research and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, TweetyProject contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal with e.g. mathematical optimization complement the collection.

For technical documentation of using the libraries please have a look at the online JavaDoc API.

All parts of the TweetyProject available on this website are licensed under the GNU Lesser General Public License version 3 (beginning with TweetyProject version 1.6, the versions before are licensed under the GNU General Public License version 3) except when this is noted otherwise. Use and modification of the libraries is encouraged but please give credit by referring to this website. Please note that some libraries make also use of other third-party libraries such as Apache Commons.

This website and TweetyProject are under constant development. Please come back frequently to check for updates.

If you are only interested in specific libraries please see the Libraries section for the individual dependencies. If you are not a Maven user you can also download JARs in the Downloads section.

• 03.09.2024: New release TweetyProject 1.27. Changelog:
  • New libraries:
    • org.tweetyproject.arg.weighted: weighted argumentation frameworks
    • org.tweetyproject.arg.extended: argumentation frameworks with recursive attacks
  • New functionalities:
    • Added generator for deductive knowledge bases (org.tweetyproject.arg.deductive)
    • Added minmax numbering for argumentation frameworks (org.tweetyproject.arg.dung)
    • New soft notions of stable semantics for abstract argumentation frameworks (org.tweetyproject.arg.dung)
  • Minor changes:
    • Fixed JavaDoc
    • Minor bugfixes
• 18.01.2024: New release TweetyProject 1.25. Changelog:
  • New libraries: none
  • New functionalities:
    • Added functionalities for reasoning with serialisable semantics for abstract argumentation frameworks (org.tweetyproject.arg.dung)
    • Added equivalence testing classes for abstract argumentation frameworks, in particular for standard equivalence, strong equivalence, and serialisation equivalence (org.tweetyproject.arg.dung)
    • Added functionalities for causal reasoning with abstract argumentation frameworks (org.tweetyproject.arg.dung)
    • updated web packages with Spring framework (org.tweetyproject.web)
    • added web components for reasoning with abstract argumentation and ABA (org.tweetyproject.web)
  • Minor changes:
    • Improved DIMACS conversion for MaxSAT solving
    • Minor bugfixes