Equivalence of defeasible normative systems

DOI10.1080/11663081.2013.798996zbMath1400.68200OpenAlexW2010825369MaRDI QIDQ4583306

João Leite, José Júlio Alferes, 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

deontic logiclogic programmingequilibrium logic

Mathematics Subject Classification ID

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

Uses Software

• Moise+

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equilibrium logic
• Deontic logic: introductory and systematic readings. (Repr. with new introd.)
• Theory of logical calculi. Basic theory of consequence operations
• Deontic logic as founded on nonmonotonic logic
• Defeasible deontic logic
• Input/output logics
• Contextual deontic logic: Normative agents, violations and independence
• Contrary-to-duty obligations
• Parametrized Equilibrium Logic
• Normative Systems Represented as Hybrid Knowledge Bases
• Argument-based extended logic programming with defeasible priorities
• Semantic Analyses for Dyadic Deontic Logic
• Parametrized Logic Programming
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Constraints for input/output logics