Runtime Addition of Integrity Constraints in an Abductive Proof Procedure

DOI10.4230/LIPIcs.ICLP.2010.4zbMath1237.68200OpenAlexW1535315055MaRDI QIDQ2883066

Marco Alberti, Evelina Lamma, Marco Gavanelli

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_8ad4.html

zbMATH Keywords

semanticsabductioninteractive computationproof procedure

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Uses Software

• HYPROLOG
• ACORDA
• CHR
• SCIFF

This page was built for publication: Runtime Addition of Integrity Constraints in an Abductive Proof Procedure