Switch to: References

Add citations

You must login to add citations.
  1. On the complexity of input/output logic.Xin Sun & Livio Robaldo - 2017 - Journal of Applied Logic 25:69-88.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base.Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni & Gabriele Lenzini - 2020 - Journal of Logic, Language and Information 29 (4):401-449.
    The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name. It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation, the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology, which provides (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation