An embedding of input-output logic in deontic logic programs

DOI10.1007/978-3-642-31570-1_5MaRDI QIDQ3167596zbMATH OpenOpenAlexFDO

Authors José Júlio Alferes, Ricardo Gonçalves

Publication date 2 November 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31570-1_5

Mathematics Subject Classification ID

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

Recommendations

• Decidability and implementation of parametrized logic programs
• On the complexity of input/output logic
• Constraints for input/output logics
• scientific article; zbMATH DE number 1090099
• Parametrized logic programming

Cited in

(5)

• Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
• Adaptive logic characterizations of input/output logic
• Deontic equilibrium logic with explicit negation
• Constrained derivation in assumption-based argumentation
• A concept approach to input/output logic

This page was built for publication: An embedding of input-output logic in deontic logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3167596)