v1.27

Maven

<dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.27</version>
</dependency> 

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

v1.25

Maven

<dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.25</version>
</dependency> 

Changelog

• New libraries:
• 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

v1.24

Maven

<dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.24</version>
</dependency> 

Changelog

• New libraries:
• New functionalities:
• Minor changes:
  • Minor bugfixes
  • Fixed JavaDoc

v1.23

Maven

<dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.23</version>
</dependency> 

Changelog

• New libraries:
• New functionalities:
  • Added FPGrowth algorithm for frequent pattern mining (org.tweetyproject.machinelearning)
  • Added basic functionalities for reinforcement learning such as MDPs, policy evaluation,
    policy iteration, and value iteration algorithms (org.tweetyproject.machinelearning)
  • Added algorithm for learning AFs from labelings (org.tweetyproject.arg.dung)
  • Added command line interface for inconsistency measures (org.tweetyproject.logics.pl)
  • Added probabilistic evidential argumentation frameworks (org.tweetyproject.arg.bipolar)
  • Added support for ICCMA23 abstract argumentation solvers (org.tweetyproject.arg.dung)
  • Added vacuous reduct semantics for abstract argumentation (org.tweetyproject.arg.dung)
  • Added serialisable ranking reasoner (org.tweetyproject.arg.ranking)
  • Added inconsistency measure based on prime implicants (org.tweetyproject.logics.pl)
• Minor changes:
  • Fixed JavaDoc

v1.22

Maven

<dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.22</version>
</dependency> 

Changelog

• New libraries:
  • org.tweetyproject.comparator: library for various comparators such as
    partial orders
• New functionalities:
  • Added extension ranking semantics (org.tweetyproject.arg.dung)
  • Added reasoner for serialisable semantics (org.tweetyproject.arg.dung)
  • Added support for incomplete argumentation frameworks (org.tweetyproject.arg.dung)
  • Added KWT generator for abstract argumentation frameworks (org.tweetyproject.arg.dung)
• Minor changes:
  • Encoding optimsations for SAT-based argumentation solvers (org.tweetyproject.arg.dung)
  • Bugfix web interface (note that http://tweetyproject.org/w/ is usable again)

v1.21

Maven

<dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.21</version>
</dependency> 

Changelog

• New libraries:
  • org.tweetyproject.sat: dedicated library for SAT solving
• New functionalities:
  • added further transformation functionalities between ADFs and conditional
    logics (org.tweetyproject.logics.translators)
  • added claim-based argumentation frameworks (CAFs) to
    org.tweetyproject.arg.dung (syntax, semantics, and reasoners)
  • added parallel query execution of ADFs to org.tweetyproject.arg.adf
  • added missing JUnit tests for all libraries
  • added and improved acceptability reasoner in org.tweetyproject.arg.dung
  • added further inconsistency measures and examples to
    org.tweetyproject.logics.bpm and org.tweetyproject.logics.petri
• Minor changes:
  • bugfixes in LpSolve bridge
  • bugfixes and improvements for ADFs (org.tweetyproject.arg.adf)
  • bridges to external solvers now offer a method "isInstalled" for checking
    existence of solvers
  • bugfixes in existing JUnit tests
  • refactoring of extension handling in org.tweetyproject.arg.dung
  • removed log4j security issues

v1.20

Maven

<dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.20</version>
</dependency> 

Changelog

• New libraries:org.tweetyproject.logics.petri: Petri nets with reasoning capabilities and inconsistency measures
  • org.tweetyproject.arg.setaf: abstract argumentation framworks with
    collective attacks (SetAFs), including several reasoner
• New functionalities:
  • added principles for abstract argumentation and a tool that checks
    compliance with principles for arbitrary reasoner
    (org.tweetyproject.arg.dung)
  • added reasoner for strong admissibility semantics, eager semantics,
    weakly complete semantics, weakly grounded semantics, weakly preferred
    semantics, solid admissibility semantics (org.tweetyproject.arg.dung)
  • added query API for ADFs (org.tweetyproject.arg.adf)
  • added grounding capabilities to ASP (org.tweetyproject.lp.asp)
  • new reasoner for ranking semantics for abstract argumentation
    (org.tweetyproject.arg.rankings)
  • added hypergraph datastructures to graph library
    (org.tweetyproject.graphs)
  • added transformation functionalities between ADFs and conditional
    logics (org.tweetyproject.logics.translators)
• Minor changes:
  • Bugfixes and improvements for ASP (org.tweetyproject.lp.asp)
  • Bugfixes and improvements for ranking semantics for abstract argumentation
    (org.tweetyproject.arg.rankings)
  • Improved JavaDoc throughout the project

v1.19

Maven

<dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.19</version>
</dependency> 

Changelog

• The source repository of TweetyProject has now been moved to GitHub. As a result, the main
  package of TweetyProject has been changed from "net.sf.tweety" to
  "org.tweetyproject".
• New libraries: none
• New functionalities:
  • added parser, writer, and inconsistency measurement approaches to the
    BPM library (org.tweetyproject.logics.bpm)
  • added abstract argumentation synthesizing approach of Niskanen et al.
    (org.tweetyproject.arg.dung)
  • added strong equivalence check and independence check capabilities for
    abstract argumentation (org.tweetyproject.arg.dung)
  • added further optimisation approaches, in particular for combinatorial
    optimisation: ant colony search, stochastic search, iterated local search,
    binding for Gurobi (org.tweetyproject.math)
  • added utility class for analysis performance of inconsistency measures
    (org.tweetyproject.logics.commons)
  • added aggregates and optimisation statements to the ASP library
    (org.tweetyproject.lp.asp)
• Minor changes:
  • several improvements and bugfixes in the ADF library
    (org.tweetyproject.arg.adf)
  • improved bindings to satisfiability solvers (org.tweetyproject.logics.pl)
  • bugfixes in ordering semantics for abstract argumentation
    (org.tweetyproject.arg.dung)
  • bugfixes in the ASP library (org.tweetyproject.lp.asp)