Return to Article Details An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base Download Download PDF