Data di Pubblicazione:
2014
Abstract:
In this paper we describe the system ArgSemSAT which includes algorithms which we proved to overcome current state-of-the-art performances in enumerating preferred extensions.
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Keywords:
argumentation frameworks, argumentation benchmarks, algorithm evaluation
Elenco autori:
Cerutti, Federico; Giacomin, Massimiliano; Vallati, Mauro
Link alla scheda completa:
Titolo del libro:
Proc. of COMMA 2014, 5th International Conference on Computational Models of Argument
Pubblicato in: