Add to ORKGA non-monotonic logic of institutional agency is defined combining a computationally oriented non-monotonic system (Defeasible Logic) and intentional notions of agency
Abstract. This paper provides a computational framework, based on Defeasible Logic, to capture some ...
The logics of "bringing-it-about" have been part of a prominent tradition for the formalization of i...
International audienceThe aim of this paper is to provide a logical framework for the specification ...
This work provides a first computational framework to capture some of the theoretical intuitions dev...
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of...
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 aim of this paper is to provide a logical framework for the specification of autonomous Multi-Ag...
In this paper we analyse some logical notions relevant for representing the dynamics of institutiona...
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been co...
International audienceIn the recent years, several formal approaches to the specification of normati...
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe ...
In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that thi...
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe ag...
We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of...
Abstract. This paper provides a computational framework, based on Defeasible Logic, to capture some ...
The logics of "bringing-it-about" have been part of a prominent tradition for the formalization of i...
International audienceThe aim of this paper is to provide a logical framework for the specification ...
This work provides a first computational framework to capture some of the theoretical intuitions dev...
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of...
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 aim of this paper is to provide a logical framework for the specification of autonomous Multi-Ag...
In this paper we analyse some logical notions relevant for representing the dynamics of institutiona...
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been co...
International audienceIn the recent years, several formal approaches to the specification of normati...
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe ...
In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that thi...
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe ag...
We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of...
Abstract. This paper provides a computational framework, based on Defeasible Logic, to capture some ...
The logics of "bringing-it-about" have been part of a prominent tradition for the formalization of i...
International audienceThe aim of this paper is to provide a logical framework for the specification ...