Equivalence of defeasible normative systems
From MaRDI portal
Publication:4583306
DOI10.1080/11663081.2013.798996zbMATH Open1400.68200OpenAlexW2010825369MaRDI QIDQ4583306FDOQ4583306
Authors: José Júlio Alferes, João Leite, Ricardo Gonçalves 
Publication date: 28 August 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2013.798996
Recommendations
- Defeasible normative reasoning
- Robust normative systems and a logic of norm compliance
- Practical Normative Reasoning with Defeasible Deontic Logic
- scientific article; zbMATH DE number 3197097
- Reasoning about dynamic normative systems
- Normative positions within an algebraic approach to normative systems
- Defining normative systems for qualitative argumentation
- scientific article; zbMATH DE number 1163367
- Defeasible deontic logic
Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in artificial intelligence (68T27)
Cites Work
- Strongly equivalent logic programs
- Equilibrium logic
- Theory of logical calculi. Basic theory of consequence operations
- Title not available (Why is that?)
- Defeasible deontic logic
- Argument-based extended logic programming with defeasible priorities
- Semantic Analyses for Dyadic Deontic Logic
- Contrary-to-duty obligations
- Title not available (Why is that?)
- Input/output logics
- Title not available (Why is that?)
- Constraints for input/output logics
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Parametrized logic programming
- Deontic logic as founded on nonmonotonic logic
- Title not available (Why is that?)
- Contextual deontic logic: Normative agents, violations and independence
- Normative systems represented as hybrid knowledge bases
- Deontic logic: introductory and systematic readings. (Repr. with new introd.)
- Title not available (Why is that?)
- Parametrized equilibrium logic
Cited In (7)
- Defeasible normative reasoning
- Changing legal systems: legal abrogations and annulments in Defeasible Logic
- Robust normative systems and a logic of norm compliance
- Interaction in normative multi-agent systems
- Normative Consistency: An Xstit Account
- Normative systems represented as hybrid knowledge bases
- Deontic equilibrium logic with explicit negation
Uses Software
This page was built for publication: Equivalence of defeasible normative systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583306)
