Robaldo, Livio; Bartolini, Cesare; Palmirani, Monica; Rossi, Arianna; Martoni, Michele; Lenzini, Gabriele Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base. (English) Zbl 1477.68299 J. Logic Lang. Inf. 29, No. 4, 401-449 (2020). MSC: 68T30 03B45 03B70 PDFBibTeX XMLCite \textit{L. Robaldo} et al., J. Logic Lang. Inf. 29, No. 4, 401--449 (2020; Zbl 1477.68299) Full Text: DOI Link
Sun, Xin; Robaldo, Livio On the complexity of input/output logic. (English) Zbl 1436.03142 J. Appl. Log. 25, 69-88 (2017). MSC: 03B45 68Q17 PDFBibTeX XMLCite \textit{X. Sun} and \textit{L. Robaldo}, J. Appl. Log. 25, 69--88 (2017; Zbl 1436.03142) Full Text: DOI Link