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:
Objective: in Minimum Context
Publication date:
2003
Citation:
abreu2003:iclp
Abstract:
-
In proceedings
Authors:
Salvador Abreu
, Daniel Diaz
Editors:
Catuscia Palamidessi
Book title:
Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
Series:
Lecture Notes in Computer Science
Publisher:
Springer
Address:
-
Volume:
2916
Pages:
128-147
ISBN:
3-540-20642-6
ISSN:
-
Note:
-
Url address:
http://dblp.uni-trier.de
Export formats
Plain text:
Salvador Abreu and Daniel Diaz, Objective: in Minimum Context, in: Catuscia Palamidessi (eds), Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 2916, ISBN 3-540-20642-6, Pag. 128-147, (http://dblp.uni-trier.de), 2003.
HTML:
<a href="/people/members/view.php?code=e927e6f7f16b0d293c89324129b1ea0e" class="author">Salvador Abreu</a> and Daniel Diaz, <b>Objective: in Minimum Context</b>, in: Catuscia Palamidessi (eds), <u>Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 2916, ISBN 3-540-20642-6, Pag. 128-147, (<a href="http://dblp.uni-trier.de" target="_blank">url</a>), 2003.
BibTeX:
@inproceedings {abreu2003:iclp, author = {Salvador Abreu and Daniel Diaz}, editor = {Catuscia Palamidessi}, title = {Objective: in Minimum Context}, booktitle = {Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {2916}, pages = {128-147}, isbn = {3-540-20642-6}, url = {http://dblp.uni-trier.de}, year = {2003}, }
Publication's urls
Full url:
/publications/view.php?code=7c9f8fae38713f60d3b07e081d2d45a4
Friendly url:
/publications/view.php?code=abreu2003:iclp
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