argsemsat

We have hosted the application argsemsat in order to run this application in our online workstations with Wine or directly.

Quick description about argsemsat:

Deprecated hosting for this project. The new hosting is at
https: //github.com/federicocerutti/ArgSemSAT

In particular, the source code for the publication:
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati,
How we designed winning algorithms for abstract argumentation and which insight we attained,
Artificial Intelligence,
Volume 276,
2019,
Pages 1-40,
ISSN 0004-3702,
https: //doi.org/10.1016/j.artint.2019.08.001.
(http: //www.sciencedirect.com/science/article/pii/S0004370218302650)

is available at
https: //github.com/federicocerutti/ArgSemSAT/releases/tag/1.0.5


Solving argumentation problems in Dung's AFs.

Authors:
Federico Cerutti <[email protected]>
Mauro Vallati <[email protected]>
Massimiliano Giacomin <[email protected]>
Credits for porting to MacOSX: Roman Kutlak <[email protected]>.


User interface: Command-line.
Programming Language: C++.
Categories: