The CHR-based Implementation of the SCIFF Abductive System.

Marco Alberti Marco Gavanelli Evelina Lamma

Published in: Fundam. Informaticae (2013)

Keyphrases

abductive logic programming
logic programs
proof procedure
constraint handling rules
information systems
logic programming