default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDEON 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.
last updated on 2024-09-30 00:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
