The present paper proposes a structural operational semantics and the related semantics for normative systems. The proposed approach focuses on explicitly representing in force obligations and violations as events in a temporal framework, determining the state of a normative system. In the paper we use a set of core principles, defining some of the properties required when reasoning about norms, to motivate the semantics of the approach. Finally, we show that the proposed approach is capable of reasoning about more complex legal scenarios
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
International audienceObligations are generally actions that users are required to take and are esse...
The present paper proposes a structural operational semantics and the related semantics for normativ...
In this paper we introduce an abstract theory of norma-tive reasoning, whose central notion is the g...
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
We propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The mo...
Existing approaches for the verification of normative systems consider limited representations of no...
Existing approaches for the verification of normative systems consider limited representations of no...
Abstract. Norms regulate the behaviour of their subjects and define what is legal and what is illega...
Norms regulate the behaviour of their subjects and define what is legal and what is illegal. Norms t...
This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modificatio...
Abstract. Normative systems have been advocated as an effective tool to regulate interaction in mult...
In legal theory, a well-known idea is that an intermediate concept like 'ownership' joins a set of l...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
International audienceObligations are generally actions that users are required to take and are esse...
The present paper proposes a structural operational semantics and the related semantics for normativ...
In this paper we introduce an abstract theory of norma-tive reasoning, whose central notion is the g...
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
We propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The mo...
Existing approaches for the verification of normative systems consider limited representations of no...
Existing approaches for the verification of normative systems consider limited representations of no...
Abstract. Norms regulate the behaviour of their subjects and define what is legal and what is illega...
Norms regulate the behaviour of their subjects and define what is legal and what is illegal. Norms t...
This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modificatio...
Abstract. Normative systems have been advocated as an effective tool to regulate interaction in mult...
In legal theory, a well-known idea is that an intermediate concept like 'ownership' joins a set of l...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
International audienceObligations are generally actions that users are required to take and are esse...