OpenAlex
metadata only
Reflections on the design, applications and implementations of eFLINT, a domain-specific language for legal compliance reasoning
Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming more pervasive. Moreover, the digitalised services provided by governmental organisations and companies are governed by an
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Beyond the Digital Judge: Legal Reasoning in Compliance Checking and Compliance Choices#1178627
- Runtime Compliance Verification for AI Agents#287188
- Wayward Codex v2.0: Computational Accountability for AI Systems#113858
- Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?#677685
- Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?#674484
Record · ID 1178490
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive