[HTML][HTML] Law and logic: A review from an argumentation perspective

H Prakken, G Sartor - Artificial intelligence, 2015 - Elsevier
This article reviews legal applications of logic, with a particularly marked concern for logical
models of legal argument. We argue that the law is a rich test bed and important application …

[BOOK][B] The ant trap: Rebuilding the foundations of the social sciences

B Epstein - 2015 - books.google.com
We live in a world of crowds and corporations, artworks and artifacts, legislatures and
languages, money and markets. These are all social objects-they are made, at least in part …

An automated framework for the extraction of semantic legal metadata from legal texts

A Sleimi, N Sannier, M Sabetzadeh, L Briand… - Empirical Software …, 2021 - Springer
Semantic legal metadata provides information that helps with understanding and
interpreting legal provisions. Such metadata is therefore important for the systematic …

[PDF][PDF] Modeling Norm Dynamics in Multiagent Systems.

C Frantz, G Pigozzi - FLAP, 2018 - academia.edu
Since multi-agent systems are inspired by human societies, they do not only borrow their
coordination mechanisms such as conventions and norms, but also need to consider the …

The logic of acceptance: grounding institutions on agents' attitudes

E Lorini, D Longin, B Gaudou… - Journal of Logic and …, 2009 - academic.oup.com
In the recent years, several formal approaches to the specification of normative multi-agent
systems (MASs) and artificial institutions have been proposed. The aim of this article is to …

The glass box approach: Verifying contextual adherence to values

A Aler Tubella, V Dignum - AISafety 2019, Macao, China, August 11 …, 2019 - diva-portal.org
Artificial Intelligence (AI) applications are being used to predict and assess behaviour in
multiple domains, such as criminal justice and consumer finance, which directly affect …

Dynamic context logic

G Aucher, D Grossi, A Herzig, E Lorini - … October 8-11, 2009. Proceedings 2, 2009 - Springer
Building on a simple modal logic of context, the paper presents a dynamic logic
characterizing operations of contraction and expansion on theories. We investigate the …

Value assessment and revision in legal interpretation

J Maranhão, G Sartor - … of the Seventeenth International Conference on …, 2019 - dl.acm.org
The research aims at a formal definition of constructive interpretation in law as the dynamic
of revision of theories about the normative system, embedding a model of balancing values …

A logic for normative multi-agent programs

M Dastani, JJC Meyer, D Grossi - Journal of Logic and …, 2013 - ieeexplore.ieee.org
Multi-agent systems are viewed as consisting of individual agents whose behaviours are
regulated by an organization-oriented normative artefact. This article presents a simplified …

Multiagent deontic logic and its challenges from a normative systems perspective

G Pigozzi, L van Der Torre - IfCoLog Journal of Logics and Their …, 2017 - orbilu.uni.lu
This article gives an overview of several challenges studied in deontic logic, with an
emphasis on challenges involving agents. We start with traditional modal deontic logic using …