Normative reasoning and consequence
From MaRDI portal
Recommendations
- Multiagent deontic logic and its challenges from a normative systems perspective
- Contextual deontic logic: Normative agents, violations and independence
- Computational models for normative multi-agent systems
- Practical Normative Reasoning with Defeasible Deontic Logic
- Ten problems of deontic logic and normative reasoning in computer science
Cites work
- A complete axiom set for Hansson's deontic logic DSDL2
- A course in game theory.
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- A logic for reasoning about counterfactual emotions
- A logic-based calculus of events
- A Logical Architecture of a Normative System
- A theory of permission based on the notion of derogation
- Agency and deontic logic
- Alchourrón and Bulygin on deontic logic and the logic of norm-propositions: axiomatization and representability results
- Alternative axiomatics and complexity of deliberative STIT theories
- An analysis of Hansson's dyadic deontic logic
- An Analysis of some Deontic Logics
- Artificial intelligence today. Recent trends and development
- Axioms for deliberative stit
- Behavior-oriented commitment-based protocols
- Changing legal systems: legal abrogations and annulments in Defeasible Logic
- Conditional logics of normality: A modal approach
- Conditional obligation, deontic paradoxes, and the logic of agency
- Constitutive Norms in the Design of Normative Multiagent Systems
- Constraints for input/output logics
- Contrary-to-duty reasoning with preference-based dyadic obligations
- Controlled Revision - An Algorithmic Approach for Belief Revision
- Correlated Equilibrium as an Expression of Bayesian Rationality
- Defaults with priorities
- Deontic epistemic stit logic distinguishing modes of mens rea
- Deontic Logic in Computer Science
- Deontics = Betterness + Priority
- Dynamic Context Logic
- Efficient loop-check for backward proof search in some non-classical propositional logics
- Executable specification of open multi-agent systems
- Explanatory Nonmonotonic Reasoning
- scientific article; zbMATH DE number 5863346 (Why is no real title available?)
- scientific article; zbMATH DE number 3792134 (Why is no real title available?)
- scientific article; zbMATH DE number 3499717 (Why is no real title available?)
- scientific article; zbMATH DE number 1299411 (Why is no real title available?)
- scientific article; zbMATH DE number 1765691 (Why is no real title available?)
- scientific article; zbMATH DE number 2170951 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- scientific article; zbMATH DE number 928022 (Why is no real title available?)
- scientific article; zbMATH DE number 1405873 (Why is no real title available?)
- scientific article; zbMATH DE number 6407643 (Why is no real title available?)
- Input/output logics
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions
- Logical dynamics of information and interaction
- LotrecScheme
- Mapping deontic operators to abductive expectations
- Multiagent Systems
- Normative Multiagent Systems: Guest Editors' Introduction
- On social laws for artificial agent societies: off-line design
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the logic of theory change: Partial meet contraction and revision functions
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
- Permission from an input/output perspective
- Prima facie norms, normative conflicts, and dilemmas
- Proof methods for modal and intuitionistic logics
- Properties of logics of individual and group agency
- Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
- Relevance, derogation and permission. A case for a normal form for codes of norms
- Retroactive legal changes and revision theory in defeasible logic
- Semantic Analyses for Dyadic Deontic Logic
- Social laws in alternating time: effectiveness, feasibility, and synthesis
- Specification and verification of declarative open interaction models. A logic-based approach
- Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
- Tableaux for multi-agent deliberative-stit logic
- Verifiable agent interaction in abductive logic programming: the SCIFF framework
- Verifying social expectations by model checking truncated paths
- Visualizing normative systems: an abstract approach
Cited in
(10)- A deontic logic reasoning infrastructure
- Contextual deontic logic: Normative agents, violations and independence
- Generalizing deontic action logic
- scientific article; zbMATH DE number 4172952 (Why is no real title available?)
- Foreword
- scientific article; zbMATH DE number 1405888 (Why is no real title available?)
- scientific article; zbMATH DE number 1405889 (Why is no real title available?)
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- New-generation AIs: reasoning about norms and values
- Multiagent deontic logic and its challenges from a normative systems perspective
This page was built for publication: Normative reasoning and consequence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4993609)
