Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base

DOI10.1007/S10849-019-09309-ZMaRDI QIDQ2228447zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

deontic logicreificationlegal informatics

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

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

Cites work

• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 733394 (Why is no real title available?)
• scientific article; zbMATH DE number 2019850 (Why is no real title available?)
• scientific article; zbMATH DE number 7085150 (Why is no real title available?)
• scientific article; zbMATH DE number 3309175 (Why is no real title available?)
• A causal approach to nonmonotonic reasoning
• A defeasible logic for modelling policy-based intentions and motivational attitudes
• Agency and deontic logic
• Circumscription - a form of non-monotonic reasoning
• Combining constitutive and regulative norms in input/output logic
• Computing strong and weak permissions in defeasible logic
• Constraints for input/output logics
• Contraction of combined normative sets
• Defeasible deontic logic
• Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality
• Independent set readings and generalized quantifiers
• Input/output logics
• Interpretation and inference with maximal referential terms
• Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
• On the complexity of input/output logic
• On the identification of quantifiers' witness sets: a study of multi-quantifier sentences
• Operators vs. arguments: The ins and outs of reification
• Permission from an input/output perspective
• Reasoning about permission and obligation
• Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation
• Representation results for defeasible logic
• The complexity of circumscription in DLs
• The complexity of propositional closed world reasoning and circumscription
• ``Sing and dance!. Input/output logics without weakening

Cited in

(1)

• Subordination algebras as semantic environment of input/output logic

Describes a project that uses

Uses Software

• LegalRuleML
• GitHub

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)