Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
From MaRDI portal
Publication:4555453
DOI10.1093/logcom/exx009zbMath1444.03074OpenAlexW2600107863MaRDI QIDQ4555453
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
Related Items (1)
This page was built for publication: Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation