miracle 发表于 2025-3-30 10:53:29

Causality in the Context of Multiple Agents,e semantics of a multi modal logic. The approach which is proposed is an extension to several agents of the ”.” operators. A joint action operator is defined which holds the property of non monotonicity with respect to sets of agents. It is refined in a restricted joint operator for cases where seve

COWER 发表于 2025-3-30 15:06:01

Visualizing Normative Systems: An Abstract Approach,visualize abstract normative systems, in such a way that we are able to reason with institutional facts, obligations and permissions. Moreover, we detect meaningful patterns emerging from the proposed visualization, and we show how these patterns can be used to define commonly used reusable solution

渗入 发表于 2025-3-30 20:23:18

http://reply.papertrans.cn/27/2657/265683/265683_53.png

使害怕 发表于 2025-3-31 00:11:25

http://reply.papertrans.cn/27/2657/265683/265683_54.png

干涉 发表于 2025-3-31 02:37:26

http://reply.papertrans.cn/27/2657/265683/265683_55.png

FATAL 发表于 2025-3-31 06:24:50

http://reply.papertrans.cn/27/2657/265683/265683_56.png
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Deontic Logic in Computer Science; 11th International C Thomas Ågotnes,Jan Broersen,Dag Elgesem Conference proceedings 2012 Springer-Verlag