Add to ORKGWhile some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1], which also manages some temporal aspects with regard to both cognition and deontic provisions. We propose in this paper a variant of the logic presented in [1] to deal in particular with temporal intervals
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have t...
Abstract. We study Normative Temporal Logic (ntl), a formalism intended for reason-ing about the tem...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
This paper provides a framework based on temporal defeasible logic to reason about deliberative rule...
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...
Basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these ...
In this paper we investigate if it is possible and useful to reason about time within social/normat...
We propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The mo...
In this paper we investigate if it is possible and useful to reason about time within social/normati...
Starting from a deontic specification modelling the behaviour of a system, we show how it is possibl...
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination o...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have t...
Abstract. We study Normative Temporal Logic (ntl), a formalism intended for reason-ing about the tem...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
This paper provides a framework based on temporal defeasible logic to reason about deliberative rule...
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...
Basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these ...
In this paper we investigate if it is possible and useful to reason about time within social/normat...
We propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The mo...
In this paper we investigate if it is possible and useful to reason about time within social/normati...
Starting from a deontic specification modelling the behaviour of a system, we show how it is possibl...
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination o...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have t...
Abstract. We study Normative Temporal Logic (ntl), a formalism intended for reason-ing about the tem...