conferito da The First International Competition on computational Models of Argumentation (ICCMA 2015)
- 2015
- Il solver ArgSemSAT (sviluppato in collaborazione con Federico Cerutti e Mauro Vallati) ottiene il secondo posto su 18 solver partecipanti alla competizione.
