Reformulation in case-based reasoning

1. A. Aamodt and E. Plaza. Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. AI Communications, 7:39–59, 1994.

   Google Scholar 

2. C. Benzmueller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, A. Meier, E. Melis, W. Schaarschmidt, J. Siekmann, and V. Sorge. OMEGA: Towards a mathematical assistant. In W. McCune, editor, Proceedings 14th International Conference on Automated Deduction (CADE-14), pages 252–255, Townsville, 1997. Springer.

   Google Scholar 

3. R. Bergmann and W. Wilke. On the role of abstraction in case-based reasoning. In B. Faltings and I. Smith, editors, Fourth European Workshop on Case-Based Reasoning (EWCBR-96), Lausanne, 1996.

   Google Scholar 

4. R. Bergmann and W. Wilke. PARIS: FLexible Plan Adaptation by Abstraction and Refinement. In Vo\ [23].

   Google Scholar 

5. R. Bergmann and W. Wilke. Towards a new formal model of transformational adaptation in case-based reasoning. In L. Gierl and M. Lenz, editors, 6th German Workshop on Case-Based Reasoning, pages 43–52, 1998.

   Google Scholar 

6. K. Börner. Structural Similarity as Guidance in Case-Based Design. In S. Wess, K.-D. Althoff, and M.M. Richter, editors, Topics in Case-Based Reasoning — First European Workshop (EWCBR'93), Kaiserslautern, Lecture Notes in Artificial Intelligence 837, pages 197–208. Springer Verlag, Berlin, 1994.

   Google Scholar 

7. J.G. Carbonell. Learning by analogy: Formulating and generalizing plans from past experience. In R.S. Michalsky, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach, pages 137–162. Tioga, Palo Alto, 1983.

   Google Scholar 

8. E. J. Corey and X.-M. Cheng. The Logic of Chemical Synthesis. John Wiley & Sons, 1989.

   Google Scholar 

9. K. D. Forbus and D. Gentner. Learning Physical Domains: Toward a Theoretical Framework, volume 2, chapter 12, pages 311–348. Machine Learning, 1986.

   Google Scholar 

10. J. Lieber and A. Napoli. Adaptation of Synthesis Plans in Organic Chemistry. In Vo\ [23].

    Google Scholar 

11. J. Lieber and A. Napoli. Using Classification in Case-Based Reasoning. In W. Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), pages 132–136, Budapest, 1996. John Wiley.

    Google Scholar 

12. J. Lieber and A. Napoli. Correct and Complete Retrieval for Case-Based Problem-Solving. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, United Kingdom, pages 68–72, 1998.

    Google Scholar 

13. E. Melis. A model of analogy-driven proof-plan construction. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 182–189, Montreal, 1995.

    Google Scholar 

14. E. Melis. The Heine-Borel Challenge Problem: In Honor of Woody Bledsoe. Journal of Automated Reasoning, 20(3):255–282, 1998.

    Article  MATH  MathSciNet  Google Scholar 

15. E. Melis and J. Whittle. Analogy in inductive theorem proving. Journal of Automated Reasoning, 20(4), 1998.

    Google Scholar 

16. A. Mille, B. Fuchs, and O. Herbeaux. A unifying framework for Adaptation in Case-Based Reasoning. In Vo\ [23].

    Google Scholar 

17. E. L. Rissland and K. D. Ashley. Hypotheticals as Heuristic Device. In Proceedings Fifth National Conference on Artificial Intelligence (AAAI'86), volume 1, pages 289–297. Morgan Kaufmann, 1986.

    Google Scholar 

18. S. Rougegrez. Similarity evaluation between observed behaviours for the prediction of processes. In S. Wess, K.-D. Althoff, and M. M. Richter, editors, Topics in Case-Based Reasoning-First European Workshop (EWCBR'93), Kaiserslautern, Lecture Notes in Artificial Intelligence 837, pages 155–166. Springer Verlag, Berlin, 1994.

    Google Scholar 

19. J. Schumacher, W. Wilke, and B. Smyth. Domain independent adaptations using configuration techniques. In L. Gierl and M. Lenz, editors, 6th German Workshop on Case-Based Reasoning, pages 243–248, 1998.

    Google Scholar 

20. H. Shimazu, H. Kitano, and A. Shibata. Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Based Systems. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, pages 909–914, 1993.

    Google Scholar 

21. B. Smyth and M.T. Keane. Retrieving adaptable cases. In S. Wess, K.-D. Althoff, and M.M. Richter, editors, Topics in Case-Based Reasoning — First European Workshop (EWCBR'93), Kaiserslautern, Lecture Notes in Artificial Intelligence 837, pages 209–220, Berlin, 1994. Springer Verlag, Berlin.

    Google Scholar 

22. M.M. Veloso. Planning and Learning by Analogical Reasoning. Springer, Berlin, New York, 1994.

    MATH  Google Scholar 

23. A. Vo\, editor. Proceedings of the ECAI'96 Workshop: Adaptation in Case-Based Reasoning. 1996.

    Google Scholar 

Download references