


default search action
DEON 2004: Madeira, Portugal
- Alessio Lomuscio, Donald Nute:

Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings. Lecture Notes in Computer Science 3065, Springer 2004, ISBN 3-540-22111-5
Abstracts Invited Papers
- Mark A. Brown:

Obligation, Contracts, and Negotiation. 1 - Michael J. Wooldridge:

Social Laws in Alternating Time. 2
Contributed Papers
- Lennart Åqvist:

Combinations of Tense and Deontic Modality. 3-28 - Guido Boella, Leendert W. N. van der Torre

:
Delta: The Social Delegation Cycle. 29-42 - Jan M. Broersen, Frank Dignum, Virginia Dignum

, John-Jules Ch. Meyer:
Designing a Deontic Logic of Deadlines. 43-56 - Robert Demolombe, Andreas Herzig:

Obligation Change in Dependence Logic and Situation Calculus. 57-73 - Lou Goble:

A Proposal for Dealing with Deontic Dilemmas. 74-113 - Guido Governatori

, Antonino Rotolo:
Defeasible Logic: Agency, Intention and Obligation. 114-128 - Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer:

Collective Obligations and Agents: Who Gets the Blame? 129-145 - Jörg Hansen:

Conflicting Imperatives and Dyadic Deontic Logic. 146-164 - Wojciech Jamroga

, Wiebe van der Hoek
, Michael J. Wooldridge:
On Obligations and Abilities. 165-181 - Andrew J. I. Jones:

On Normative-Informational Positions. 182-190 - Andrei Kouznetsov:

Quasi-matrix Deontic Logic. 191-208 - Olga Pacheco, Filipe Santos:

Delegation in a Role-Based Organization. 209-227 - Franco Raimondi

, Alessio Lomuscio
:
Automatic Verification of Deontic Properties of Multi-agent Systems. 228-242 - Leendert W. N. van der Torre

, Joris Hulstijn, Mehdi Dastani, Jan M. Broersen:
Specifying Multiagent Organizations. 243-257 - Adam Zachary Wyner:

Maintaining Obligations on Stative Expressions in a Deontic Action Logic. 258-274

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














