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; Governatori, Guido; Kelsen, Pierre Detecting deontic conflicts in dynamic settings. (English) Zbl 1445.03022 Cariani, Fabrizio (ed.) et al., Deontic logic and normative systems. 12th international conference, DEON 2014, Ghent, Belgium, July 12–15, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8554, 65-80 (2014). MSC: 03B45 PDF BibTeX XML Cite \textit{S. Colombo Tosatto} et al., Lect. Notes Comput. Sci. 8554, 65--80 (2014; Zbl 1445.03022) Full Text: DOI