In order to use the TweetyProject libraries for development it is recommended to use Maven and add the following dependency to your project:
<dependency>
<groupId>org.tweetyproject</groupId>
<artifactId>tweety-full</artifactId>
<version>1.31</version>
</dependency>
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 directly download the JARs below. For snapshot versions of the TweetyProject libraries please go to the Git repository at GitHub.
All JARs come in two versions: plain and with all dependencies. The latter include all derived dependencies from other TweetyProject libraries and third-party components and are therefore self-contained and can be used right away. The former only include the class files of the actual package and your application may not work if you do not add the necessary dependencies to your project (see the pom.xml files inside the JARs to get a list of all dependencies). It is highly recommended to use the version which already include all dependencies.
All JARs (plain and self-contained) also contain source code files.
All-in-one package
General libraries
- Commons 1.31, 14.07.2026
Commons (with all dependencies) 1.31, 14.07.2026
Commons (sources) 1.31, 14.07.2026
Interfaces and abstract implementations for general knowledge representation, logics, reasoners. Also contains several utility classes.
- Plugin 1.31, 14.07.2026
Plugin (with all dependencies) 1.31, 14.07.2026
Plugin (sources) 1.31, 14.07.2026
Plugin architecture for projects.
- Command Line Interface 1.31, 14.07.2026
Command Line Interface (with all dependencies) 1.31, 14.07.2026
Command Line Interface (sources) 1.31, 14.07.2026
A command line interface for using libraries.
- Comparator 1.31, 14.07.2026
Comparator (with all dependencies) 1.31, 14.07.2026
Comparator (sources) 1.31, 14.07.2026
Interfaces and abstract classes for comparing things.
- Math 1.31, 14.07.2026
Math (with all dependencies) 1.31, 14.07.2026
Math (sources) 1.31, 14.07.2026
Utility library for working with mathematical expressions and implementations for mathematical optimization.
- Graphs 1.31, 14.07.2026
Graphs (with all dependencies) 1.31, 14.07.2026
Graphs (sources) 1.31, 14.07.2026
Utility library for working with graphs.
- SAT 1.31, 14.07.2026
SAT (with all dependencies) 1.31, 14.07.2026
SAT (sources) 1.31, 14.07.2026
Utility library for working with satisfiability solvers (alpha).
Logic libraries
- Logic Commons 1.31, 14.07.2026
Logic Commons (with all dependencies) 1.31, 14.07.2026
Logic Commons (sources) 1.31, 14.07.2026
Commons for logic libraries.
- Propositional Logic 1.31, 14.07.2026
Propositional Logic (with all dependencies) 1.31, 14.07.2026
Propositional Logic (sources) 1.31, 14.07.2026
Implementation of propositional logic with naive reasoning capabilities and SAT solver bridges.
- First-Order Logic 1.31, 14.07.2026
First-Order Logic (with all dependencies) 1.31, 14.07.2026
First-Order Logic (sources) 1.31, 14.07.2026
Implementation of first-order logic with naive reasoning capabilities and theorem prover bridges.
- Conditional Logic 1.31, 14.07.2026
Conditional Logic (with all dependencies) 1.31, 14.07.2026
Conditional Logic (sources) 1.31, 14.07.2026
Implementation of conditional logic and reasoning with c representations.
- Relational Conditional Logic 1.31, 14.07.2026
Relational Conditional Logic (with all dependencies) 1.31, 14.07.2026
Relational Conditional Logic (sources) 1.31, 14.07.2026
Classes for working with first-order conditionals.
- Reiter's Default Logic 1.31, 14.07.2026
Reiter's Default Logic (with all dependencies) 1.31, 14.07.2026
Reiter's Default Logic (sources) 1.31, 14.07.2026
An implementation of Reiter's default logic.
- Probabilistic Conditional Logic 1.31, 14.07.2026
Probabilistic Conditional Logic (with all dependencies) 1.31, 14.07.2026
Probabilistic Conditional Logic (sources) 1.31, 14.07.2026
Implementation of probabilistic conditional logic. Supports reasoning based on maximum entropy and analysis of knowledge bases with inconsistency measures.
- Petri Nets 1.31, 14.07.2026
Petri Nets (with all dependencies) 1.31, 14.07.2026
Petri Nets (sources) 1.31, 14.07.2026
Implementation of Petri nets with reasoning capabilities and inconsistency measures.
- Relational Probabilistic Conditional Logic 1.31, 14.07.2026
Relational Probabilistic Conditional Logic (with all dependencies) 1.31, 14.07.2026
Relational Probabilistic Conditional Logic (sources) 1.31, 14.07.2026
Classes for working with first-order probabilistic conditionals.
- Markov Logic 1.31, 14.07.2026
Markov Logic (with all dependencies) 1.31, 14.07.2026
Markov Logic (sources) 1.31, 14.07.2026
Library for analyzing and reasoning with Markov logic networks.
- Modal Logic 1.31, 14.07.2026
Modal Logic (with all dependencies) 1.31, 14.07.2026
Modal Logic (sources) 1.31, 14.07.2026
Classes for working with modal and epistemic logics.
- Quantified Boolean Formulas 1.31, 14.07.2026
Quantified Boolean Formulas (with all dependencies) 1.31, 14.07.2026
Quantified Boolean Formulas (sources) 1.31, 14.07.2026
Library for modelling and reasoning with quantified Boolean formulas.
- Description Logic 1.31, 14.07.2026
Description Logic (with all dependencies) 1.31, 14.07.2026
Description Logic (sources) 1.31, 14.07.2026
Classes for working with description logics.
- Business Process Modelling 1.31, 14.07.2026
Business Process Modelling (with all dependencies) 1.31, 14.07.2026
Business Process Modelling (sources) 1.31, 14.07.2026
Classes for working with business proces models.
- Logic Translators 1.31, 14.07.2026
Logic Translators (with all dependencies) 1.31, 14.07.2026
Logic Translators (sources) 1.31, 14.07.2026
Translators for different logics.
Logic programming libraries
Argumentation libraries
- Abstract Argumentation 1.31, 14.07.2026
Abstract Argumentation (with all dependencies) 1.31, 14.07.2026
Abstract Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation based on Dung abstract argumentation frameworks.
- Deductive Argumentation 1.31, 14.07.2026
Deductive Argumentation (with all dependencies) 1.31, 14.07.2026
Deductive Argumentation (sources) 1.31, 14.07.2026
Classes for performing deductive argumentation.
- Assumption-based Argumentation 1.31, 14.07.2026
Assumption-based Argumentation (with all dependencies) 1.31, 14.07.2026
Assumption-based Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation based on assumption-based argumentation.
- Abstract Dialectical Frameworks 1.31, 14.07.2026
Abstract Dialectical Frameworks (with all dependencies) 1.31, 14.07.2026
Abstract Dialectical Frameworks (sources) 1.31, 14.07.2026
Classes for performing argumentation based on abstract dialectical frameworks.
- ASPIC+ 1.31, 14.07.2026
ASPIC+ (with all dependencies) 1.31, 14.07.2026
ASPIC+ (sources) 1.31, 14.07.2026
Classes for performing argumentation based on ASPIC+.
- Bipolar Argumentation 1.31, 14.07.2026
Bipolar Argumentation (with all dependencies) 1.31, 14.07.2026
Bipolar Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation based on bipolar argumentation.
- Epistemic Argumentation 1.31, 14.07.2026
Epistemic Argumentation (with all dependencies) 1.31, 14.07.2026
Epistemic Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation based on epistemic argumentation.
- Explanations for Argumentation 1.31, 14.07.2026
Explanations for Argumentation (with all dependencies) 1.31, 14.07.2026
Explanations for Argumentation (sources) 1.31, 14.07.2026
Classes for generating explanations for argumentation.
- Extended Argumentation 1.31, 14.07.2026
Extended Argumentation (with all dependencies) 1.31, 14.07.2026
Extended Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation based on argumentation frameworks with recursive attacks.
- Weighted Argumentation 1.31, 14.07.2026
Weighted Argumentation (with all dependencies) 1.31, 14.07.2026
Weighted Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation based on weighted argumentation.
- Constrained Argumentation 1.31, 14.07.2026
Constrained Argumentation (with all dependencies) 1.31, 14.07.2026
Constrained Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation based on constrained argumentation frameworks.
- Social Abstract Argumentation 1.31, 14.07.2026
Social Abstract Argumentation (with all dependencies) 1.31, 14.07.2026
Social Abstract Argumentation (sources) 1.31, 14.07.2026
Argumentation library based on social abstract argumentation frameworks.
- Structured Argumentation 1.31, 14.07.2026
Structured Argumentation (with all dependencies) 1.31, 14.07.2026
Structured Argumentation (sources) 1.31, 14.07.2026
Argumentation library based on structured argumentation frameworks.
- SetAFs 1.31, 14.07.2026
SetAFs (with all dependencies) 1.31, 14.07.2026
SetAFs (sources) 1.31, 14.07.2026
Argumentation library for abstract argumentation frameworks with collective attacks (SetAFs).
- Defeasible Logic Programming 1.31, 14.07.2026
Defeasible Logic Programming (with all dependencies) 1.31, 14.07.2026
Defeasible Logic Programming (sources) 1.31, 14.07.2026
Classes for performing argumentation based on defeasible logic programming (DeLP).
- Logic Programming Argumentation 1.31, 14.07.2026
Logic Programming Argumentation (with all dependencies) 1.31, 14.07.2026
Logic Programming Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation based on logic programming.
- Probabilistic Argumentation 1.31, 14.07.2026
Probabilistic Argumentation (with all dependencies) 1.31, 14.07.2026
Probabilistic Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation with probability.
- Rankings for Argumentation 1.31, 14.07.2026
Rankings for Argumentation (with all dependencies) 1.31, 14.07.2026
Rankings for Argumentation (sources) 1.31, 14.07.2026
Classes for performing argumentation with rankings-based semantics.
Agent libraries
Other libraries
- Action and Change 1.31, 14.07.2026
Action and Change (with all dependencies) 1.31, 14.07.2026
Action and Change (sources) 1.31, 14.07.2026
Action and change library.
- Belief Dynamics 1.31, 14.07.2026
Belief Dynamics (with all dependencies) 1.31, 14.07.2026
Belief Dynamics (sources) 1.31, 14.07.2026
Interfaces and classes for belief revision, expansion, and contraction.
- Causal Reasoning 1.31, 14.07.2026
Causal Reasoning (with all dependencies) 1.31, 14.07.2026
Causal Reasoning (sources) 1.31, 14.07.2026
Classes for causal reasoning.
- Machine Learning 1.31, 14.07.2026
Machine Learning (with all dependencies) 1.31, 14.07.2026
Machine Learning (sources) 1.31, 14.07.2026
Classes for basic machine learning problems.
- Preferences 1.31, 14.07.2026
Preferences (with all dependencies) 1.31, 14.07.2026
Preferences (sources) 1.31, 14.07.2026
Classes for dealing with preference reasoning and preference aggregation.
- Web 1.31, 14.07.2026
Web (with all dependencies) 1.31, 14.07.2026
Web (sources) 1.31, 14.07.2026
Classes for exoposing functionalities through web services.
Older JAR builds can also be found here.