Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge. Bergmann, R. & Mougouie, B. In Roth-Berghofer, T., Göker, M., & Güvenir, H. A., editors, Advances in Case-Based Reasoning - Proceedings of the 8th European Conference, ECCBR 2006, Fethiye, Turkey, volume 4106, of Lecture Notes in Artificial Intelligence, pages 271–285, 2006. Springer. The original publication is available at www.springerlink.com
Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge [pdf]Paper  bibtex   

Downloads: 0