scientific article; zbMATH DE number 7359819
From MaRDI portal
Publication:4993609
DOI10.4230/DFU.Vol4.12111.33zbMath1482.68227MaRDI QIDQ4993609
Stephen Cranefield, Emiliano Lorini, François Schwarzentruber, Paolo Turrini, Yehia Elrakaiby, Davide Grossi, Xavier Parent, Luca Tummolini, Leendert van der Torre, Jan M. Broersen, Dov M. Gabbay
Publication date: 15 June 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- A logic for reasoning about counterfactual emotions
- Deontic epistemic stit logic distinguishing modes of mens rea
- Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
- Social laws in alternating time: effectiveness, feasibility, and synthesis
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- Alternative axiomatics and complexity of deliberative STIT theories
- A theory of permission based on the notion of derogation
- Proof methods for modal and intuitionistic logics
- An analysis of Hansson's dyadic deontic logic
- Axioms for deliberative stit
- Artificial intelligence today. Recent trends and development
- Conditional logics of normality: A modal approach
- Conditional obligation, deontic paradoxes, and the logic of agency
- Permission from an input/output perspective
- Input/output logics
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Specification and verification of declarative open interaction models. A logic-based approach
- Contrary-to-duty reasoning with preference-based dyadic obligations
- Mapping deontic operators to abductive expectations
- Defaults with priorities
- On social laws for artificial agent societies: off-line design
- LotrecScheme
- Behavior-Oriented Commitment-based Protocols
- Verifying social expectations by model checking truncated paths
- Logical Dynamics of Information and Interaction
- Visualizing Normative Systems: An Abstract Approach
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
- A Logical Architecture of a Normative System
- Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions
- Normative Multiagent Systems: Guest Editors' Introduction
- Executable specification of open multi-agent systems
- Changing legal systems: legal abrogations and annulments in Defeasible Logic
- A complete axiom set for Hansson's deontic logic DSDL2
- Multiagent Systems
- Constitutive Norms in the Design of Normative Multiagent Systems
- Dynamic Context Logic
- On the logic of theory change: Partial meet contraction and revision functions
- Correlated Equilibrium as an Expression of Bayesian Rationality
- Semantic Analyses for Dyadic Deontic Logic
- Controlled Revision - An Algorithmic Approach for Belief Revision
- Efficient loop-check for backward proof search in some non-classical propositional logics
- Explanatory Nonmonotonic Reasoning
- Deontics = Betterness + Priority
- Relevance, Derogation and Permission
- Retroactive Legal Changes and Revision Theory in Defeasible Logic
- An Analysis of some Deontic Logics
- Verifiable agent interaction in abductive logic programming
- Deontic Logic in Computer Science
- Constraints for input/output logics