125
click to vote
DEON
15 years 2 months ago
2008 Springer 
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
82
Voted
DEON
15 years 2 months ago
2008 Springer 
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
92
Voted
DEON
15 years 2 months ago
2008 Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
104
click to vote
DEON
15 years 2 months ago
2008 Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
DEON
15 years 2 months ago
2008 Springer 
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
|
Automated Reasoning