Titlebook: Deontic Logic in Computer Science; 11th International C Thomas ?gotnes,Jan Broersen,Dag Elgesem Conference proceedings 2012 Springer-Verlag

FLUSH

無(wú)能的人

Conference proceedings 2012rway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-

cravat

Dawdle

An Andersonian Deontic Logic with Contextualized Sanctions,ures. For instance, . 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.

輕信

創(chuàng)新

Ewa Or?owska,Joanna Golińska-Pilarek no logic satisfying all desiderata can faithfully represent contrary-to-duty obligations. Finally I show that when dropping any one of the desiderata there is a logic that satisfies all others and can represent some contrary-to-duty obligations faithfully.

Conclave

LIMIT

Causality in the Context of Multiple Agents,ral sets of agents cause independently a state of affairs and it is extended to sets of agents who are acting indirectly..The formal definitions are evaluated with respect to several typical case studies and a detailed comparison with other approaches based on the STIT operators is presented.

Arctic

Agreements as Norms, the present contribution we would like to extend the scope of this account to include contractual aspects of coalitional choices, arguing that deontic logic can be used as a comprehensive reasoning tool for the normative aspects of game theory.

Aboveboard

An Embedding of Input-Output Logic in Deontic Logic Programs,t-output logic can be embedded into parametrized logic programs, by choosing deontic logic as the parameter logic. This embedding not only shows how to recast input-out logic in this extension of answer set programming, but also sheds light on how to extend input-output logic with some interesting non-monotonic features.