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:
A Logic Programming System for Non-monotonic Reasoning
Publication date:
1995
Citation:
-
Abstract:
-
Journal
Authors:
José Júlio Alferes
,
Carlos Viegas Damásio
,
Luís Moniz Pereira
Journal:
Journal of Automated Reasoning
Publisher:
-
Address:
-
Volume:
14
Number:
-
Pages:
93-147
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
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.
HTML:
<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.
BibTeX:
@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
Full url:
http://centria.di.fct.unl.pt/publications/view.php?code=aa13cb1c2d032df769afae0e21aa7e2a
Friendly url:
[Currently not available]
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541