The CHR-based Implementation of the SCIFF Abductive System

Authors

Marco Alberti, Marco Gavanelli, Evelina Lamma,