Article published in JAIR (Journal of AI Research) about a way to implement belief networks by compiling networks into arithmetic expressions and then answering queries using an evaluation algorithm.
"System that aids conceptual design of electro-mechanical devices and is based on the paradigm of Case-based Reasoning." Project information, members, publications.