Sign in

The CHR-based Implementation of the SCIFF Abductive System.

Marco AlbertiMarco GavanelliEvelina Lamma
Published in: Fundam. Informaticae (2013)
Keyphrases
  • abductive logic programming
  • logic programs
  • proof procedure
  • constraint handling rules
  • information systems
  • logic programming