


default search action
DEON 2006: Utrecht, The Netherlands
- Lou Goble, John-Jules Ch. Meyer:

Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings. Lecture Notes in Computer Science 4048, Springer 2006, ISBN 3-540-35842-0
Abstracts of Invited Papers
- José Carmo

:
Roles, Counts-as and Deontic and Action Logics. 1 - Frank Dignum:

Norms and Electronic Institutions. 2-5 - Paolo Petta:

Emotion Models for Situated Normative Systems?. 6-7
Contributed Papers
- Katie Atkinson, Trevor J. M. Bench-Capon

:
Addressing Moral Problems Through Practical Reasoning. 8-23 - Guido Boella, Leendert W. N. van der Torre

:
A Logical Architecture of a Normative System. 24-35 - Guido Boella, Leendert W. N. van der Torre

:
Delegation of Power in Normative Multiagent Systems. 36-52 - Jan M. Broersen:

Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. 53-68 - Mark A. Brown:

Acting with an End in Sight. 69-84 - Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali:

A State/Event Temporal Deontic Logic. 85-100 - Robert Demolombe, Vincent Louis:

Speech Acts with Institutional Effects in Agent Societies. 101-114 - Davide Grossi

, John-Jules Ch. Meyer, Frank Dignum:
Counts-as: Classification or Constitution? An Answer Using Modal Logic. 115-130 - Jesse Hughes, Lambèr M. M. Royakkers:

Don't Ever Do That! Long-Term Duties in PDeL. 131-148 - Andrew J. I. Jones, Steven O. Kimbrough:

On the Normative Aspect of Signalling Conventions. 149-160 - Souhila Kaci, Leendert W. N. van der Torre

:
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. 161-174 - Barteld P. Kooi, Allard M. Tamminga:

Conflicting Obligations in Multi-agent Deontic Logic. 175-186 - Lars Lindahl, Jan Odelstad:

Intermediate Concepts in Normative Systems. 187-200 - Gert-Jan C. Lokhorst:

Propositional Quantifiers in Deontic Logic. 201-209 - Thomas Müller

:
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies. 210-221 - Marek J. Sergot, Robert Craven:

The Deontic Component of Action Language nC+. 222-237 - Alessio Lomuscio

, Bozena Wozna
:
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. 238-254 - Adam Zachary Wyner

:
Sequences, Obligations, and the Contrary-to-Duty Paradox. 255-271

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














