In the mid-1990s, Microsoft created and tested a prototype Case Based Reasoning (CBR) system called Aladdin.   It solved problems with i...

  Assumption Based Reasoning is supported by ABEL, a modeling language. It is presently accessible on the World Wide Web and is written ...