CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishA 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.
| 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.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2318/69857
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021