Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
DOI10.1007/S10849-019-09309-ZzbMATH Open1477.68299OpenAlexW2991384164WikidataQ126787894 ScholiaQ126787894MaRDI QIDQ2228447FDOQ2228447
Authors: Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni, G. Lenzini 
Publication date: 17 February 2021
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: http://orbilu.uni.lu/handle/10993/42608
Recommendations
- Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation
- scientific article; zbMATH DE number 4005604
- On the complexity of input/output logic
- An embedding of input-output logic in deontic logic programs
- Dynamic logic of legal competences
Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
Cites Work
- Agency and deontic logic
- Operators vs. arguments: The ins and outs of reification
- The complexity of circumscription in DLs
- Title not available (Why is that?)
- Circumscription - a form of non-monotonic reasoning
- Defeasible deontic logic
- Permission from an input/output perspective
- Input/output logics
- ``Sing and dance!. Input/output logics without weakening
- Title not available (Why is that?)
- Constraints for input/output logics
- Representation results for defeasible logic
- The complexity of propositional closed world reasoning and circumscription
- On the complexity of input/output logic
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality
- Independent set readings and generalized quantifiers
- Interpretation and inference with maximal referential terms
- Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
- Title not available (Why is that?)
- A causal approach to nonmonotonic reasoning
- Computing strong and weak permissions in defeasible logic
- Combining constitutive and regulative norms in input/output logic
- Title not available (Why is that?)
- Reasoning about permission and obligation
- On the identification of quantifiers' witness sets: a study of multi-quantifier sentences
- A defeasible logic for modelling policy-based intentions and motivational attitudes
- Title not available (Why is that?)
- Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation
- Contraction of combined normative sets
Cited In (1)
Uses Software
This page was built for publication: Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2228447)
