Mapping deontic operators to abductive expectations

DOI10.1007/s10588-006-9544-8zbMath1103.68665OpenAlexW2049681507WikidataQ57977968 ScholiaQ57977968MaRDI QIDQ2509082

Marco Alberti, Giovanni Sartor, Paola Mello, Evelina Lamma, Paolo Torroni, Marco Gavanelli

Publication date: 16 October 2006

Published in: Computational \& Mathematical Organization Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10588-006-9544-8

zbMATH Keywords

deontic logicsemanticsabductionnormative systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items (3)

Obligation as optimal goal satisfaction ⋮ Unnamed Item ⋮ Dischargeable Obligations in the 𝒮CIFF Framework

Uses Software

• SCIFF
• ISLANDER

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Heterogeneous active agents, I: Semantics
• Contextual deontic logic: Normative agents, violations and independence
• Contrary-to-duty obligations
• Negation in logic programming
• Logic programming and negation: A survey
• The IFF proof procedure for abductive logic programming
• Abductive Logic Programming
• Global Computing
• Global Computing
• AI*IA 2005: Advances in Artificial Intelligence
• AI*IA 2003: Advances in Artificial Intelligence
• Deontic Logic in Computer Science

This page was built for publication: Mapping deontic operators to abductive expectations