@inproceedings{2f1bbce2d1864657a800da7b06893a22,
title = "{"}Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation.",
author = "A.S. Verberne and {van Harmelen}, F.A.H. and {ten Teije}, A.C.M.",
year = "2000",
language = "English",
editor = "F. Giunchiglia and B. Selman",
booktitle = "Proceedings of the Seventh Fifth International Conference on Principles of Knowledge Representation and Reasoning ({KR'00}).",
publisher = "KR Inc.",
note = "The Seventh Fifth International Conference on Principles of Knowledge Representation and Reasoning ; Conference date: 01-04-2000 Through 01-04-2000",
}