Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Hulstijn, Joris A logic of argumentation for specification and verification of abstract argumentation frameworks. (English) Zbl 1272.68383 Ann. Math. Artif. Intell. 66, No. 1-4, 199-230 (2012). MSC: 68T27 68T30 PDF BibTeX XML Cite \textit{S. Villata} et al., Ann. Math. Artif. Intell. 66, No. 1--4, 199--230 (2012; Zbl 1272.68383) Full Text: DOI
Boella, Guido; Governatori, Guido; Hulstijn, Joris; Riveret, Régis; Rotolo, Antonino; van der Torre, Leendert Time and defeasibility in FIPA ACL semantics. (English) Zbl 1248.68470 J. Appl. Log. 9, No. 4, 274-288 (2011). MSC: 68T27 68T42 PDF BibTeX XML Cite \textit{G. Boella} et al., J. Appl. Log. 9, No. 4, 274--288 (2011; Zbl 1248.68470) Full Text: DOI
Boella, Guido; Hulstijn, Joris; van der Torre, Leendert A logic of abstract argumentation. (English) Zbl 1236.68246 Parsons, Simon (ed.) et al., Argumentation in multi-agent systems. Second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-36355-6/pbk). Lecture Notes in Computer Science 4049. Lecture Notes in Artificial Intelligence, 29-41 (2006). MSC: 68T42 03B45 68T27 PDF BibTeX XML Cite \textit{G. Boella} et al., Lect. Notes Comput. Sci. 4049, 29--41 (2006; Zbl 1236.68246) Full Text: DOI
Boella, Guido; Hulstijn, Joris; van der Torre, Leendert Interaction in normative multi-agent systems. (English) Zbl 1276.68149 Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 135-162 (2005). MSC: 68T42 03B45 68T27 PDF BibTeX XML Cite \textit{G. Boella} et al., Electron. Notes Theor. Comput. Sci. 141, No. 5, 135--162 (2005; Zbl 1276.68149) Full Text: Link
Boella, Guido; Hulstijn, Joris; van der Torre, Leendert Argumentation for access control. (English) Zbl 1155.68541 Bandini, Stefania (ed.) et al., AI\({}^*\)IA 2005: advances in artificial intelligence. 9th congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29041-9/pbk). Lecture Notes in Computer Science 3673. Lecture Notes in Artificial Intelligence, 86-97 (2005). MSC: 68T99 PDF BibTeX XML Cite \textit{G. Boella} et al., Lect. Notes Comput. Sci. 3673, 86--97 (2005; Zbl 1155.68541) Full Text: DOI