default search action
DEON 2012: Bergen, Norway
- Thomas Ågotnes, Jan M. Broersen, Dag Elgesem:
Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Lecture Notes in Computer Science 7393, Springer 2012, ISBN 978-3-642-31569-5 - Robert Demolombe:
Causality in the Context of Multiple Agents. 1-15 - Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre
, Serena Villata:
Visualizing Normative Systems: An Abstract Approach. 16-30 - Paolo Turrini:
Agreements as Norms. 31-45 - Guido Governatori
Possible World Semantics for Defeasible Deontic Logic. 46-60 - Ricardo Gonçalves
An Embedding of Input-Output Logic in Deontic Logic Programs. 61-75 - Louwe B. Kuijer:
Sanction Semantics and Contrary-to-Duty Obligations. 76-90 - Dov M. Gabbay:
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. 91-107 - Emiliano Lorini:
On the Logical Foundations of Moral Agency. 108-122 - Régis Riveret
Norms and Learning in Probabilistic Logic-Based Agents. 123-138 - Olivier Roy
The Logic of Obligation as Weakest Permission - (Short Version). 139-150 - Christian Straßer, Mathieu Beirlaen:
An Andersonian Deontic Logic with Contextualized Sanctions. 151-169 - Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. 170-183 - Piotr Kulicki
A Deontic Action Logic with Sequential Composition of Actions. 184-198 - Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre
Discussion Paper: Changing Norms Is Changing Obligation Change. 199-214
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-12-04 20:21 CET 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: