Deon^ + : abduction and constraints for normative reasoning

DOI10.1007/978-3-642-29414-3_17zbMATH Open1356.68211OpenAlexW161992225MaRDI QIDQ2900484FDOQ2900484

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

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

Mathematics Subject Classification ID

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

Cited In (4)

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

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)