標(biāo)題: Titlebook: Deontic Logic in Computer Science; 11th International C Thomas ?gotnes,Jan Broersen,Dag Elgesem Conference proceedings 2012 Springer-Verlag [打印本頁(yè)] 作者: Traction 時(shí)間: 2025-3-21 19:53
書目名稱Deontic Logic in Computer Science影響因子(影響力)
書目名稱Deontic Logic in Computer Science影響因子(影響力)學(xué)科排名
書目名稱Deontic Logic in Computer Science網(wǎng)絡(luò)公開(kāi)度
書目名稱Deontic Logic in Computer Science網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Deontic Logic in Computer Science被引頻次
書目名稱Deontic Logic in Computer Science被引頻次學(xué)科排名
書目名稱Deontic Logic in Computer Science年度引用
書目名稱Deontic Logic in Computer Science年度引用學(xué)科排名
書目名稱Deontic Logic in Computer Science讀者反饋
書目名稱Deontic Logic in Computer Science讀者反饋學(xué)科排名
作者: 彩色的蠟筆 時(shí)間: 2025-3-21 21:14 作者: Texture 時(shí)間: 2025-3-22 03:03
Lehren und Lernen im dualen Studiumral 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.作者: echnic 時(shí)間: 2025-3-22 06:55 作者: 不規(guī)則 時(shí)間: 2025-3-22 10:11 作者: Dri727 時(shí)間: 2025-3-22 15:50 作者: Dri727 時(shí)間: 2025-3-22 19:48
Pseudo TP/TS Fuzzy Model Transformationogics adequacy w.r.t. the paradoxes of (classic) deontic logic and provide a sound and complete axiomatization for it. We finally show that practical, rational recommendations in games provide a natural, concrete application of such an understanding of obligations and permissions.作者: inveigh 時(shí)間: 2025-3-22 22:41 作者: KEGEL 時(shí)間: 2025-3-23 04:00
Conference proceedings 2012ion of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.作者: Dna262 時(shí)間: 2025-3-23 07:46 作者: FLUSH 時(shí)間: 2025-3-23 13:07 作者: 無(wú)能的人 時(shí)間: 2025-3-23 15:38
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 時(shí)間: 2025-3-23 21:32 作者: Dawdle 時(shí)間: 2025-3-24 00:41
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.作者: 輕信 時(shí)間: 2025-3-24 03:02 作者: 創(chuàng)新 時(shí)間: 2025-3-24 08:29
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 時(shí)間: 2025-3-24 13:22 作者: LIMIT 時(shí)間: 2025-3-24 17:07
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 時(shí)間: 2025-3-24 19:21
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 時(shí)間: 2025-3-25 01:46
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.作者: 重力 時(shí)間: 2025-3-25 06:45 作者: ascend 時(shí)間: 2025-3-25 11:29
The Logic of Obligation as Weakest Permission,ogics adequacy w.r.t. the paradoxes of (classic) deontic logic and provide a sound and complete axiomatization for it. We finally show that practical, rational recommendations in games provide a natural, concrete application of such an understanding of obligations and permissions.作者: AIL 時(shí)間: 2025-3-25 15:21
Discussion Paper: Changing Norms Is Changing Obligation Change,es norms from obligations. Third, we present a semantical two dimensional view on change. Fourth, we illustrate norm change using automata changing automata. Fifth, we compare norm change with analogous mechanisms in non-normative contexts.作者: 使迷醉 時(shí)間: 2025-3-25 19:44
Deontic Logic in Computer Science978-3-642-31570-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Concomitant 時(shí)間: 2025-3-25 21:39
Lehren und Lernen im dualen Studiumvisualize 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 solutions.作者: 拘留 時(shí)間: 2025-3-26 01:39 作者: Nebulizer 時(shí)間: 2025-3-26 05:41
https://doi.org/10.1007/978-3-031-24583-1social sciences, it has been far less studied in the field of deontic logic and multi-agent systems (MASs). We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral agent. All these concepts are formalized in a variant of . logic with explicit actions.作者: FLACK 時(shí)間: 2025-3-26 11:36 作者: humectant 時(shí)間: 2025-3-26 13:27 作者: ICLE 時(shí)間: 2025-3-26 19:25
Possible World Semantics for Defeasible Deontic Logic,gics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible logics remained elusive. In this paper we address this issue.作者: 深淵 時(shí)間: 2025-3-26 22:14
On the Logical Foundations of Moral Agency,social sciences, it has been far less studied in the field of deontic logic and multi-agent systems (MASs). We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral agent. All these concepts are formalized in a variant of . logic with explicit actions.作者: 倔強(qiáng)一點(diǎn) 時(shí)間: 2025-3-27 01:43
Norms and Learning in Probabilistic Logic-Based Agents,s. We define a probabilistic defeasible logic instantiating Dung’s argumentation framework. Rules of this logic are attached to probabilities and describe the agents’ minds and behaviour. We thus adopt the paradigm of reinforcement learning over this probability distribution to allow agents to adapt to their environment.作者: discord 時(shí)間: 2025-3-27 09:17
Thomas ?gotnes,Jan Broersen,Dag ElgesemState-of-the-art research.Fast-track conference proceedings.Unique visibility作者: Conflict 時(shí)間: 2025-3-27 11:33
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265683.jpg作者: 能得到 時(shí)間: 2025-3-27 17:15
https://doi.org/10.1007/978-3-642-31570-1duty obligations; formal methods; norms; permission; semantics作者: deforestation 時(shí)間: 2025-3-27 21:36
978-3-642-31569-5Springer-Verlag Berlin Heidelberg 2012作者: Tartar 時(shí)間: 2025-3-27 22:20 作者: photopsia 時(shí)間: 2025-3-28 04:46 作者: 用不完 時(shí)間: 2025-3-28 07:47 作者: 冒失 時(shí)間: 2025-3-28 10:27 作者: Iniquitous 時(shí)間: 2025-3-28 16:50
Ewa Orlowska,Joanna Golińska Pilarek the stable model semantics (also usually called answer set programs) in which complex formulas of a given parameter logic are allowed to appear in the body and head of rules. The choice of the parameter logic depends largely on the domain of the problem to be modeled..In this paper we show how inpu作者: 不成比例 時(shí)間: 2025-3-28 20:09
Ewa Or?owska,Joanna Golińska-Pilarekovide a number of desiderata that a logic should satisfy in order to represent contrary-to-duty obligations using sanction semantics. I then show that no logic satisfying all desiderata can faithfully represent contrary-to-duty obligations. Finally I show that when dropping any one of the desiderata作者: DENT 時(shí)間: 2025-3-28 23:34
Ewa Or?owska,Joanna Golińska-Pilarekor some .?∈?.???{0,1,…, .?+?1}. Note that for the case of .?=?1 and fact ?.. we have the Chisholm paradox..We also allow for temporal sequencing of the .. in the form that .. may come temporally before or after ....We offer a representation of this problem in a variation of standard deontic logic th作者: CT-angiography 時(shí)間: 2025-3-29 05:40 作者: 彈藥 時(shí)間: 2025-3-29 10:38
https://doi.org/10.1007/978-3-031-44575-0s. We define a probabilistic defeasible logic instantiating Dung’s argumentation framework. Rules of this logic are attached to probabilities and describe the agents’ minds and behaviour. We thus adopt the paradigm of reinforcement learning over this probability distribution to allow agents to adapt作者: Obituary 時(shí)間: 2025-3-29 14:58
Pseudo TP/TS Fuzzy Model Transformation do in . is consistent with .. In such a case . can be called the weakest permission that . has in .. We show that, under this interpretation, obligation and permission are not dual notions, and that it gives rise to an interesting interplay between deontic and alethic notions. We also discuss the l作者: 思鄉(xiāng)病 時(shí)間: 2025-3-29 17:15 作者: 斑駁 時(shí)間: 2025-3-29 21:00 作者: Engaged 時(shí)間: 2025-3-30 03:18
Myocardial Perfusion by Dual Energy CT a language with a finite number of basic actions, parallel and sequential compositions of actions, a free choice operator and the standard deontic operators of obligation, strong permission and prohibition. The main achievements of the paper are definitions of metalogical counterparts of deontic op作者: 團(tuán)結(jié) 時(shí)間: 2025-3-30 05:48
Thomas Flohr PhD,Bernhard Schmidt PhDthe nature and formalization of norm change. First, we contrast the second-order nature of norm change with the first-order nature of obligation change. Second, we discuss how to change the normative system to avoid future obligations in the input/output logic framework, which explicitly distinguish作者: miracle 時(shí)間: 2025-3-30 10:53
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 時(shí)間: 2025-3-30 15:06
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作者: 滲入 時(shí)間: 2025-3-30 20:23 作者: 使害怕 時(shí)間: 2025-3-31 00:11 作者: 干涉 時(shí)間: 2025-3-31 02:37 作者: FATAL 時(shí)間: 2025-3-31 06:24
