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:
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="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" 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:
/publications/view.php?code=aa13cb1c2d032df769afae0e21aa7e2a
Friendly url:
[Currently not available]
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