標(biāo)題: Titlebook: Deontic Logic in Computer Science; 9th International Co Ron Meyden,Leendert Torre Conference proceedings 2008 Springer-Verlag Berlin Heidel [打印本頁] 作者: 征募 時間: 2025-3-21 18:58
書目名稱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é)科排名
作者: engagement 時間: 2025-3-21 20:34 作者: 滔滔不絕地說 時間: 2025-3-22 01:32 作者: 妨礙 時間: 2025-3-22 07:01
Subjective Aspects of Dry Mouth obligation, this allows me to carefully represent schemes for supererogation and kin. These controversial concepts have provided challenges to both ethical theory and deontic logic, and are among deontic logic’s test cases.作者: 大約冬季 時間: 2025-3-22 08:44 作者: Bricklayer 時間: 2025-3-22 16:11
Normative Consequence: The Problem of Keeping It Whilst Giving It up,o reserve the right to reason classically for the purpose of chaining, whilst not committing to the view that all items entailed by a norm are obligatory in the same sense. I shall argue that the problem can be given a natural solution with reference to different . of a norm in a normative system.作者: Bricklayer 時間: 2025-3-22 18:09
Strata of Intervenient Concepts in Normative Systems,The idea of a concept’s being intermediate between concepts of two different sorts is captured by the technical notion of “intervenient”, defined in terms of weakest ground and strongest consequence. A legal example concerning grounds and consequences of “ownership” and “trust” is used to illustrate the application of the formal theory.作者: 良心 時間: 2025-3-22 23:23
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin, obligation, this allows me to carefully represent schemes for supererogation and kin. These controversial concepts have provided challenges to both ethical theory and deontic logic, and are among deontic logic’s test cases.作者: Throttle 時間: 2025-3-23 03:17
Conference proceedings 2008uly 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interdisciplinary, and includes research that links the formal-logical study of norma作者: Insufficient 時間: 2025-3-23 07:30 作者: MAOIS 時間: 2025-3-23 10:42 作者: 斷言 時間: 2025-3-23 16:07 作者: 截?cái)?nbsp; 時間: 2025-3-23 20:25
Information Security Economics - and Beyond,en security and the social sciences. Most recently it has started to interact with psychology, both through the psychologyand- economics tradition and in response to phishing. The promise of this research program is a novel framework for analyzing information security problems - one that is both principled and effective.作者: PANEL 時間: 2025-3-24 00:06
A Tableaux System for Deontic Action Logic,ully with action complement and parallel execution of actions. Finally, we describe an example of application of this proof system which shows how the tableaux system can be used to obtain (counter-) models of specifications.作者: Hallmark 時間: 2025-3-24 04:58 作者: Endemic 時間: 2025-3-24 10:05
Pre-Eclampsia as a Multi-System Diseaseivities performed by the actors involved and on evidence documents. To motivate and illustrate the approach, we discuss a case study about the redesign of EU customs procedures for collecting excise duties.作者: BRAVE 時間: 2025-3-24 14:14
Electrolyte Abnormalities in Cancerns or exceptions. We motivate the need for a formal representation of regulation to accomodate such references between statements. We then extend linear temporal logic to allow statements to refer to others. The semantics of the resulting logic is defined via a combination of techniques from Reiter’s default logic and Kripke’s theory of truth.作者: lavish 時間: 2025-3-24 16:45 作者: 嫻熟 時間: 2025-3-24 21:23
Drug Screening in Cell Culturesully with action complement and parallel execution of actions. Finally, we describe an example of application of this proof system which shows how the tableaux system can be used to obtain (counter-) models of specifications.作者: Fretful 時間: 2025-3-25 01:14 作者: 大量殺死 時間: 2025-3-25 04:22
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265680.jpg作者: profligate 時間: 2025-3-25 09:47
Steven S. Martin,Cynthia A. RobbinsIn this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model.作者: CHIDE 時間: 2025-3-25 12:56
A JavaScript Primer for Drupal,This is an intuitive description of our approach to modelling contrary to duty obligations. We shall describe our ideas through the analysis of typical problematic examples taken from Carmo and Jones [6], L. van der Torre [14] and Prakken and Sergot [5].作者: Allowance 時間: 2025-3-25 18:44
The Beneficial Effects of Regular ChewingThe paper discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between coalitionally optimal and socially optimal choices. Norms are seen as social constructions that enable to enforce socially desirable outcomes.作者: 出血 時間: 2025-3-25 21:08
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories,In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model.作者: CRUE 時間: 2025-3-26 03:01
Reactive Kripke Models and Contrary to Duty Obligations,This is an intuitive description of our approach to modelling contrary to duty obligations. We shall describe our ideas through the analysis of typical problematic examples taken from Carmo and Jones [6], L. van der Torre [14] and Prakken and Sergot [5].作者: 孤僻 時間: 2025-3-26 07:04
A Deontic Logic for Socially Optimal Norms,The paper discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between coalitionally optimal and socially optimal choices. Norms are seen as social constructions that enable to enforce socially desirable outcomes.作者: 北京人起源 時間: 2025-3-26 10:48 作者: 真 時間: 2025-3-26 14:27 作者: etidronate 時間: 2025-3-26 18:33
Drug Screening in Cell Culturess logic; this proof system is sound and complete, and because the logic has the usual boolean operators on actions, it also allows us to deal successfully with action complement and parallel execution of actions. Finally, we describe an example of application of this proof system which shows how the作者: 臭了生氣 時間: 2025-3-26 22:15
Drugs, Lipid Metabolism, and Atherosclerosisonging to principals with divergent interests, incentives are becoming as important to dependability as technical design. The new field provides valuable insights not just into security topics such as privacy, bugs, spam, and phishing, but into more general areas such as system dependability (the de作者: 茁壯成長 時間: 2025-3-27 05:07 作者: fidelity 時間: 2025-3-27 08:48 作者: FLINT 時間: 2025-3-27 10:37
Pre-Eclampsia as a Multi-System Diseasecheck all details, a controlling actor can trust the data provided by other actors, provided they can demonstrate to be ‘in control’. In this paper we provide a conceptual analysis of situations in which control has been delegated. The approach is based on an analysis of the dependencies between act作者: 半圓鑿 時間: 2025-3-27 13:59
Prognostic Determinants in Lupus Nephritisome of the axioms come from modal logic and programming-language theory; others are suggested by ideas from security, such as delegation of authority and the Principle of Least Privilege. We compare these axioms and study their implications.作者: GUMP 時間: 2025-3-27 20:04 作者: Malaise 時間: 2025-3-28 01:30 作者: SENT 時間: 2025-3-28 06:05 作者: chronology 時間: 2025-3-28 08:54 作者: 發(fā)酵劑 時間: 2025-3-28 12:14
Saeed Chehreh Chelgani,Ali Asimi Neisianio power to dispose is a consequence of ownership, ownership is a consequence of purchase. etc. The paper presents a continuation of the authors’ previous algebraic representation on ground - consequence chains in normative systems.The paper analyzes different kinds of “implicative closeness” between作者: 是限制 時間: 2025-3-28 17:49
Subjective Aspects of Dry Mouthlore various relationships between definable aretaic statuses such as praiseworthiness and blameworthiness and deontic statuses such as obligatoriness and impermissibility. I focus on partitions of the normative statuses generated (cf. "normative positions" but without explicit representation of age作者: 露天歷史劇 時間: 2025-3-28 20:31
The Beneficial Effects of Regular Chewinghe framework to Standard Deontic logic (SDL) formulas. Given a deontic formula .?∈?., our language contains formulas of the form . or ., where .?∈?[0, 1], expressing that the preference or probability degree respectively of a norm . is at least .. We present sound and complete axiomatisations for th作者: Forsake 時間: 2025-3-28 23:43
Trust and Norms in the Context of Computer Security: A Logical Formalization, general typology of trust is presented. We distinguish trust in the trustee’s action from trust in the trustee’s disposition (motivational or normative disposition); positive trust from negative trust. A part of the paper is devoted to the formalization of security properties and to the analysis of their relationships with trust.作者: Noisome 時間: 2025-3-29 03:49 作者: 業(yè)余愛好者 時間: 2025-3-29 11:03 作者: 祖?zhèn)髫?cái)產(chǎn) 時間: 2025-3-29 13:54
Introducing Grades in Deontic Logics,he framework to Standard Deontic logic (SDL) formulas. Given a deontic formula .?∈?., our language contains formulas of the form . or ., where .?∈?[0, 1], expressing that the preference or probability degree respectively of a norm . is at least .. We present sound and complete axiomatisations for these logics.作者: 產(chǎn)生 時間: 2025-3-29 16:54 作者: Nonconformist 時間: 2025-3-29 22:01
978-3-540-70524-6Springer-Verlag Berlin Heidelberg 2008作者: circumvent 時間: 2025-3-30 01:05
Deontic Logic in Computer Science978-3-540-70525-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 連累 時間: 2025-3-30 08:03
Drug Screening in Cell Cultures general typology of trust is presented. We distinguish trust in the trustee’s action from trust in the trustee’s disposition (motivational or normative disposition); positive trust from negative trust. A part of the paper is devoted to the formalization of security properties and to the analysis of their relationships with trust.作者: 拋媚眼 時間: 2025-3-30 10:26
Prognostic Determinants in Lupus Nephritisome of the axioms come from modal logic and programming-language theory; others are suggested by ideas from security, such as delegation of authority and the Principle of Least Privilege. We compare these axioms and study their implications.作者: babble 時間: 2025-3-30 13:37
https://doi.org/10.1007/978-94-007-2082-4e start out with some motivating examples concerning the interaction between action, obligation and knowledge. Then we present a complete temporal STIT logic including operators for action, obligation and knowledge. We use the logic to analyze the examples and discuss open problems.作者: gorgeous 時間: 2025-3-30 16:49
The Beneficial Effects of Regular Chewinghe framework to Standard Deontic logic (SDL) formulas. Given a deontic formula .?∈?., our language contains formulas of the form . or ., where .?∈?[0, 1], expressing that the preference or probability degree respectively of a norm . is at least .. We present sound and complete axiomatisations for these logics.作者: DEMUR 時間: 2025-3-30 22:18
Norms in Branching Space-Times,eled in “branching time with agents and choices” (BTAC). The seriously ontological independence of agentive choices, however, requires, as a necessary condition, a causal order permitting space-like separation of those choices in a sense definable in “branching space-times with agents and choices” (作者: 非秘密 時間: 2025-3-31 01:25 作者: enterprise 時間: 2025-3-31 06:35 作者: Conspiracy 時間: 2025-3-31 11:05
Information Security Economics - and Beyond,onging to principals with divergent interests, incentives are becoming as important to dependability as technical design. The new field provides valuable insights not just into security topics such as privacy, bugs, spam, and phishing, but into more general areas such as system dependability (the de作者: 沖擊力 時間: 2025-3-31 16:46
Trust and Norms in the Context of Computer Security: A Logical Formalization, general typology of trust is presented. We distinguish trust in the trustee’s action from trust in the trustee’s disposition (motivational or normative disposition); positive trust from negative trust. A part of the paper is devoted to the formalization of security properties and to the analysis of作者: SEMI 時間: 2025-3-31 18:09
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic,formation flow control requirements and more recently on authentication and usage control requirements. Specifying administration and delegation policies is also an important issue, especially in the context of pervasive distributed systems. In this paper, we are investigating the new issue of model
