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
Coherent Well-founded Annotated Logic Programs
December 1999
f4
-
In proceedings
Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
M.Gelfond, N. Leone, G. Pfeifer
5th International Conference on Logic Programming and Nonmonotonic Reasoning
-
Springer
-
LNAI
262-276
-
-
-
-
Export formats
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.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903_amp_cscd=ef5354bfbccb741d3e0147ac760688f1" class="author">Carlos Viegas Damásio</a>, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=ef5354bfbccb741d3e0147ac760688f1" class="author">Luís Moniz Pereira</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=v175f8262e2ff877fba2ad77784cb9ca_amp_cscd=ef5354bfbccb741d3e0147ac760688f1" 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.
@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
http://centria.di.fct.unl.pt/publications/view.php?code=578356a0a10729e689c3bfc739d4d3e9
http://centria.di.fct.unl.pt/publications/view.php?code=f4
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