Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation

DOI10.1093/logcom/exx009zbMath1444.03074OpenAlexW2600107863MaRDI QIDQ4555453

Xin Sun, Livio Robaldo

Publication date: 20 November 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4bcfe64bbb3ac113215266b0d471f9d8d9e68e64

zbMATH Keywords

natural language semanticsreificationnormative reasoninglegal informatics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Related Items (1)

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

This page was built for publication: Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation