<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Agotnes, Thomas</style></author><author><style face="normal" font="default" size="100%">Broersen, Jan</style></author><author><style face="normal" font="default" size="100%">Elgesem, Dag</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Andersonian deontic logic with contextualized sanctions</style></title><secondary-title><style face="normal" font="default" size="100%">11th International Conference on Deontic Logic in Computer Science, DEON2012</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">151-169</style></pages><isbn><style face="normal" font="default" size="100%">9783642315695</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We present a refinement of Anderson's reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula S B is then for instance interpreted as ldquo B causes a sanctionrdquo or as ldquo B provides a reason for (the applicability of) a sanctionrdquo. Due to its modified sanction operator, the resulting logic DSL invalidates some instances of the inheritance principle. This gives rise to new interesting features. For instance, DSL consistently allows for the presence of conflicting obligations. Moreover, it provides novel insights in various central `paradoxes' in deontic logic such as the Ross paradox, the paradox of the good Samaritan, and Forrester's `gentle murderer' paradox.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Leite, Joao</style></author><author><style face="normal" font="default" size="100%">Torroni, Paolo</style></author><author><style face="normal" font="default" size="100%">Agotnes, Thomas</style></author><author><style face="normal" font="default" size="100%">Boella, Guido</style></author><author><style face="normal" font="default" size="100%">van der Torre, Leon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A paraconsistent multi-agent framework for dealing with normative conflicts</style></title><secondary-title><style face="normal" font="default" size="100%">12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-22359-4</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">312-329</style></pages><isbn><style face="normal" font="default" size="100%">9783642223587</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms. In this paper, we present a very general characterization of such conflicts, including both intra- and inter-agent normative conflicts, conflicts between groups of agents, conflicts between obligations and permissions, and conflicts between contradictory norms. In order to account for the consistent possibility of this wide variety of conflict-types, we present a paraconsistent deontic logic, i.e. a logic that invalidates the classical principle of non-contradiction. Next, we strengthen this logic within the adaptive logics framework for defeasible reasoning. The resulting inconsistency-adaptive deontic logic interprets a given set of norms 'as consistently as possible'.&lt;/p&gt;</style></abstract></record></records></xml>