Runtime Addition of Integrity Constraints in an Abductive Proof Procedure.

Marco Alberti, Marco Gavanelli, Evelina Lamma

Browse the full ICLP paper archive.