Add to ORKGWe propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The model allows us to describe the execution of actions in time and the use of dynamic norms. We also present its operational aspect which is based on the reduction of the deontic constraints to temporal ones. In order to show the applicability of the model we briefly describe a logic programming implemen-tation and we present two types of applications: the detec-tion of the violation cases and the prototype of a scheduler with deontic and temporal constraints.
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
The present paper proposes a structural operational semantics and the related semantics for normativ...
We propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The mo...
Starting from a deontic specification modelling the behaviour of a system, we show how it is possibl...
Abstract. We study Normative Temporal Logic (ntl), a formalism intended for reason-ing about the tem...
In this paper we investigate if it is possible and useful to reason about time within social/normat...
We address some forms of temporal reasoning within normative MAS, focusing on the combination of tem...
We address some forms of temporal reasoning within normative MAS, focusing on the combination of tem...
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a...
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a...
In this paper we investigate if it is possible and useful to reason about time within social/normati...
Recent research has advocated the use of deontic logics in requirements specification. A form of deo...
We are interested in the formal modelling and analysis of normative documents containing temporal re...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
The present paper proposes a structural operational semantics and the related semantics for normativ...
We propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The mo...
Starting from a deontic specification modelling the behaviour of a system, we show how it is possibl...
Abstract. We study Normative Temporal Logic (ntl), a formalism intended for reason-ing about the tem...
In this paper we investigate if it is possible and useful to reason about time within social/normat...
We address some forms of temporal reasoning within normative MAS, focusing on the combination of tem...
We address some forms of temporal reasoning within normative MAS, focusing on the combination of tem...
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a...
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a...
In this paper we investigate if it is possible and useful to reason about time within social/normati...
Recent research has advocated the use of deontic logics in requirements specification. A form of deo...
We are interested in the formal modelling and analysis of normative documents containing temporal re...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
The present paper proposes a structural operational semantics and the related semantics for normativ...