Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-31485-8_2
+Normal rank
@@ Property / OpenAlex ID @@
+W34069334
@@ Property / OpenAlex ID: W34069334 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
+Normal rank
@@ Property / cites work @@
+Conditional obligation, deontic paradoxes, and the logic of agency
+Normal rank
@@ Property / cites work @@
+A Logical Architecture of a Normative System
@@ Property / cites work: A Logical Architecture of a Normative System / rank @@
+Normal rank
@@ Property / cites work @@
+An Attacker Model for Normative Multi-agent Systems
+Normal rank
@@ Property / cites work @@
+Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
+Normal rank
@@ Property / cites work @@
+A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
+Normal rank
@@ Property / cites work @@
+Beliefs, obligations, intentions, and desires as components in an agent architecture
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+A Deontic Logic for Socially Optimal Norms
@@ Property / cites work: A Deontic Logic for Socially Optimal Norms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329182
@@ Property / cites work: Q4329182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938880
@@ Property / cites work: Q4938880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342525
@@ Property / cites work: Q3342525 / rank @@
+Normal rank
@@ Property / cites work @@
+Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
+Normal rank
@@ Property / cites work @@
+Changing legal systems: legal abrogations and annulments in Defeasible Logic
+Normal rank
@@ Property / cites work @@
+Deontic logic in computer science. 10th international conference, DEON 2010, Fiesole, Italy, July 7--9, 2010. Proceedings
+Normal rank
@@ Property / cites work @@
+An Analysis of some Deontic Logics
@@ Property / cites work: An Analysis of some Deontic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic logic of agency. I: STIT, capabilities and powers
+Normal rank
@@ Property / cites work @@
+Q5616126
@@ Property / cites work: Q5616126 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic logic: introductory and systematic readings. (Repr. with new introd.)
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893675
@@ Property / cites work: Q4893675 / rank @@
+Normal rank
@@ Property / cites work @@
+Moral conflicts between groups of agents
@@ Property / cites work: Moral conflicts between groups of agents / rank @@
+Normal rank
@@ Property / cites work @@
+Dyadic deontic detachment
@@ Property / cites work: Dyadic deontic detachment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938866
@@ Property / cites work: Q4938866 / rank @@
+Normal rank
@@ Property / cites work @@
+On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
+Normal rank
@@ Property / cites work @@
+Five faces of minimality
@@ Property / cites work: Five faces of minimality / rank @@
+Normal rank
@@ Property / cites work @@
+Input/output logics
@@ Property / cites work: Input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints for input/output logics
@@ Property / cites work: Constraints for input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Permission from an input/output perspective
@@ Property / cites work: Permission from an input/output perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q4245762
@@ Property / cites work: Q4245762 / rank @@
+Normal rank
@@ Property / cites work @@
+A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
+Normal rank
@@ Property / cites work @@
+The logic of knowledge based obligation
@@ Property / cites work: The logic of knowledge based obligation / rank @@
+Normal rank
@@ Property / cites work @@
+Remedial interchange, contrary-to-duty obligation and commutation
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty obligations
@@ Property / cites work: Contrary-to-duty obligations / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of Hansson's dyadic deontic logic
@@ Property / cites work: An analysis of Hansson's dyadic deontic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic Redundancy: A Fundamental Challenge for Deontic Logic
+Normal rank
@@ Property / cites work @@
+Violation games: a new foundation for deontic logic ★
+Normal rank
@@ Property / cites work @@
+Q4938865
@@ Property / cites work: Q4938865 / rank @@
+Normal rank