The CHR-based Implementation of the SCIFF Abductive System.

Marco Alberti Marco Gavanelli Evelina Lamma

Published in: CILC (2011)

Keyphrases

abductive logic programming
logic programs
proof procedure