@Inproceedings{fensel1996aimd, author = "Dieter Fensel and Richard Benjamins", booktitle = "Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-96), Banff, Canada, November 9-14, 1996", month = "November", title = "Assumptions in model-based diagnosis", year = "1996", }