A Meta-level Annotation Language for Legal Texts

DOI10.1007/978-3-030-44638-3_9MaRDI QIDQ5098747zbMATH OpenOpenAlexFDO

Authors 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_9

zbMATH Keywords

annotation toolsautomated reasoningknowledge bases

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: A Meta-level Annotation Language for Legal Texts

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