Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
From MaRDI portal
Publication:2228447
DOI10.1007/s10849-019-09309-zzbMath1477.68299OpenAlexW2991384164WikidataQ126787894 ScholiaQ126787894MaRDI QIDQ2228447
Monica Palmirani, Arianna Rossi, Cesare Bartolini, Gabriele Lenzini, Livio Robaldo, Michele Martoni
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
Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items
Uses Software
Cites Work
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality
- A causal approach to nonmonotonic reasoning
- Independent set readings and generalized quantifiers
- Operators vs. arguments: The ins and outs of reification
- Interpretation and inference with maximal referential terms
- Circumscription - a form of non-monotonic reasoning
- The complexity of propositional closed world reasoning and circumscription
- Defeasible deontic logic
- Permission from an input/output perspective
- Input/output logics
- On the complexity of input/output logic
- On the identification of quantifiers' witness sets: a study of multi-quantifier sentences
- Computing strong and weak permissions in defeasible logic
- “Sing and Dance!”
- Combining Constitutive and Regulative Norms in Input/Output Logic
- Representation results for defeasible logic
- A defeasible logic for modelling policy-based intentions and motivational attitudes
- The Complexity of Circumscription in DLs
- Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
- Reasoning About Permission and Obligation
- Constraints for input/output logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
