A logic of argumentation for specification and verification of abstract argumentation frameworks / Serena Villata;Guido Boella;Dov M. Gabbay;Leendert Torre;Joris Hulstijn. - In: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE. - ISSN 1012-2443. - 66:(2012), pp. 199-230. [10.1007/s10472-012-9318-6]
Titolo: | A logic of argumentation for specification and verification of abstract argumentation frameworks | |
Autori Riconosciuti: | ||
Autori: | Serena Villata;Guido Boella;Dov M. Gabbay;Leendert Torre;Joris Hulstijn | |
Data di pubblicazione: | 2012 | |
Volume: | 66 | |
Pagina iniziale: | 199 | |
Pagina finale: | 230 | |
Digital Object Identifier (DOI): | 10.1007/s10472-012-9318-6 | |
Rivista: | ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE | |
Appare nelle tipologie: | 03A-Articolo su Rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.