The CHR-based Implementation of the SCIFF Abductive System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Alberti, Marco Gavanelli, Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. Volume 810 of CEUR Workshop Proceedings, pages 163-177, CEUR-WS.org, 2011. [doi]

This author has not been identified. Look up 'Marco Alberti' in GoogleThis author has not been identified. Look up 'Marco Gavanelli' in GoogleThis author has not been identified. Look up 'Evelina Lamma' in Google

runs on WebDSL