Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC)

@inproceedings{pub3867,
    author = {

Mougouie, Babak
},
    editor = {

Althoff, K.-D.
 and 

Bergmann, R.
 and 

Minor, M.
 and 

Hanft, A.
},
    title = {Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC)},
    booktitle = {Proceedings of the 9th European Conference on Case-Based Reasoning. European Conference on Case-Based Reasoning (ECCBR-2008), September 1-4, Trier, Germany},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {2008},
    volume = {5239},
    pages = {370--384},
    publisher = {Springer}
}