Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
R Monat, A Fromherz, D Merigoux - European Symposium on …, 2024 - Springer
Legal expert systems routinely rely on date computations to determine the eligibility of a
citizen to social benefits or whether an application has been filed on time. Unfortunately …
citizen to social benefits or whether an application has been filed on time. Unfortunately …
On Normative Arrows and Comparing Tax Automation Systems
PN Meessen - … of the Nineteenth International Conference on Artificial …, 2023 - dl.acm.org
Automation of legal norms can only exist because of compromises made in translating laws
in natural languages to code (executables) in formal languages. Tax and benefits law is …
in natural languages to code (executables) in formal languages. Tax and benefits law is …
Experience report: implementing a real-world, medium-sized program derived from a legislative specification
D Merigoux - Programming Languages and the Law 2023 …, 2023 - inria.hal.science
Implementing computer programs from legislative specifications has been a longstanding
academic endeavor. However, few of these experiments has so far sought to replicate a …
academic endeavor. However, few of these experiments has so far sought to replicate a …
Maximal Quantified Precondition Synthesis for Linear Array Loops
S Sumanth Prabhu, G Fedyukovich… - European Symposium on …, 2024 - Springer
Precondition inference is an important problem with many applications in verification and
testing. Finding preconditions can be tricky as programs often have loops and arrays, which …
testing. Finding preconditions can be tricky as programs often have loops and arrays, which …
Le Nozze di Giustizia. Interactions between Artificial Intelligence, Law, Logic, Language and Computation with some case studies in Traffic Regulations and Health …
JJ Joosten, MM García - arXiv preprint arXiv:2402.06487, 2024 - arxiv.org
An important aim of this paper is to convey some basics of mathematical logic to the legal
community working with Artificial Intelligence. After analysing what AI is, we decide to delimit …
community working with Artificial Intelligence. After analysing what AI is, we decide to delimit …
[图书][B] Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory …
S Weirich - 2024 - library.oapen.org
The two-volume open access book set LNCS 14576+ 14577 constitutes the proceedings of
the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6 …
the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6 …
Programming Languages and Systems LNCS 14577
S Weirich - Springer
These proceedings volumes contain papers that were presented at the 33rd European
Symposium on Programming (ESOP 2024), held during April 6–11 in Luxembourg City …
Symposium on Programming (ESOP 2024), held during April 6–11 in Luxembourg City …