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