Q4993609 (Q4993609): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifiable agent interaction in abductive logic programming
+Normal rank
@@ Property / cites work @@
+Mapping deontic operators to abductive expectations
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q3968905
@@ Property / cites work: Q3968905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611666
@@ Property / cites work: Q3611666 / rank @@
+Normal rank
@@ Property / cites work @@
+Executable specification of open multi-agent systems
+Normal rank
@@ Property / cites work @@
+Dynamic Context Logic
@@ Property / cites work: Dynamic Context Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Correlated Equilibrium as an Expression of Bayesian Rationality
+Normal rank
@@ Property / cites work @@
+Logical approaches to deontic reasoning: From basic questions to dynamic solutions
+Normal rank
@@ Property / cites work @@
+Alternative axiomatics and complexity of deliberative STIT theories
+Normal rank
@@ Property / cites work @@
+Behavior-Oriented Commitment-based Protocols
@@ Property / cites work: Behavior-Oriented Commitment-based Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional obligation, deontic paradoxes, and the logic of agency
+Normal rank
@@ Property / cites work @@
+Explanatory Nonmonotonic Reasoning
@@ Property / cites work: Explanatory Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Normative Multiagent Systems: Guest Editors' Introduction
+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 @@
+Constitutive Norms in the Design of Normative Multiagent Systems
+Normal rank
@@ Property / cites work @@
+Conditional logics of normality: A modal approach
@@ Property / cites work: Conditional logics of normality: A modal approach / rank @@
+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 @@
+Deontic epistemic stit logic distinguishing modes of mens rea
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying social expectations by model checking truncated paths
+Normal rank
@@ Property / cites work @@
+Q4539631
@@ Property / cites work: Q4539631 / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5175694
@@ Property / cites work: Q5175694 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled Revision - An Algorithmic Approach for Belief Revision
+Normal rank
@@ Property / cites work @@
+Q5271379
@@ Property / cites work: Q5271379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4678458
@@ Property / cites work: Q4678458 / rank @@
+Normal rank
@@ Property / cites work @@
+Changing legal systems: legal abrogations and annulments in Defeasible Logic
+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 @@
+Q3086943
@@ Property / cites work: Q3086943 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient loop-check for backward proof search in some non-classical propositional logics
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Defaults with priorities
@@ Property / cites work: Defaults with priorities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893675
@@ Property / cites work: Q4893675 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Analyses for Dyadic Deontic Logic
@@ Property / cites work: Semantic Analyses for Dyadic Deontic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about counterfactual emotions
+Normal rank
@@ Property / cites work @@
+Q4938866
@@ Property / cites work: Q4938866 / 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 @@
+Specification and verification of declarative open interaction models. A logic-based approach
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
+Normal rank
@@ Property / cites work @@
+A complete axiom set for Hansson's deontic logic DSDL2
+Normal rank
@@ Property / cites work @@
+Q3081994
@@ Property / cites work: Q3081994 / rank @@
+Normal rank
@@ Property / cites work @@
+Retroactive Legal Changes and Revision Theory in Defeasible Logic
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+LotrecScheme
@@ Property / cites work: LotrecScheme / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial intelligence today. Recent trends and development
+Normal rank
@@ Property / cites work @@
+Multiagent Systems
@@ Property / cites work: Multiagent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On social laws for artificial agent societies: off-line design
+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 @@
+Relevance, Derogation and Permission
@@ Property / cites work: Relevance, Derogation and Permission / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of permission based on the notion of derogation
+Normal rank
@@ Property / cites work @@
+Visualizing Normative Systems: An Abstract Approach
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Deontics = Betterness + Priority
@@ Property / cites work: Deontics = Betterness + Priority / rank @@
+Normal rank
@@ Property / cites work @@
+Social laws in alternating time: effectiveness, feasibility, and synthesis
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty reasoning with preference-based dyadic obligations
+Normal rank
@@ Property / cites work @@
+Q3509070
@@ Property / cites work: Q3509070 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for deliberative stit
@@ Property / cites work: Axioms for deliberative stit / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
+Normal rank