-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathREADME
More file actions
20 lines (14 loc) · 713 Bytes
/
README
File metadata and controls
20 lines (14 loc) · 713 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
AUTHORS:
Federico Cerutti, f.cerutti@abdn.ac.uk
Mauro Vallati, m.vallati@hud.ac.uk
Massimiliano Giacomin, massimiliano.giacomin@unibs.it
Please refer to ArgSemSAT http://sourceforge.net/projects/argsemsat/ for further details.
*************************
jArgSemSAT has been designed for providing an efficient, self-contained, Java library,
therefore it is not suitable to be used for evaluating the performance of the ArgSemSAT approach.
On this regard, the C++ version, available at http://sourceforge.net/projects/argsemsat/ , must be used.
*************************
REFERENCES:
https://www.worldscientific.com/doi/abs/10.1142/S0218213017500026
http://orca.cf.ac.uk/88071/
http://orca.cf.ac.uk/92463/