Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Villata, Serena Meta-argumentation modelling. I: Methodology and techniques. (English) Zbl 1185.68664 Stud. Log. 93, No. 2-3, 297-355 (2009). MSC: 68T27 PDF BibTeX XML Cite \textit{G. Boella} et al., Stud. Log. 93, No. 2--3, 297--355 (2009; Zbl 1185.68664) Full Text: DOI
Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio A meta-model of access control in a fibred security language. (English) Zbl 1181.03031 Stud. Log. 92, No. 3, 437-477 (2009). MSC: 03B70 03B45 03B62 PDF BibTeX XML Cite \textit{S. Barker} et al., Stud. Log. 92, No. 3, 437--477 (2009; Zbl 1181.03031) Full Text: DOI
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert Fibred security language. (English) Zbl 1181.03033 Stud. Log. 92, No. 3, 395-436 (2009). MSC: 03B70 03B45 03B62 PDF BibTeX XML Cite \textit{G. Boella} et al., Stud. Log. 92, No. 3, 395--436 (2009; Zbl 1181.03033) Full Text: DOI