Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio Reasoning about delegation and revocation schemes in answer set programming. (English) Zbl 1361.68219 J. Log. Comput. 24, No. 1, 89-116 (2014). MSC: 68T27 68N17 94A62 PDFBibTeX XMLCite \textit{S. Barker} et al., J. Log. Comput. 24, No. 1, 89--116 (2014; Zbl 1361.68219) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{S. Barker} et al., Stud. Log. 92, No. 3, 437--477 (2009; Zbl 1181.03031) Full Text: DOI Link