E-Books durchsuchen
Deontic Logic and Artificial Normative Systems [2006]
- 1
-
Roles, Counts-as and Deontic and Action Logics
- 2
-
Norms and Electronic Institutions
- 6
-
Emotion Models for Situated Normative Systems?
- 8
-
Addressing Moral Problems Through Practical Reasoning
- 24
-
A Logical Architecture of a Normative System
- 36
-
Delegation of Power in Normative Multiagent Systems
- 53
-
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
- 69
-
Acting with an End in Sight
- 85
-
A State/Event Temporal Deontic Logic
- 101
-
Speech Acts with Institutional Effects in Agent Societies
- 115
-
Counts-as: Classification or Constitution? An Answer Using Modal Logic
- 131
-
Don’t Ever Do That! Long-Term Duties in <Emphasis Type="Italic">PD</Emphasis> <Subscript> <Emphasis Type="Italic">e</Emphasis> </Subscript> <Emphasis Type="Italic">L</Emphasis>
- 149
-
On the Normative Aspect of Signalling Conventions
- 161
-
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms
- 175
-
Conflicting Obligations in Multi-agent Deontic Logic
- 187
-
Intermediate Concepts in Normative Systems
- 201
-
Propositional Quantifiers in Deontic Logic
- 210
-
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
- 222
-
The Deontic Component of Action Language <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="978-3-540-35843-5_19_Chapter_TeX2GIFIEq1.gif" Format="GIF" Rendition="HTML" Type="Linedraw" /> </InlineMediaObject> <EquationSource Format="TEX">$n{\mathcal{C}}+$</EquationSource> </InlineEquation>
- 238
-
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
- 255
-
Sequences, Obligations, and the Contrary-to-Duty Paradox