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 <federico.cerutti@acm.org>
Mauro Vallati <m.vallati@hud.ac.uk>
Massimiliano Giacomin <massimiliano.giacomin@unibs.it>
Credits for porting to MacOSX: Roman Kutlak <r.kutlak@abdn.ac.uk>

Project Activity

See All Activity >

Categories

Research

License

MIT License

Follow ArgSemSAT

ArgSemSAT Web Site

Other Useful Business Software
Earn up to 16% annual interest with Nexo. Icon
Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of ArgSemSAT!

Additional Project Details

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Research Software

Registered

2014-03-31