Babak Mougouie. Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC). In Klaus-Dieter Althoff, Ralph Bergmann, Mirjam Minor, Alexandre Hanft, editors, Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings. Volume 5239 of Lecture Notes in Computer Science, pages 370-384, Springer, 2008.
Abstract is missing.