標(biāo)題: Titlebook: Deontic Logic in Computer Science; 10th International C Guido Governatori,Giovanni Sartor Conference proceedings 2010 Springer-Verlag Berli [打印本頁] 作者: Hermit 時間: 2025-3-21 19:48
書目名稱Deontic Logic in Computer Science影響因子(影響力)
書目名稱Deontic Logic in Computer Science影響因子(影響力)學(xué)科排名
書目名稱Deontic Logic in Computer Science網(wǎng)絡(luò)公開度
書目名稱Deontic Logic in Computer Science網(wǎng)絡(luò)公開度學(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é)科排名
作者: 繞著哥哥問 時間: 2025-3-22 00:08 作者: 變色龍 時間: 2025-3-22 02:24
Towards a Logical Analysis of the Judgment on Facts,rts) is the judgment about the facts in issue. In a sense, actually, judicial decisions derive from a sort of combination of legal and factual judgments. Lawyers -and logicians- usually deal with the . dimension of these decisions and analyze the features and the structure of legal arguments and of 作者: 領(lǐng)袖氣質(zhì) 時間: 2025-3-22 05:43 作者: dapper 時間: 2025-3-22 10:10
A Dyadic Operator for the Gradation of Desirability,ss to the logic, it allows both the definition of a monadic desirability operator similar to the SDL obligation, and the expression of the relative level of desirability of target formulae. The interpretation of this logic on a linear structure of worlds ordered by desirability makes its semantics m作者: relieve 時間: 2025-3-22 13:24
Deontics = Betterness + Priority,perties (i.e., a ‘law’ explicitly representing a standard of behavior). The correspondence between these two orderings offers a rich perspective from which to look at deontic scenarios and puzzles, and in particular at contrary-to-duties. The framework naturally lends itself to describing dynamics i作者: relieve 時間: 2025-3-22 18:40
Axioms for Obligation and Robustness with Temporal Logic,rs, which quantify over failure-free paths and paths with one more failure respectively. This paper gives an axiomatisation for all the operators of RoCTL* with the exception of the Until operator; this fragment is able to express similar contrary-to-duty obligations to the full RoCTL* logic. We cal作者: grudging 時間: 2025-3-22 23:55 作者: HUSH 時間: 2025-3-23 02:56
Relevance, Derogation and Permission,problem with the underlying full-meet contraction operation. We suggest a solution that presupposes a particular normal form for codes of norms, adapted from the theory of relevance through propositional letter sharing. We then establish a correspondence between contractions on sets of norms in inpu作者: cognizant 時間: 2025-3-23 05:54
Retroactive Legal Changes and Revision Theory in Defeasible Logic,l dynamics. In particular, we showed that these techniques are not suitable when legal changes are retroactive. This suggested to adopt a different logical model able to express two main timelines, one internal to a given temporal version of the legal system, and another relative to how the legal sy作者: 推遲 時間: 2025-3-23 11:49 作者: 打谷工具 時間: 2025-3-23 17:37
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
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
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 作者: 新鮮 時間: 2025-3-24 06:32
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
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
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265682.jpg作者: BLOT 時間: 2025-3-24 19:18
Deontic Logic in Computer Science978-3-642-14183-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: amnesia 時間: 2025-3-24 23:28
0302-9743 Overview: 978-3-642-14182-9978-3-642-14183-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 恃強(qiáng)凌弱 時間: 2025-3-25 04:09 作者: 小爭吵 時間: 2025-3-25 10:05
Pulmonary Nodules and Lung Cancer,ponsible for its being the case that .’, or more generally, ‘the group of agents . collectively, though perhaps inadvertently, bring it about that .’. I will present an account that combines this agency view of action with the transition based conceptions more usually encountered in computer science作者: Pituitary-Gland 時間: 2025-3-25 13:12 作者: 使痛苦 時間: 2025-3-25 18:05 作者: 誘拐 時間: 2025-3-25 21:34 作者: delusion 時間: 2025-3-26 03:31 作者: guardianship 時間: 2025-3-26 08:21 作者: Encumber 時間: 2025-3-26 10:30
Connections to Other Learning Paradigms prima facie obligations have been considered as the only source of reason holism. I strengthen Horty’s point in two ways. First, I show that contrary-to-duties provide another independent support for reason holism. Next I outline a formal theory that is able to capture these two sources of holism. 作者: 基因組 時間: 2025-3-26 16:10 作者: misanthrope 時間: 2025-3-26 19:13
Understanding Dual Reconstructionl dynamics. In particular, we showed that these techniques are not suitable when legal changes are retroactive. This suggested to adopt a different logical model able to express two main timelines, one internal to a given temporal version of the legal system, and another relative to how the legal sy作者: 創(chuàng)新 時間: 2025-3-26 22:20 作者: 爭吵 時間: 2025-3-27 01:57 作者: Extort 時間: 2025-3-27 05:45
David Powell,Rosalie Liccardo Paculaeral 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作者: 他日關(guān)稅重重 時間: 2025-3-27 10:46 作者: Daily-Value 時間: 2025-3-27 16:16
David G. Green,Jing Liu,Hussein A. Abbassntrol requires a new approach to auditing in which companies must demonstrate to the regulator that they are ‘in control’. They must determine the relevance of a regulation for their business, justify which set of control measures they have taken to comply with it, and demonstrate that the control m作者: Thyroid-Gland 時間: 2025-3-27 21:26 作者: 戲服 時間: 2025-3-28 00:47
Vascular: Extended Chest Pain Protocol, 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 作者: 體貼 時間: 2025-3-28 03:12
https://doi.org/10.1007/978-3-642-14183-6agents; deontic explosion; deontic logic; epistemic logic; exclusion logic; fuzzy logic; logic; logical ana作者: Temporal-Lobe 時間: 2025-3-28 07:52 作者: POINT 時間: 2025-3-28 13:02
Marijuana Regulation in the United StatesThis paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.作者: Original 時間: 2025-3-28 15:17 作者: 流逝 時間: 2025-3-28 21:28 作者: Chronological 時間: 2025-3-29 00:19 作者: 漫不經(jīng)心 時間: 2025-3-29 05:39
Pulmonary Nodules and Lung Cancer,gency as ‘unwitting’; unwitting can mean both inadvertent and unaware. The resulting logic bears a resemblance to Ingmar P?rn’s (1977) logic of ‘brings it about’ though there are differences, The account generalises naturally to talking about the collective actions of groups of agents: several diffe作者: UTTER 時間: 2025-3-29 10:30
Norms, Action and Agency in Multi-agent Systems,gency as ‘unwitting’; unwitting can mean both inadvertent and unaware. The resulting logic bears a resemblance to Ingmar P?rn’s (1977) logic of ‘brings it about’ though there are differences, The account generalises naturally to talking about the collective actions of groups of agents: several diffe作者: 拔出 時間: 2025-3-29 15:17
David G. Green,Jing Liu,Hussein A. Abbassow to formalize the dialogue in which companies justify their compliance decisions to regulators using value-based argumentation. The approach is illustrated by a case study of the safety and security measures adopted in the context of EU customs regulation.作者: 即席演說 時間: 2025-3-29 17:03 作者: 增強(qiáng) 時間: 2025-3-29 20:01
https://doi.org/10.1007/978-3-031-08885-8ts. Lawyers -and logicians- usually deal with the . dimension of these decisions and analyze the features and the structure of legal arguments and of legal justifications of a decision. However, the . dimension of such decisions is no less important since -as it is commonly said- no decision is just if it is based upon the wrong facts.作者: 藝術(shù) 時間: 2025-3-30 00:46
Wayne P. Thomas,Virginia P. Collierwhich to look at deontic scenarios and puzzles, and in particular at contrary-to-duties. The framework naturally lends itself to describing dynamics involving both orderings, thereby providing a new analysis of norm change as ‘betterness change’.作者: 終止 時間: 2025-3-30 07:34
Connections to Other Learning Paradigms in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models.作者: 遺產(chǎn) 時間: 2025-3-30 11:35 作者: 高歌 時間: 2025-3-30 14:14
Deontic Redundancy: A Fundamental Challenge for Deontic Logic, discuss those benchmark examples in four formal approaches to deontic reasoning: traditional model logic, dynamic approaches, violation oriented or diagnostic systems, and imperativist or norm based approaches.作者: Melanocytes 時間: 2025-3-30 18:50
A Dyadic Operator for the Gradation of Desirability,ore intuitive and concrete than the SDL deontic accessibility relation. We also show that the core modality of the logic permits to represent the Chisholm and Forrester paradoxes of deontic logic in a more precise way, which does not lead to inconsistencies.作者: Madrigal 時間: 2025-3-31 00:34
Axioms for Obligation and Robustness with Temporal Logic,l this formal system ., and give a completeness proof. We also consider the fragments of the language containing only path quantifiers (but where variables are dependent on histories). We examine semantic properties and potential axiomatisations for these fragments.作者: 完全 時間: 2025-3-31 04:50 作者: Foment 時間: 2025-3-31 08:24
Relevance, Derogation and Permission,t/output logic (derogations), and AGM-style contractions on sets of formulae, and use it as a bridge to migrate results on propositional relevance from the latter to the former idiom. Changing the concept accordingly we show that positive permission now incorporates a relevance requirement that wards off triviality.作者: 跟隨 時間: 2025-3-31 12:18
Retroactive Legal Changes and Revision Theory in Defeasible Logic,stem evolves over time. In this paper, we adjust our view and show that, under some restrictions, ideas from base revision, if applied to Defeasible Logic or to similar rule-based systems, can indeed capture some significant aspects of annulments, abrogations, and derogations.作者: mucous-membrane 時間: 2025-3-31 15:34
Avoiding Deontic Explosion by Contextually Restricting Aggregation,eads to a richer consequence set than ..... The logic .. avoids Goble’s criticisms against other non-adjunctive systems of deontic logic. Moreover, it can handle all the ‘toy examples’ from the literature as well as more complex ones.作者: reception 時間: 2025-3-31 20:30
Obligations and Prohibitions in Talmudic Deontic Logic,gard {.., ..} and {.., ..} as two sets of operators , where .. and .. are independent of one another and where we have some connections between the two sets..We shall list the types of obligation patterns appearing in the Talmud and compare Talmudic Logic with modern deontic logic.作者: PUT 時間: 2025-3-31 22:26 作者: 名字的誤用 時間: 2025-4-1 04:52
A Logical Model of Private International Law, domain of the law. Moreover, it might be useful for modelling the way in which interactions between heterogeneous agents, belonging to different and differently regulated virtual societies, can be governed without recourse to a central regulatory agency.作者: Lipohypertrophy 時間: 2025-4-1 06:58
Dual Energy CT in Clinical Practiceternalization. In this presentation, a rich cognitive model of different types, degrees and factors of internalization is shown. The initial implementation of this model on EMIL-A, a normative agent architecture developed and applied to the.作者: 龍蝦 時間: 2025-4-1 11:32 作者: 服從 時間: 2025-4-1 18:04
Towards a Logical Analysis of the Judgment on Facts,ts. Lawyers -and logicians- usually deal with the . dimension of these decisions and analyze the features and the structure of legal arguments and of legal justifications of a decision. However, the . dimension of such decisions is no less important since -as it is commonly said- no decision is just if it is based upon the wrong facts.作者: 極端的正確性 時間: 2025-4-1 19:41
Deontics = Betterness + Priority,which to look at deontic scenarios and puzzles, and in particular at contrary-to-duties. The framework naturally lends itself to describing dynamics involving both orderings, thereby providing a new analysis of norm change as ‘betterness change’.作者: BUST 時間: 2025-4-2 01:19
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra, in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models.作者: achlorhydria 時間: 2025-4-2 03:38 作者: 發(fā)酵劑 時間: 2025-4-2 11:03
https://doi.org/10.1007/978-3-031-08885-8 discuss those benchmark examples in four formal approaches to deontic reasoning: traditional model logic, dynamic approaches, violation oriented or diagnostic systems, and imperativist or norm based approaches.作者: 有限 時間: 2025-4-2 11:27 作者: Aids209 時間: 2025-4-2 16:40
David E. DeMatthews,Elena Izquierdol this formal system ., and give a completeness proof. We also consider the fragments of the language containing only path quantifiers (but where variables are dependent on histories). We examine semantic properties and potential axiomatisations for these fragments.
