Dischargeable obligations in the SCIFF framework

DOI10.3233/FI-2020-1976MaRDI QIDQ4988947zbMATH OpenFDO

Authors Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese

Publication date 20 May 2021

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2020-1976

zbMATH Keywords

constraint logic programmingabductive logic programmingnormative reasoningdischargement of expectations

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Dischargeable obligations in abductive logic programming
• \(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning
• scientific article; zbMATH DE number 1318509
• scientific article; zbMATH DE number 1163369
• Deontic Logic in Computer Science

Cites work

• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 588315 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1952789 (Why is no real title available?)
• scientific article; zbMATH DE number 6407643 (Why is no real title available?)
• A logic for prioritized normative reasoning
• A logic-based calculus of events
• Abductive Logic Programming
• An abductive framework for Datalog\(^\pm\) ontologies
• Argument-based extended logic programming with defeasible priorities
• Defaults with priorities
• Detachment and defeasibility in deontic logic
• Dischargeable obligations in abductive logic programming
• Global Computing
• Heterogeneous active agents, I: Semantics
• Input/output logics
• Integration of Abductive Reasoning and Constraint Optimization in SCIFF
• Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday
• Mapping deontic operators to abductive expectations
• Negation in logic programming
• New frontiers in artificial intelligence. JSAI-isAI 2010 workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18--19, 2010. Revised selected papers
• Normative KGP agents
• Normative reasoning and consequence
• Obligation as optimal goal satisfaction
• On the logic of theory change: Partial meet contraction and revision functions
• Reasoning on Datalog^ ontologies with abductive logic programming
• Robust normative systems and a logic of norm compliance
• The IFF proof procedure for abductive logic programming
• The complexity of logic-based abduction
• Verifiable agent interaction in abductive logic programming: the SCIFF framework
• \textsc{NorMC}: a norm compliance temporal logic model checker

Cited in

(3)

• SCIFF
• Dischargeable obligations in abductive logic programming
• \(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning

Describes a project that uses

Uses Software

• PROLEG

This page was built for publication: Dischargeable obligations in the \(\mathcal{S}\)CIFF framework

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