Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma. The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. In Armin Wolf, Thom W. Frühwirth, Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Volume 2005-01 of Ulmer Informatik-Berichte, pages 111-122, Universität Ulm, Germany, 2005.
@inproceedings{AlbertiCGL05,
title = {The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses},
author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma},
year = {2005},
tags = {rule-based},
researchr = {https://researchr.org/publication/AlbertiCGL05},
cites = {0},
citedby = {0},
pages = {111-122},
booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005},
editor = {Armin Wolf and Thom W. Frühwirth and Marc Meister},
volume = {2005-01},
series = {Ulmer Informatik-Berichte},
publisher = {Universität Ulm, Germany},
}