Belief, provability and logic programs (1994)

by José Júlio Alferes , Luís Moniz Pereira
Venue:INTERNATIONAL WORKSHOP ON LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA'94, VOLUME 838 OF LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Citations:3 - 3 self