Reformulation in case-based reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1488, Issue , 1998, Pages 172-183

  Melis, Erica ^a   Lieber, Jean ^b   Napoli, Amedeo ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CASE BASED; PROOF-PLANNING;

CASE BASED REASONING;

EID: 84906946514     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0056331     Document Type: Conference Paper

References (23)

1. A. Aamodt and E. Plaza. Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. AI Communications, 7:39-59, 1994.
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.
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-BasedReasoning (EWCBR-96), Lausanne, 1996
4. R. Bergmann and W. Wilke. PARIS: FLexible Plan Adaptation by Abstractionand Refinement. In Vofi [23].
5. R. Bergmann and W. Wilke. Towards a new formal model of transformationaladaptation in case-based reasoning. In L. Gierl and M. Lenz, editors, 6th German Workshop on Case-Based Reasoning, pages 43-52, 1998
6. K. B5rner. 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
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
8. E. J. Corey and X.-M. Cheng. The Logic of Chemical Synthesis. John Wiley & Sons, 1989
9. K. D. Forbus and D. Gentner. Learning Physical Domains: Toward a Theoretical Framework, volume 2, chapter 12, pages 311-348. Machine Learning, 1986
10. J. Lieber and A. Napoli. Adaptation of Synthesis Plans in Organic Chemistry. In Vo [23].
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.
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
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
14. E. Melis. The Heine-Borel Challenge Problem: In Honor of Woody Bledsoe. Journal of Automated Reasoning, 20(3):255-282, 1998
15. E. Melis and J. Whittle. Analogy in inductive theorem proving. Journal of Automated Reasoning, 20(4), 1998
16. A. Mille, B. Fuchs, and O. Herbeaux. A unifying framework for Adaptation in Case-Based Reasoning. In Vo6 [23].
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
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
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
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), Chambdry, pages 909-914, 1993
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.
22. M.M. Veloso. Planning and Learning by Analogical Reasoning. Springer, Berlin, New York, 1994
23. A. Vob; editor. Proceedings o/ the ECAI'96 Workshop: Adaptation in Case-Based Reasoning. 1996.