Towards an Executable Methodology for the Formalization of Legal Texts

DOI10.1007/978-3-030-44638-3_10MaRDI QIDQ5098748zbMATH OpenOpenAlexFDO

Authors Tomer Libal, Alexander Steen

Publication date 30 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-44638-3_10

zbMATH Keywords

automated reasoningdeontic logiclegal reasoning

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Describes a project that uses

Uses Software

• veriT
• MleanCoP
• Nitpick

This page was built for publication: Towards an Executable Methodology for the Formalization of Legal Texts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5098748)