FLUSH
发表于 2025-3-23 13:07:24
http://reply.papertrans.cn/27/2657/265683/265683_11.png
无能的人
发表于 2025-3-23 15:38:47
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
发表于 2025-3-23 21:32:58
http://reply.papertrans.cn/27/2657/265683/265683_13.png
Dawdle
发表于 2025-3-24 00:41:14
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.
轻信
发表于 2025-3-24 03:02:56
http://reply.papertrans.cn/27/2657/265683/265683_15.png
创新
发表于 2025-3-24 08:29:25
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
发表于 2025-3-24 13:22:12
http://reply.papertrans.cn/27/2657/265683/265683_17.png
LIMIT
发表于 2025-3-24 17:07:03
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
发表于 2025-3-24 19:21:39
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
发表于 2025-3-25 01:46:07
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.