Sciweavers

12 search results - page 1 / 3
» deon 2008
Sort
View
DEON
2008
Springer
13 years 6 months ago
A Deontic Logic for Socially Optimal Norms
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...
Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, ...
DEON
2008
Springer
13 years 6 months ago
Pushing Anderson's Envelope: The Modal Logic of Ascription
The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a nove...
Davide Grossi
DEON
2008
Springer
13 years 6 months ago
Variations in Access Control Logic
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...
Martín Abadi
DEON
2008
Springer
13 years 6 months ago
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
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...
Guido Governatori, Antonino Rotolo