Publication details

Publication details Main information Title: Belief, Provability and Logic Programs (extended version) Publication date: 1995 Citation: - Abstract: - Journal Authors: José Júlio Alferes, Luís Moniz Pereira Journal: Journal of Applied Non-Classical Logics Publisher: - Address: - Volume: 1 Number: 5 Pages: 31-50 ISBN: - ISSN: - Note: - Url address: - Export formats Plain text: 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. HTML: <b><a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" 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. BibTeX: @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 Full url: /publications/view.php?code=435a0540478616d0284c97f7934f7b50 Friendly url: [Currently not available]