-
Notifications
You must be signed in to change notification settings - Fork 17
/
Copy pathrelease_information.txt
269 lines (253 loc) · 13.2 KB
/
release_information.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
03.09.2024 - TweetyProject 1.27
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
03.09.2024 - TweetyProject 1.26 (not officially released)
18.01.2024 - TweetyProject 1.25
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
11.07.2023 - TweetyProject 1.24
New libraries: <none>
New functionalities: <none>
Minor changes:
- Minor bugfixes
- Fixed JavaDoc
23.01.2023 - TweetyProject 1.23
New libraries: <none>
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
25.07.2022 - TweetyProject 1.22
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 optimisations for SAT-based argumentation solvers (org.tweetyproject.arg.dung)
- Bugfix web interface (note that http://tweetyproject.org/w/ is usable again)
20.01.2022 - TweetyProject 1.21
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
04.08.2021 - TweetyProject 1.20
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
02.02.2021 - TweetyProject 1.19
- The source repository of TweetyProject has now been moved to GitHub
(https://github.com/TweetyProjectTeam/TweetyProject). 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)
29.01.2021 - TweetyProject 1.18 (not officially released)
14.07.2020 - TweetyProject 1.17
New libraries:
- net.sf.tweety.logics.bpm: business process modelling library (stub)
New functionalities:
- added reasoner for bipolar argumentation (net.sf.tweety.arg.bipolar)
- added reasoner for weak admissibility, naive semantics, stage2 semantics,
cf2 semantics, scf2 semantics, scooc-naive semantics, qualified and
semi-qualified sigma-semantics, and ordering semantics in abstract
argumentation (net.sf.tweety.arg.dung)
- added inconsistency measures for abstract argumentation
(net.sf.tweety.arg.dung)
- added learning capabilities for abstract argumentation
(net.sf.tweety.arg.dung)
- added further reasoner for ranking semantics in abstract argumentation
(net.sf.tweety.arg.dung.rankings)
- added functionalities to enumerate interpolants in propositional
logic (net.sf.tweety.logics.pl)
- added iceberg inconsistency measure (net.sf.tweety.logics.pl)
- refactoring and extension of optimisation functionalities
(net.sf.tweety.math)
- refactoring and extension of abstract dialectical frameworks
(net.sf.tweety.arg.adf)
Minor changes:
- added XOR to various logics
- added convenience methods for easier adding multiple formulas
to belief bases
- bugfixes in ASP (net.sf.tweety.lp.asp)
23.01.2020 - TweetyProject 1.16
New libraries:
- net.sf.tweety.arg.bipolar: bipolar argumentation frameworks
- net.sf.tweety.logics.qbf: Quantified Boolean Formula framework; bridges
to solvers Cadet, Caqe, GhostQ, and Qute; parser for QDIMACS and QCIR
format
New functionalities:
- added preferred, complete, grounded, stable and conflict-free semantics to
ADFs (net.sf.tweety.arg.adf)
- new ranking-based semantics for abstract argumentation
(net.sf.tweety.arg.rankings): Matt and Toni reasoner
- added first-order logic support to both ASPIC+ and ABA
(net.sf.tweety.arg.aspic, net.sf.tweety.arg.aba)
- added MAXSat solver functionalities and bridge to open-wbo
(net.sf.tweety.logics.pl)
Minor changes:
- improved enumeration of deductive arguments in net.sf.tweety.arg.deductive
- bugfixes in several ranking semantics (net.sf.tweety.arg.rankings)
- bugfixes in ASPIC+ (net.sf.tweety.arg.aspic)
21.01.2020 - TweetyProject 1.15 (not officially released)
18.07.2019 - TweetyProject 1.14
New libraries:
- net.sf.tweety.arg.rankings: ranking-based semantics for abstract
argumentation frameworks
New functionalities:
- New ranking-based semantics for abstract argumentation
(net.sf.tweety.arg.rankings): burden-based semantics, discussion-based
semantics, categorizer ranking semantics, social argumentation ranking
semantics, tuples ranking semantics.
- added several postulates for ranking-based semantics for abstract
argumentation (net.sf.tweety.arg.rankings); automatic evaluation through
postulate evaluation framework (net.sf.tweety.commons.postulates).
- Added implementation of ADFs (net.sf.tweety.arg.adf), in particular
reasoner for model, naive, and admissible semantics and parser for
the k++ ADF format.
Minor changes:
- Refactored the use of signatures in logics; signature is now an
attribute in commons.BeliefSet
- added more postulates for inconsistency measures for propositional
logic (net.sf.tweety.logics.pl.postulates); automatic evaluation through
postulate evaluation framework (net.sf.tweety.commons.postulates).
- Belief base iteration from text files (with one belief base per line)
15.07.2019 - TweetyProject 1.13 (not officially released)
23.01.2019 - TweetyProject 1.12
New libraries: <none>
New functionalities:
- Complete ASP library overhaul (net.sf.tweety.lp.asp); added support for
ASPCore2 input syntax; added more solvers and tests
- Complete DL library overhaul (net.sf.tweety.logics.dl); added syntax and
semantic classes, and parser
- Added writer for ASPIC files (net.sf.tweety.arg.aspic.writer.AspicWriter)
- Added new reasoner for ASPIC
(net.sf.tweety.arg.aspic.reasoner.DirectionalReasoner)
- Added (naive) algorithm to compute betweenness centrality in graphs
Minor changes:
- Added further postulates for automatic postulate evaluation of
inconsistency measures (net.sf.tweety.logics.pl.postulates)
- Refactored inference modes for all reasoners (see
net.sf.tweety.commons.InferenceMode)
- Performance improvements for DeLP reasoner
(net.sf.tweety.arg.delp.reasoner.DelpReasoner)
- Overhauled examples for ASPIC (net.sf.tweety.arg.aspic.examples)
- Bugfixes probo reasoner (net.sf.tweety.arg.dung.reasoner.ProboReasoner)
- Unified naming of brute-force/naive reasoners (all are now prefixed by
"Simple")
- general bugfixing
24.07.2018 - TweetyProject 1.11
New libraries: <none>
New functionalities:
- Approximative reasoning for ASPIC+ (arg.aspic.reasoner.RandomAspicReasoner)
- TPTP format support in logics.fol; added support for equality
- Added classes for automatic postulate evaluation (see commons.postulates
for the framework and logics.pl.postulates for an example)
- Added a new graded semantics for abstract argumentation (see
arg.prob.reasoner.ProbabilisticRankingReasoner)
- Added a simple DPLL implementation in Java in logics.pl
- Added Dimacs parser in logics.pl
Minor changes:
- commons.Reasoner interface refactored; added additional interfaces
commons.QualitativeReasoner and commons.QuantativeReasoner;
removed obsolete commons.BeliefBaseReasoner, commons.Answer
and others
- folder "projects" is now folder "libraries"
- logics.lp.asp bugfixes and stream-lining
- logics.fol bugfixes and stream-lining
- removed arg.simpledeductive library, integrated functionalities into
net.sf.tweety.arg.deductive
- almost every library comes now with an "examples" package containing
example code
- general bugfixing