Ralph Bergmann, Babak Mougouie. Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge. In Thomas Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir, editors, Advances in Case-Based Reasoning, 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings. Volume 4106 of Lecture Notes in Computer Science, pages 271-285, Springer, 2006. [doi]
@inproceedings{BergmannM06,
title = {Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge},
author = {Ralph Bergmann and Babak Mougouie},
year = {2006},
doi = {http://dx.doi.org/10.1007/11805816_21},
tags = {rule-based, search},
researchr = {http://researchr.org/publication/BergmannM06},
cites = {0},
citedby = {0},
pages = {271-285},
booktitle = {Advances in Case-Based Reasoning, 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings},
editor = {Thomas Roth-Berghofer and Mehmet H. Göker and H. Altay Güvenir},
volume = {4106},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-36843-4},
}