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
A Logic Programming System for Non-monotonic Reasoning
1995
-
-
Journal
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
Journal of Automated Reasoning
-
-
14
-
93-147
-
-
-
-
Export formats
José Júlio Alferes and Carlos Viegas Damásio and Luís Moniz Pereira, A Logic Programming System for Non-monotonic Reasoning, Journal of Automated Reasoning, Vol. 14, Pag. 93-147, 1995.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7_amp_cscd=ed2fe5d9d516b05076e8cbd0adbb1415" class="author">José Júlio Alferes</a>, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903_amp_cscd=ed2fe5d9d516b05076e8cbd0adbb1415" class="author">Carlos Viegas Damásio</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=ed2fe5d9d516b05076e8cbd0adbb1415" class="author">Luís Moniz Pereira</a></b>, <u>A Logic Programming System for Non-monotonic Reasoning</u>, Journal of Automated Reasoning, Vol. 14, Pag. 93-147, 1995.
@article { author = {Jos{\'e} J{\'u}lio Alferes and Carlos Viegas Dam{\'a}sio and Lu\'{\i}s Moniz Pereira}, title = {A Logic Programming System for Non-monotonic Reasoning}, journal = {Journal of Automated Reasoning}, volume = {14}, pages = {93-147}, year = {1995}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=aa13cb1c2d032df769afae0e21aa7e2a
[Currently not available]

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