ML Anthology

Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy

Yves Kodratoff
ICML 1990 pp. 295-303
doi:10.1016/B978-1-55860-141-3.50039-0 /icml/1990/kodratoff1990icml-using/
ICML Semantic Scholar

Cite

Text

Kodratoff. "Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy." International Conference on Machine Learning, 1990. doi:10.1016/B978-1-55860-141-3.50039-0

Markdown

[Kodratoff. "Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy." International Conference on Machine Learning, 1990.](https://mlanthology.org/icml/1990/kodratoff1990icml-using/) doi:10.1016/B978-1-55860-141-3.50039-0

BibTeX

@inproceedings{kodratoff1990icml-using,
  title     = {{Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy}},
  author    = {Kodratoff, Yves},
  booktitle = {International Conference on Machine Learning},
  year      = {1990},
  pages     = {295-303},
  doi       = {10.1016/B978-1-55860-141-3.50039-0},
  url       = {https://mlanthology.org/icml/1990/kodratoff1990icml-using/}
}