Belief, Provability, and Logic Programs

• Authors:

• José Júlio Alferes;Luís Moniz Pereira

• Affiliations:

• -;-

• Venue:
• JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
• Year:
• 1994