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.28</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.28, 23.01.2025
Commons (with all dependencies) 1.28, 23.01.2025
Commons (sources) 1.28, 23.01.2025
Interfaces and abstract implementations for general knowledge representation, logics, reasoners. Also contains several utility classes.
- Plugin 1.28, 23.01.2025
Plugin (with all dependencies) 1.28, 23.01.2025
Plugin (sources) 1.28, 23.01.2025
Plugin architecture for projects.
- Command Line Interface 1.28, 23.01.2025
Command Line Interface (with all dependencies) 1.28, 23.01.2025
Command Line Interface (sources) 1.28, 23.01.2025
A command line interface for using libraries.
- Comparator 1.28, 23.01.2025
Comparator (with all dependencies) 1.28, 23.01.2025
Comparator (sources) 1.28, 23.01.2025
Interfaces and abstract classes for comparing things.
- Math 1.28, 23.01.2025
Math (with all dependencies) 1.28, 23.01.2025
Math (sources) 1.28, 23.01.2025
Utility library for working with mathematical expressions and implementations for mathematical optimization.
- Graphs 1.28, 23.01.2025
Graphs (with all dependencies) 1.28, 23.01.2025
Graphs (sources) 1.28, 23.01.2025
Utility library for working with graphs.
- SAT 1.28, 23.01.2025
SAT (with all dependencies) 1.28, 23.01.2025
SAT (sources) 1.28, 23.01.2025
Utility library for working with satisfiability solvers (alpha).
Logic libraries
- Logic Commons 1.28, 23.01.2025
Logic Commons (with all dependencies) 1.28, 23.01.2025
Logic Commons (sources) 1.28, 23.01.2025
Commons for logic libraries.
- Propositional Logic 1.28, 23.01.2025
Propositional Logic (with all dependencies) 1.28, 23.01.2025
Propositional Logic (sources) 1.28, 23.01.2025
Implementation of propositional logic with naive reasoning capabilities and SAT solver bridges.
- First-Order Logic 1.28, 23.01.2025
First-Order Logic (with all dependencies) 1.28, 23.01.2025
First-Order Logic (sources) 1.28, 23.01.2025
Implementation of first-order logic with naive reasoning capabilities and theorem prover bridges.
- Conditional Logic 1.28, 23.01.2025
Conditional Logic (with all dependencies) 1.28, 23.01.2025
Conditional Logic (sources) 1.28, 23.01.2025
Implementation of conditional logic and reasoning with c representations.
- Relational Conditional Logic 1.28, 23.01.2025
Relational Conditional Logic (with all dependencies) 1.28, 23.01.2025
Relational Conditional Logic (sources) 1.28, 23.01.2025
Classes for working with first-order conditionals.
- Reiter's Default Logic 1.28, 23.01.2025
Reiter's Default Logic (with all dependencies) 1.28, 23.01.2025
Reiter's Default Logic (sources) 1.28, 23.01.2025
An implementation of Reiter's default logic.
- Probabilistic Conditional Logic 1.28, 23.01.2025
Probabilistic Conditional Logic (with all dependencies) 1.28, 23.01.2025
Probabilistic Conditional Logic (sources) 1.28, 23.01.2025
Implementation of probabilistic conditional logic. Supports reasoning based on maximum entropy and analysis of knowledge bases with inconsistency measures.
- Petri Nets 1.28, 23.01.2025
Petri Nets (with all dependencies) 1.28, 23.01.2025
Petri Nets (sources) 1.28, 23.01.2025
Implementation of Petri nets with reasoning capabilities and inconsistency measures.
- Relational Probabilistic Conditional Logic 1.28, 23.01.2025
Relational Probabilistic Conditional Logic (with all dependencies) 1.28, 23.01.2025
Relational Probabilistic Conditional Logic (sources) 1.28, 23.01.2025
Classes for working with first-order probabilistic conditionals.
- Markov Logic 1.28, 23.01.2025
Markov Logic (with all dependencies) 1.28, 23.01.2025
Markov Logic (sources) 1.28, 23.01.2025
Library for analyzing and reasoning with Markov logic networks.
- Modal Logic 1.28, 23.01.2025
Modal Logic (with all dependencies) 1.28, 23.01.2025
Modal Logic (sources) 1.28, 23.01.2025
Classes for working with modal and epistemic logics.
- Quantified Boolean Formulas 1.28, 23.01.2025
Quantified Boolean Formulas (with all dependencies) 1.28, 23.01.2025
Quantified Boolean Formulas (sources) 1.28, 23.01.2025
Library for modelling and reasoning with quantified Boolean formulas.
- Description Logic 1.28, 23.01.2025
Description Logic (with all dependencies) 1.28, 23.01.2025
Description Logic (sources) 1.28, 23.01.2025
Classes for working with description logics.
- Business Process Modelling 1.28, 23.01.2025
Business Process Modelling (with all dependencies) 1.28, 23.01.2025
Business Process Modelling (sources) 1.28, 23.01.2025
Classes for working with business proces models.
- Logic Translators 1.28, 23.01.2025
Logic Translators (with all dependencies) 1.28, 23.01.2025
Logic Translators (sources) 1.28, 23.01.2025
Translators for different logics.
Logic programming libraries
Argumentation libraries
- Abstract Argumentation 1.28, 23.01.2025
Abstract Argumentation (with all dependencies) 1.28, 23.01.2025
Abstract Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation based on Dung abstract argumentation frameworks.
- Deductive Argumentation 1.28, 23.01.2025
Deductive Argumentation (with all dependencies) 1.28, 23.01.2025
Deductive Argumentation (sources) 1.28, 23.01.2025
Classes for performing deductive argumentation.
- Assumption-based Argumentation 1.28, 23.01.2025
Assumption-based Argumentation (with all dependencies) 1.28, 23.01.2025
Assumption-based Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation based on assumption-based argumentation.
- Abstract Dialectical Frameworks 1.28, 23.01.2025
Abstract Dialectical Frameworks (with all dependencies) 1.28, 23.01.2025
Abstract Dialectical Frameworks (sources) 1.28, 23.01.2025
Classes for performing argumentation based on abstract dialectical frameworks.
- ASPIC+ 1.28, 23.01.2025
ASPIC+ (with all dependencies) 1.28, 23.01.2025
ASPIC+ (sources) 1.28, 23.01.2025
Classes for performing argumentation based on ASPIC+.
- Bipolar Argumentation 1.28, 23.01.2025
Bipolar Argumentation (with all dependencies) 1.28, 23.01.2025
Bipolar Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation based on bipolar argumentation.
- Extended Argumentation 1.28, 23.01.2025
Extended Argumentation (with all dependencies) 1.28, 23.01.2025
Extended Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation based on argumentation frameworks with recursive attacks.
- Weighted Argumentation 1.28, 23.01.2025
Weighted Argumentation (with all dependencies) 1.28, 23.01.2025
Weighted Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation based on weighted argumentation.
- Constrained Argumentation 1.28, 23.01.2025
Constrained Argumentation (with all dependencies) 1.28, 23.01.2025
Constrained Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation based on constrained argumentation frameworks.
- Social Abstract Argumentation 1.28, 23.01.2025
Social Abstract Argumentation (with all dependencies) 1.28, 23.01.2025
Social Abstract Argumentation (sources) 1.28, 23.01.2025
Argumentation library based on social abstract argumentation frameworks.
- Structured Argumentation 1.28, 23.01.2025
Structured Argumentation (with all dependencies) 1.28, 23.01.2025
Structured Argumentation (sources) 1.28, 23.01.2025
Argumentation library based on structured argumentation frameworks.
- SetAFs 1.28, 23.01.2025
SetAFs (with all dependencies) 1.28, 23.01.2025
SetAFs (sources) 1.28, 23.01.2025
Argumentation library for abstract argumentation frameworks with collective attacks (SetAFs).
- Defeasible Logic Programming 1.28, 23.01.2025
Defeasible Logic Programming (with all dependencies) 1.28, 23.01.2025
Defeasible Logic Programming (sources) 1.28, 23.01.2025
Classes for performing argumentation based on defeasible logic programming (DeLP).
- Logic Programming Argumentation 1.28, 23.01.2025
Logic Programming Argumentation (with all dependencies) 1.28, 23.01.2025
Logic Programming Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation based on logic programming.
- Probabilistic Argumentation 1.28, 23.01.2025
Probabilistic Argumentation (with all dependencies) 1.28, 23.01.2025
Probabilistic Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation with probability.
- Rankings for Argumentation 1.28, 23.01.2025
Rankings for Argumentation (with all dependencies) 1.28, 23.01.2025
Rankings for Argumentation (sources) 1.28, 23.01.2025
Classes for performing argumentation with rankings-based semantics.
Agent libraries
Other libraries
- Action and Change 1.28, 23.01.2025
Action and Change (with all dependencies) 1.28, 23.01.2025
Action and Change (sources) 1.28, 23.01.2025
Action and change library.
- Belief Dynamics 1.28, 23.01.2025
Belief Dynamics (with all dependencies) 1.28, 23.01.2025
Belief Dynamics (sources) 1.28, 23.01.2025
Interfaces and classes for belief revision, expansion, and contraction.
- Machine Learning 1.28, 23.01.2025
Machine Learning (with all dependencies) 1.28, 23.01.2025
Machine Learning (sources) 1.28, 23.01.2025
Classes for basic machine learning problems.
- Preferences 1.28, 23.01.2025
Preferences (with all dependencies) 1.28, 23.01.2025
Preferences (sources) 1.28, 23.01.2025
Classes for dealing with preference reasoning and preference aggregation.
- Web 1.28, 23.01.2025
Web (with all dependencies) 1.28, 23.01.2025
Web (sources) 1.28, 23.01.2025
Classes for exoposing functionalities through web services.
Older JAR builds can also be found here.