@incollection{leake2000casebased,
  abstract = {Case-based reasoning(CBR) is an artificial intelligence paradigm for reasoning and learning. Case-based reasoning solves new problems by retrieving stored records of prior problem-solving episodes (cases) and adapting their solutions to fit new circumstances. Each processing episode provides a new case that is stored for future reuse, making learning a natural side-effect of the reasoning process. Case-based reasoning is also studied within cognitive science as a model of human reasoning: studies show that people use recollections of prior problems to guide their reasoning in a wide range of tasks, such as programming, mathematical problem solving, diagnosis, decision making, and design.},
  acmid = {1074199},
  address = {Chichester, UK},
  author = {Leake, David B.},
  booktitle = {Encyclopedia of Computer Science},
  edition = {4th},
  editor = {Ralston, Anthony and Reilly, Edwin D. and Hemmendinger, David},
  interhash = {fa414e2f48be14bb94cbfbf2566e36af},
  intrahash = {b8526b7c03f1fc9bdd85863dfbf881a2},
  isbn = {0-470-86412-5},
  month = jun,
  numpages = {2},
  pages = {196--197},
  publisher = {John Wiley and Sons Ltd.},
  title = {Case-based reasoning},
  url = {http://dl.acm.org/citation.cfm?id=1074100.1074199},
  year = 2000
}

@inproceedings{elsenbroich2006abductive,
  abstract = {We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss several applicaton scenarios in which various forms of abduction would be useful, introduce corresponding abductive reasoning tasks, give examples, and begin to develop the formal apparatus needed to employ abductive inference in expressive description logics.},
  author = {Elsenbroich, Corinna and Kutz, Oliver and Sattler, Ulrike},
  booktitle = {Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions},
  editor = {Grau, Bernardo Cuenca and Hitzler, Pascal and Shankey, Conor and Wallace, Evan},
  interhash = {a5936835f9eeab91eb09d84948306178},
  intrahash = {15a1bdcbff44431651957f45097dc4f4},
  issn = {1613-0073},
  month = nov,
  series = {CEUR-WS.org},
  title = {A case for abductive reasoning over ontologies},
  url = {http://www.cs.man.ac.uk/~okutz/case-for-abduction.pdf},
  volume = 216,
  year = 2006
}

@article{Meyer2000,
  author = {Meyer, Bernd},
  interhash = {90c5e5328a63cb25d691b3ca58b6f86e},
  intrahash = {34ecec6e2305bc355c831d8330b32783},
  issue = {4},
  journal = {Applied Artificial Intelligence},
  pages = {327--344},
  title = {A constraint-based framework for diagrammatic reasoning},
  volume = 14,
  year = 2000
}