推迟
发表于 2025-3-23 11:49:01
http://reply.papertrans.cn/27/2657/265682/265682_11.png
打谷工具
发表于 2025-3-23 17:37:01
Avoiding Deontic Explosion by Contextually Restricting Aggregation, . that invalidates aggregation for all . obligations. The logic .. has several advantages with respect to ..... For consistent sets of obligations it yields the same results as Standard Deontic Logic and for inconsistent sets of obligations, it validates aggregation “as much as possible”. It thus l
Flatter
发表于 2025-3-23 20:44:06
Obligations and Prohibitions in Talmudic Deontic Logic,eral connectives:.In classical logic one would have expected that deontic obligation .. is definable by .and that .. and .. are connected by .This is not the case in the Talmud for the . (Talmudic) operators, though it does hold for the . operators. We must change our underlying logic. We have to re
Albinism
发表于 2025-3-24 00:17:07
Privacy Policies with Modal Logic: The Dynamic Turn,vacy policies defined in terms of permitted and obligatory knowledge. With this new approach, we do not have to specify the permissions and prohibitions of all message combinations explicitly. To specify and reason about such privacy policies, we extend a multi-modal logic introduced by Cuppens and
frozen-shoulder
发表于 2025-3-24 03:34:45
http://reply.papertrans.cn/27/2657/265682/265682_15.png
新鲜
发表于 2025-3-24 06:32:59
A Logical Model of Private International Law,and what legal system they should apply to this purpose (choice of law). A formal model of the resulting interaction among multiple legal systems is proposed based on modular argumentation. It is argued that this model may be useful for understanding this rather esoteric, but increasingly important,
确保
发表于 2025-3-24 14:14:24
Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents,, through a case study, that the relationships between actions performed by these three kinds of agents are defined in terms of the Searle’s ”counts as” concept and their justifications are based on the roles hold by human agents or by a causal relationships between human agent actions and software
Esophagus
发表于 2025-3-24 15:23:13
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265682.jpg
BLOT
发表于 2025-3-24 19:18:24
Deontic Logic in Computer Science978-3-642-14183-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
amnesia
发表于 2025-3-24 23:28:57
0302-9743 Overview: 978-3-642-14182-9978-3-642-14183-6Series ISSN 0302-9743 Series E-ISSN 1611-3349