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
Integration of abductive reasoning and constraint optimization in {SCIFF
2009
ICLP2009
-
In proceedings
Marco Gavanelli, Marco Alberti, Evelina Lamma
Patricia M. Hill, David S. Warren
25th International Conference on Logic Programming (ICLP 2009)
Lecture Notes in Computer Science
Springer-Verlag
Berlin Heidelberg
5649
387-401
978-3-642-02845-8
0302-9743
-
http://www.ist.unomaha.edu/iclp2009/
Export formats
Marco Gavanelli and Marco Alberti and Evelina Lamma, Integration of abductive reasoning and constraint optimization in {SCIFF, in: Patricia M. Hill and David S. Warren (eds), 25th International Conference on Logic Programming (ICLP 2009), Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, Vol. 5649, ISBN 978-3-642-02845-8, ISSN 0302-9743, Pag. 387-401, (http://www.ist.unomaha.edu/iclp2009/), 2009.
Marco Gavanelli, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=bde07d722513741a0fa20a19209bc4a1_amp_cscd=e912ffd4818502762ab0c07746207601" class="author">Marco Alberti</a> and Evelina Lamma, <b>Integration of abductive reasoning and constraint optimization in {SCIFF</b>, in: Patricia M. Hill and David S. Warren (eds), <u>25th International Conference on Logic Programming (ICLP 2009)</u>, Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, Vol. 5649, ISBN 978-3-642-02845-8, ISSN 0302-9743, Pag. 387-401, (<a href="http://www.ist.unomaha.edu/iclp2009/" target="_blank">url</a>), 2009.
@inproceedings {ICLP2009, author = {Marco Gavanelli and Marco Alberti and Evelina Lamma}, editor = {Patricia M. Hill and David S. Warren}, title = {Integration of abductive reasoning and constraint optimization in {SCIFF}, booktitle = {25th International Conference on Logic Programming (ICLP 2009)}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, address = {Berlin Heidelberg}, volume = {5649}, pages = {387-401}, isbn = {978-3-642-02845-8}, issn = {0302-9743}, url = {http://www.ist.unomaha.edu/iclp2009/}, keywords = {Abductive Logic Programming, Constraint Logic Programming, Constraint Optimization, Constraint Handling Rules}, year = {2009}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=01740f38dbc393b4f614e3b123bf26d0
http://centria.di.fct.unl.pt/publications/view.php?code=ICLP2009
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