default search action
14th DEON 2018: Utrecht, The Netherlands
- Jan M. Broersen, Cleo Condoravdi, Nair Shyam, Gabriella Pigozzi:
Deontic Logic and Normative Systems - 14th International Conference, DEON 2018, Utrecht, The Netherlands, July 3-6, 2018. College Publications 2018, ISBN 9781848902787 - Matthias Armgardt, Emiliano Lorini, Giovanni Sartor:
Reasoning about Conditions in STIT Logic. DEON 2018: 15-32 - Christoph Benzmüller, Ali Farjami, Xavier Parent:
A Dyadic Deontic Logic in HOL. DEON 2018: 33-49 - Jan M. Broersen, Aldo Iván Ramírez Abarca:
Knowledge and Subjective Oughts in STIT Logic. DEON 2018: 51-69 - Ilaria Canavotto, Alessandro Giordani:
Normative Conflicts in a Dynamic Logic of Norms and Codes. DEON 2018: 71-89 - Agata Ciabattoni, Francesca Gulisano, Björn Lellmann:
Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. DEON 2018: 91-109 - Marian J. R. Gilton:
A Look at Chisholm's Ethics of Requirement. DEON 2018: 111-120 - Alessandro Giordani:
Ability and Responsibility in General Action Logic. DEON 2018: 121-138 - Guido Governatori, Francesco Olivieri, Régis Riveret, Antonino Rotolo, Serena Villata:
Dialogues on Moral Theories. DEON 2018: 139-155 - John F. Horty:
Epistemic Oughts in STIT Semantics (Abbreviated Version). DEON 2018: 157-175 - Fengkui Ju:
S5 as a Deontic Logic. DEON 2018: 177-192 - Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz:
Towards a Formal Ethics for Autonomous Cars. DEON 2018: 193-209 - Felix Lindner, Martin Mose Bentzen:
A Formalization of Kant's Second Formulation of the Categorical Imperative. DEON 2018: 211-225 - Matthew Mandelkern:
You Must! Maybe You Won't. DEON 2018: 227-245 - Juliano Maranhão, Edelcio G. de Souza:
Contraction of Combined Normative Sets. DEON 2018: 247-261 - Xavier Parent, Leendert W. N. van der Torre:
I/O Logics with a Consistency Check. DEON 2018: 285-299 - Daniele Porello:
A Logic for Reasoning about Group Norms. DEON 2018: 301-315 - Frederik Van De Putte, Stefan Frijters, Joke Meheus:
How to Take Heroin (if at all). Holistic Detachment in Deontic Logic. DEON 2018: 317-335
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-10-04 19:46 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: