Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers.

Adrian Walker

Browse the full IJCAI paper archive.