Integration of Abductive Reasoning and Constraint Optimization in SCIFF

DOI10.1007/978-3-642-02846-5_32zbMath1251.68058OpenAlexW1497840745MaRDI QIDQ5325766

Marco Alberti, Marco Gavanelli, Evelina Lamma

Publication date: 24 July 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_32

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Dischargeable Obligations in the 𝒮CIFF Framework

Uses Software

• HYPROLOG
• SCIFF

Cites Work

• Unnamed Item
• A kripke-kleene semantics for logic programs*
• Negation in logic programming
• SLDNFA: An abductive procedure for abductive logic programs
• Theory and practice of constraint handling rules
• Logic programming and negation: A survey
• The IFF proof procedure for abductive logic programming
• ACLP: Abductive Constraint Logic Programming
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• Verifiable agent interaction in abductive logic programming
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Logic Programming

This page was built for publication: Integration of Abductive Reasoning and Constraint Optimization in SCIFF