Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Events
Seminars
News
Management
You are here:
Home
Publications
View
Publication details
Publication details
Main information
Title:
Logic programming updating - a guided approach
Publication date:
2002
Citation:
ap:bob02
Abstract:
-
Book chapter
Authors:
José Júlio Alferes
,
Luís Moniz Pereira
Editors:
A. Kakas, F. Sadri
Book title:
Logic Programming into the Future - Essays in honour of Robert Kowalski
Series:
LNAI
Publisher:
Springer
Address:
-
Volume:
2408
Pages:
382-412
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
José Júlio Alferes and Luís Moniz Pereira, Logic programming updating - a guided approach, in: A. Kakas and F. Sadri (eds), Logic Programming into the Future - Essays in honour of Robert Kowalski, LNAI, Springer, Vol. 2408, Pag. 382-412, 2002.
HTML:
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7_amp_cscd=060b85dc2c112d895d71f285666cd0fe" class="author">José Júlio Alferes</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=060b85dc2c112d895d71f285666cd0fe" class="author">Luís Moniz Pereira</a>, <b>Logic programming updating - a guided approach</b>, in: A. Kakas and F. Sadri (eds), <u>Logic Programming into the Future - Essays in honour of Robert Kowalski</u>, LNAI, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 2408, Pag. 382-412, 2002.
BibTeX:
@incollection {ap:bob02, author = {Jos{\'e} J{\'u}lio Alferes and Lu\'{\i}s Moniz Pereira}, editor = {A. Kakas and F. Sadri}, title = {Logic programming updating - a guided approach}, booktitle = {Logic Programming into the Future - Essays in honour of Robert Kowalski}, series = {LNAI}, publisher = {Springer}, volume = {2408}, pages = {382-412}, year = {2002}, }
Publication's urls
Full url:
http://centria.di.fct.unl.pt/publications/view.php?code=25d4a1a003a2a6d9b9fccc3e42708028
Friendly url:
http://centria.di.fct.unl.pt/publications/view.php?code=ap:bob02
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541