Equivalence of defeasible normative systems

DOI10.1080/11663081.2013.798996MaRDI QIDQ4583306zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

equilibrium logicdeontic logiclogic programming

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in artificial intelligence (68T27)

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

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 588315 (Why is no real title available?)
• scientific article; zbMATH DE number 611098 (Why is no real title available?)
• scientific article; zbMATH DE number 1149418 (Why is no real title available?)
• scientific article; zbMATH DE number 2019850 (Why is no real title available?)
• Argument-based extended logic programming with defeasible priorities
• Constraints for input/output logics
• Contextual deontic logic: Normative agents, violations and independence
• Contrary-to-duty obligations
• Defeasible deontic logic
• Deontic logic as founded on nonmonotonic logic
• Deontic logic: introductory and systematic readings. (Repr. with new introd.)
• Equilibrium logic
• Input/output logics
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Normative systems represented as hybrid knowledge bases
• Parametrized equilibrium logic
• Parametrized logic programming
• Semantic Analyses for Dyadic Deontic Logic
• Strongly equivalent logic programs
• Theory of logical calculi. Basic theory of consequence operations

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

Describes a project that uses

Uses Software

• Moise+

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)