@inproceedings{Verberne2000,
address = {Colorado},
author = {Verberne, Alan and {Van Harmelen}, F. and {Ten Teije}, A.},
booktitle = {Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning ({\{}KR'00{\}})},
file = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Verberne, Van Harmelen, Ten Teije - 2000 - Anytime diagnostic reasoning using approximate boolean constraint propagation.pdf:pdf},
keywords = {deduction,diagnosis},
number = {April},
pages = {323--332},
publisher = {Citeseer},
title = {{Anytime diagnostic reasoning using approximate boolean constraint propagation}},
url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.3804{\&}rep=rep1{\&}type=pdf http://www.cs.vu.nl/{~}annette/papers-pdf/2000KR.pdf},
year = {2000}
}

{"_id":"nH4Z944sDAq37ZsWc","bibbaseid":"verberne-vanharmelen-tenteije-anytimediagnosticreasoningusingapproximatebooleanconstraintpropagation-2000","author_short":["Verberne, A.","Van Harmelen, F.","Ten Teije, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Colorado","author":[{"propositions":[],"lastnames":["Verberne"],"firstnames":["Alan"],"suffixes":[]},{"propositions":[],"lastnames":["Van Harmelen"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Ten Teije"],"firstnames":["A."],"suffixes":[]}],"booktitle":"Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (\\KR'00\\)","file":":Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Verberne, Van Harmelen, Ten Teije - 2000 - Anytime diagnostic reasoning using approximate boolean constraint propagation.pdf:pdf","keywords":"deduction,diagnosis","number":"April","pages":"323–332","publisher":"Citeseer","title":"Anytime diagnostic reasoning using approximate boolean constraint propagation","url":"http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.3804\\&rep=rep1\\&type=pdf http://www.cs.vu.nl/~annette/papers-pdf/2000KR.pdf","year":"2000","bibtex":"@inproceedings{Verberne2000,\naddress = {Colorado},\nauthor = {Verberne, Alan and {Van Harmelen}, F. and {Ten Teije}, A.},\nbooktitle = {Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning ({\\{}KR'00{\\}})},\nfile = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Verberne, Van Harmelen, Ten Teije - 2000 - Anytime diagnostic reasoning using approximate boolean constraint propagation.pdf:pdf},\nkeywords = {deduction,diagnosis},\nnumber = {April},\npages = {323--332},\npublisher = {Citeseer},\ntitle = {{Anytime diagnostic reasoning using approximate boolean constraint propagation}},\nurl = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.3804{\\&}rep=rep1{\\&}type=pdf http://www.cs.vu.nl/{~}annette/papers-pdf/2000KR.pdf},\nyear = {2000}\n}\n","author_short":["Verberne, A.","Van Harmelen, F.","Ten Teije, A."],"key":"Verberne2000","id":"Verberne2000","bibbaseid":"verberne-vanharmelen-tenteije-anytimediagnosticreasoningusingapproximatebooleanconstraintpropagation-2000","role":"author","urls":{"Paper":"http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.3804\\&rep=rep1\\&type=pdf http://www.cs.vu.nl/~annette/papers-pdf/2000KR.pdf"},"keyword":["deduction","diagnosis"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~annette/Annette-mendeley.bib","dataSources":["9CnmDh6oPMNTwHksm","LEcHEiZn5fKAs2WWu"],"keywords":["deduction","diagnosis"],"search_terms":["anytime","diagnostic","reasoning","using","approximate","boolean","constraint","propagation","verberne","van harmelen","ten teije"],"title":"Anytime diagnostic reasoning using approximate boolean constraint propagation","year":2000}