Return to Article Details Reasoning about Minimal Belief and Negation as Failure Download Download PDF