Belief, Provability, and Logic Programs

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.