-
Notifications
You must be signed in to change notification settings - Fork 0
/
CHANGELOG
45 lines (30 loc) · 1.57 KB
/
CHANGELOG
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
1.0.0.1 => 1.1
==============
This package version is now compatible with the command-line application for
the ICCMA competition. See: https://github.com/nebasuke/DungICCMA and the
competition website: http://argumentationcompetition.org/2015/index.html
This package has again been significantly extended and now includes:
* Strict version of the grounded fixpoint semantics.
* Definitions of what it means to be a preferred and stable extension.
* Naive implementations of complete, preferred and stable semantics using
the characteristic function. The fixpoint definitions are actually FASTER
than the fancy algorithm implementation.
* Included the fast implementations of intersect, nub and (\\) by Niklas
Hambuechen.
* Added some clarifying text for the "complete" labelling.
1.0 => 1.0.0.1
==============
* Fixed the record declaration in Main.hs.
* Added an example file.
0.9 => 1.0
=============
This package version is now compatible with the translation package CarneadesIntoDung.
See http://hackage.haskell.org/package/CarneadesIntoDung/
This package has furthermore been significantly extended and now includes:
* Preferred, stable and semi-stable semantics along with all definitions from
Caminada's paper "An Algorithm for Computing Semi-Stable Semantics".
* An Input module, allowing files in standard CEGARTIX/PrefSat format to be parsed.
* An Output module, allowing AFs in this package to be outputted in standard
CEGARTIX/PrefSat format.
* A main executable, allowing input files to be read, argumentation frameworks
to be outputted and evaluated.