Colombo Tosatto, Silvano; Kelsen, Pierre; Ma, Qin; el Kharbili, Marwane; Governatori, Guido; van der Torre, Leendert Algorithms for tractable compliance problems. (English) Zbl 1403.68077 Front. Comput. Sci. 9, No. 1, 55-74 (2015). MSC: 68Q25 68W40 90B70 PDF BibTeX XML Cite \textit{S. Colombo Tosatto} et al., Front. Comput. Sci. 9, No. 1, 55--74 (2015; Zbl 1403.68077) Full Text: DOI
Colombo Tosatto, Silvano; Boella, Guido; van der Torre, Leendert; Villata, Serena Visualizing normative systems: an abstract approach. (English) Zbl 1297.68218 Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 16-30 (2012). MSC: 68T27 03B45 PDF BibTeX XML Cite \textit{S. Colombo Tosatto} et al., Lect. Notes Comput. Sci. 7393, 16--30 (2012; Zbl 1297.68218) Full Text: DOI