ML Anthology

Analogy and Abduction in Automated Deduction

Gilles Défourneaux, Nicolas Peltier
IJCAI 1997 pp. 216-225
/ijcai/1997/defourneaux1997ijcai-analogy/
PDF IJCAI Semantic Scholar

Cite

Text

Défourneaux and Peltier. "Analogy and Abduction in Automated Deduction." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Défourneaux and Peltier. "Analogy and Abduction in Automated Deduction." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/defourneaux1997ijcai-analogy/)

BibTeX

@inproceedings{defourneaux1997ijcai-analogy,
  title     = {{Analogy and Abduction in Automated Deduction}},
  author    = {Défourneaux, Gilles and Peltier, Nicolas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {216-225},
  url       = {https://mlanthology.org/ijcai/1997/defourneaux1997ijcai-analogy/}
}