A practical approach to revising prioritized knowledge bases