Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
The {CHR}-based Implementation of an Abductive System
Publication date:
September 2011
Citation:
CILC2011-chr
Abstract:
-
In proceedings
Authors:
Marco Alberti
, Marco Gavanelli, Evelina Lamma
Editors:
Fabio Fioravanti
Book title:
Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011)
Series:
CEUR Workshop Proceedings
Publisher:
-
Address:
Pescara, Italy
Volume:
-
Pages:
-
ISBN:
-
ISSN:
-
Note:
-
Url address:
http://ceur-ws.org/Vol-810/
Export formats
Plain text:
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.
HTML:
<a href="/people/members/view.php?code=bde07d722513741a0fa20a19209bc4a1" 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.
BibTeX:
@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
Full url:
/publications/view.php?code=a3719e4ce70f68afa7f9f844f58bed7f
Friendly url:
/publications/view.php?code=CILC2011-chr
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541