ML Anthology

Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting

Fangzhen Lin, Jia-Huai You
IJCAI 2001 pp. 655-666
doi:10.1016/S0004-3702(02)00227-8 /ijcai/2001/lin2001ijcai-abduction/
PDF Semantic Scholar

Cite

Text

Lin and You. "Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting." International Joint Conference on Artificial Intelligence, 2001. doi:10.1016/S0004-3702(02)00227-8

Markdown

[Lin and You. "Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/lin2001ijcai-abduction/) doi:10.1016/S0004-3702(02)00227-8

BibTeX

@inproceedings{lin2001ijcai-abduction,
  title     = {{Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting}},
  author    = {Lin, Fangzhen and You, Jia-Huai},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {655-666},
  doi       = {10.1016/S0004-3702(02)00227-8},
  url       = {https://mlanthology.org/ijcai/2001/lin2001ijcai-abduction/}
}