Add to ORKGThis work provides a first computational framework to capture some of the theoretical intuitions developed by the present authors and other colleagues. More precisely, in this paper we propose a computationally oriented model of institutional agency based on Defeasible Logic. The focus here is on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs
In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that thi...
AbstractProcedural norms are instrumental norms addressed to agents playing a role in the normative ...
We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of...
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of...
Abstract. This paper provides a computational framework, based on Defeasible Logic, to capture some ...
A non-monotonic logic of institutional agency is defined combining a computationally oriented non-mo...
In this paper we analyse some logical notions relevant for representing the dynamics of institutiona...
peer reviewedIn this paper we reconsider the definition of counts-as relations in normative multiage...
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination o...
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination o...
The logics of "bringing-it-about" have been part of a prominent tradition for the formalization of i...
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Ag...
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been co...
This paper presents a multi-agent framework intended to animate scenarios of compliance and non-comp...
International audienceIn the recent years, several formal approaches to the specification of normati...
In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that thi...
AbstractProcedural norms are instrumental norms addressed to agents playing a role in the normative ...
We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of...
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of...
Abstract. This paper provides a computational framework, based on Defeasible Logic, to capture some ...
A non-monotonic logic of institutional agency is defined combining a computationally oriented non-mo...
In this paper we analyse some logical notions relevant for representing the dynamics of institutiona...
peer reviewedIn this paper we reconsider the definition of counts-as relations in normative multiage...
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination o...
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination o...
The logics of "bringing-it-about" have been part of a prominent tradition for the formalization of i...
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Ag...
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been co...
This paper presents a multi-agent framework intended to animate scenarios of compliance and non-comp...
International audienceIn the recent years, several formal approaches to the specification of normati...
In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that thi...
AbstractProcedural norms are instrumental norms addressed to agents playing a role in the normative ...
We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of...