Work

A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios

Year: 2025

Type: conference-paper

Abstract: Since its introduction at GPCE2020, the eFLINT norm specification language has been used in academic and industrial applications to specify and automate compliance for various norms, such as privacy regulations and data processing agreements. The eFLINT interpreter has been used to automate the analysis of real-time or historical cases by computing logical consequences and reporting normative violations.

Source: ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE)

DOI: 10.1145/3742876.3742882

Authors: Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen

Institution: University of Amsterdam

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: European Regional Development Fund

Award: G2006541722