Title: Irrelevance reasoning in knowledge based systems
Subjects: Artificial intelligence