Elliot Smith Peter Hancox Representation, Coherence and Inference. 295-323 2001 15 Artif. Intell. Rev. 4 db/journals/air/air15.html#SmithH01