Switch to: References

Add citations

You must login to add citations.
  1. Variable Priorities and Exclusionary Reasons in Input/Output Logic.Dustin Tucker - 2018 - Journal of Philosophical Logic 47 (6):947-964.
    Jörg Hansen, John Horty, and Xavier Parent and Leendert van der Torre have all recently described some sort of nonmonotonic logic to model reasons and their interactions. Horty’s framework is broader in scope than the other two, encompassing both reasoning about the relative strengths of reasons and reasoning about which reasons to consider in the first place. Hansen discusses a plethora of approaches and examples, including Horty’s, arguing that his preferred system best captures our intuitions. And Parent and van der (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the complexity of input/output logic.Xin Sun & Livio Robaldo - 2017 - Journal of Applied Logic 25:69-88.
    Download  
     
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation