ODRL policy modelling and compliance checking

M De Vos, S Kirrane, J Padget, K Satoh - Rules and Reasoning: Third …, 2019 - Springer
This paper addresses the problem of constructing a policy pipeline that enables compliance
checking of business processes against regulatory obligations. Towards this end, we …

Norm emergence in multiagent systems: a viewpoint paper

A Morris-Martin, M De Vos, J Padget - Autonomous Agents and Multi-Agent …, 2019 - Springer
Norms are utilised in agent societies to encourage acceptable behaviour by the participating
agents. They can be established or revised from the top-down (authority) or from the bottom …

Law smells: Defining and detecting problematic patterns in legal drafting

C Coupette, D Hartung, J Beckedorf, M Böther… - Artificial Intelligence and …, 2023 - Springer
Building on the computer science concept of code smells, we initiate the study of law smells,
ie, patterns in legal texts that pose threats to the comprehensibility and maintainability of the …

Resolving counterintuitive consequences in law using legal debugging

W Fungwacharakorn, K Tsushima, K Satoh - Artificial Intelligence and Law, 2021 - Springer
There are cases in which the literal interpretation of statutes may lead to counterintuitive
consequences. When such cases go to high courts, judges may handle these …

[PDF][PDF] Agent-directed runtime norm synthesis

A Morris-Martin, M De Vos, J Padget… - Proceedings of the 2023 …, 2023 - southampton.ac.uk
To maintain fitness-for-purpose, the set of norms governing a MAS will typically need to
evolve to reflect the changing needs of both participants and the environment. We put …

InstAL: An Institutional Action Language

J Padget, E ElDeen Elakehal, T Li, M De Vos - … frameworks for social …, 2016 - Springer
Inst AL denotes both a declarative domain-specific language for the specification of
collections of interacting normative systems and a framework for a set of associated tools …

Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting

C Coupette, D Hartung, J Beckedorf, M Bother… - AI & L., 2023 - HeinOnline
Building on the computer science concept of code smells, we initiate the study of law smells,
ie, patterns in legal texts that pose threats to the comprehensibility and maintainability of the …

On semantics-based minimal revision for legal reasoning

W Fungwacharakorn, K Tsushima, K Satoh - Proceedings of the …, 2021 - dl.acm.org
When literal interpretation of statutes leads to counterintuitive consequences, judges,
especially in high courts, may identify counterintuitive consequences and revise …

[PDF][PDF] Normative conflict detection and resolution in cooperating institutions

T Li - 2014 - purehost.bath.ac.uk
Institutions (also called normative frameworks) provide an effective mechanism to govern
agents in open intelligent systems. An institution specifies a set of norms, with respect to …

Legal conflict detection in interacting legal systems

T Li, T Balke, M De Vos, J Padget… - Legal Knowledge and …, 2013 - ebooks.iospress.nl
Acting under several jurisdictions at the same time is becoming the norm rather than the
exception, certainly for companies but also (sometimes without knowing) for individuals. In …