We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (ii). This results in the adaptive logics LNPr and LNPm, which interpret a given set of premises in such a way that normative conflicts and normative gaps are avoided ‘whenever possible’. LNPr and LNPm are e...
We address the question of how an agent can adapt its behavior to comply with newly adopted norms. T...
This paper introduces a new format for reasoning with prioritized standards of normality. It is appl...
To resolve conflicts amongst norms, various non-monotonic formalisms can be used to perform prioriti...
We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently...
First, two context-dependent desiderata are presented for devising calculi of deontic logic that can...
We present the inconsistency-adaptive deontic logic DP (r) , a nonmonotonic logic for dealing with c...
In this article we present the logic MP that explicates reasoning on the basis of prioritized obliga...
For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are e...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modificatio...
For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are e...
A broad range of defeasible reasoning forms has been explicated by prioritized adaptive logics. Howe...
This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modificati...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
We address the question of how an agent can adapt its behavior to comply with newly adopted norms. T...
We address the question of how an agent can adapt its behavior to comply with newly adopted norms. T...
This paper introduces a new format for reasoning with prioritized standards of normality. It is appl...
To resolve conflicts amongst norms, various non-monotonic formalisms can be used to perform prioriti...
We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently...
First, two context-dependent desiderata are presented for devising calculi of deontic logic that can...
We present the inconsistency-adaptive deontic logic DP (r) , a nonmonotonic logic for dealing with c...
In this article we present the logic MP that explicates reasoning on the basis of prioritized obliga...
For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are e...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modificatio...
For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are e...
A broad range of defeasible reasoning forms has been explicated by prioritized adaptive logics. Howe...
This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modificati...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
We address the question of how an agent can adapt its behavior to comply with newly adopted norms. T...
We address the question of how an agent can adapt its behavior to comply with newly adopted norms. T...
This paper introduces a new format for reasoning with prioritized standards of normality. It is appl...
To resolve conflicts amongst norms, various non-monotonic formalisms can be used to perform prioriti...