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:
Coherent Well-founded Annotated Logic Programs
Publication date:
December 1999
Citation:
f4
Abstract:
-
In proceedings
Authors:
Carlos Viegas Damásio
,
Luís Moniz Pereira
,
Terrance Swift
Editors:
M.Gelfond, N. Leone, G. Pfeifer
Book title:
5th International Conference on Logic Programming and Nonmonotonic Reasoning
Series:
-
Publisher:
Springer
Address:
-
Volume:
LNAI
Pages:
262-276
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Carlos Viegas Damásio and Luís Moniz Pereira and Terrance Swift, Coherent Well-founded Annotated Logic Programs, in: M.Gelfond, N. Leone and G. Pfeifer (eds), 5th International Conference on Logic Programming and Nonmonotonic Reasoning, Springer, Vol. LNAI, Pag. 262-276, December 1999.
HTML:
<a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a>, <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a> and <a href="/people/members/view.php?code=v175f8262e2ff877fba2ad77784cb9ca" class="author">Terrance Swift</a>, <b>Coherent Well-founded Annotated Logic Programs</b>, in: M.Gelfond, N. Leone and G. Pfeifer (eds), <u>5th International Conference on Logic Programming and Nonmonotonic Reasoning</u>, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. LNAI, Pag. 262-276, December 1999.
BibTeX:
@inproceedings {f4, author = {Carlos Viegas Dam{\'a}sio and Lu\'{\i}s Moniz Pereira and Terrance Swift}, editor = {M.Gelfond, N. Leone and G. Pfeifer}, title = {Coherent Well-founded Annotated Logic Programs}, booktitle = {5th International Conference on Logic Programming and Nonmonotonic Reasoning}, publisher = {Springer}, volume = {LNAI}, pages = {262-276}, month = {December}, year = {1999}, }
Publication's urls
Full url:
/publications/view.php?code=578356a0a10729e689c3bfc739d4d3e9
Friendly url:
/publications/view.php?code=f4
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