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]
@inproceedings{AlbertiGL11, title = {The CHR-based Implementation of the SCIFF Abductive System}, author = {Marco Alberti and Marco Gavanelli and Evelina Lamma}, year = {2011}, url = {http://ceur-ws.org/Vol-810/paper-l10.pdf}, researchr = {https://researchr.org/publication/AlbertiGL11}, cites = {0}, citedby = {0}, pages = {163-177}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, editor = {Fabio Fioravanti}, volume = {810}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }