Deon^ + : abduction and constraints for normative reasoning

DOI10.1007/978-3-642-29414-3_17MaRDI QIDQ2900484zbMATH OpenOpenAlexFDO

Authors Marco Alberti, Marco Gavanelli, Evelina Lamma

Publication date 23 July 2012

Published in Logic Programs, Norms and Action (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29414-3_17

Mathematics Subject Classification ID

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

Recommendations

• Mapping deontic operators to abductive expectations
• Dischargeable obligations in abductive logic programming
• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• Rich deontic logic: A preliminary study
• Obligations with deadlines: a formalization in dynamic deontic logic

Cited in

(4)

• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• Mapping deontic operators to abductive expectations
• Time is up! -- Norms with deadlines in action languages
• Dischargeable obligations in abductive logic programming

This page was built for publication: \(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning

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