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
Belief, Provability and Logic Programs (extended version)
1995
-
-
Journal
José Júlio Alferes, Luís Moniz Pereira
Journal of Applied Non-Classical Logics
-
-
1
5
31-50
-
-
-
-
Export formats
José Júlio Alferes and Luís Moniz Pereira, Belief, Provability and Logic Programs (extended version), Journal of Applied Non-Classical Logics, Vol. 1, No. 5, Pag. 31-50, 1995.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7_amp_cscd=b32442b899bdc891a5cf68e0292577f7" class="author">José Júlio Alferes</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=b32442b899bdc891a5cf68e0292577f7" class="author">Luís Moniz Pereira</a></b>, <u>Belief, Provability and Logic Programs (extended version)</u>, Journal of Applied Non-Classical Logics, Vol. 1, No. 5, Pag. 31-50, 1995.
@article { author = {Jos{\'e} J{\'u}lio Alferes and Lu\'{\i}s Moniz Pereira}, title = {Belief, Provability and Logic Programs (extended version)}, journal = {Journal of Applied Non-Classical Logics}, volume = {1}, number = {5}, pages = {31-50}, year = {1995}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=435a0540478616d0284c97f7934f7b50
[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