Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
The {CHR}-based Implementation of an Abductive System
September 2011
CILC2011-chr
-
In proceedings
Marco Alberti, Marco Gavanelli, Evelina Lamma
Fabio Fioravanti
Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011)
CEUR Workshop Proceedings
-
Pescara, Italy
-
-
-
-
-
http://ceur-ws.org/Vol-810/
Export formats
Marco Alberti and Marco Gavanelli and Evelina Lamma, The {CHR}-based Implementation of an Abductive System, in: Fabio Fioravanti (eds), Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011), CEUR Workshop Proceedings, Pescara, Italy, (http://ceur-ws.org/Vol-810/), September 2011.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=bde07d722513741a0fa20a19209bc4a1_amp_cscd=5d7ad16654893f529689531a1e2abf8f" class="author">Marco Alberti</a>, Marco Gavanelli and Evelina Lamma, <b>The {CHR}-based Implementation of an Abductive System</b>, in: Fabio Fioravanti (eds), <u>Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011)</u>, CEUR Workshop Proceedings, Pescara, Italy, (<a href="http://ceur-ws.org/Vol-810/" target="_blank">url</a>), September 2011.
@inproceedings {CILC2011-chr, author = {Marco Alberti and Marco Gavanelli and Evelina Lamma}, editor = {Fabio Fioravanti}, title = {The {CHR}-based Implementation of an Abductive System}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011)}, series = {CEUR Workshop Proceedings}, address = {Pescara, Italy}, url = {http://ceur-ws.org/Vol-810/}, month = {September}, year = {2011}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=a3719e4ce70f68afa7f9f844f58bed7f
http://centria.di.fct.unl.pt/publications/view.php?code=CILC2011-chr
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento