Towards an Executable Methodology for the Formalization of Legal Texts

DOI10.1007/978-3-030-44638-3_10OpenAlexW3013373731MaRDI QIDQ5098748

Alexander Steen, Tomer Libal

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 artificial intelligence (68T27) Logic in computer science (03B70)

Uses Software

• Nitpick
• veriT
• MleanCoP

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