José Júlio Alferes, Luís Moniz Pereira. Belief, Provability, and Logic Programs. In Craig MacNish, David Pearce, Luís Moniz Pereira, editors, Logics in Artificial Intelligence, European Workshop, JELIA 94, York, UK, September 5-8, 1994, Proceedings. Volume 838 of Lecture Notes in Computer Science, pages 106-121, Springer, 1994.
@inproceedings{AlferesP94,
title = {Belief, Provability, and Logic Programs},
author = {José Júlio Alferes and Luís Moniz Pereira},
year = {1994},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/AlferesP94},
cites = {0},
citedby = {0},
pages = {106-121},
booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA 94, York, UK, September 5-8, 1994, Proceedings},
editor = {Craig MacNish and David Pearce and Luís Moniz Pereira},
volume = {838},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58332-7},
}