ML Anthology

Consequence-Finding Based on Ordered Linear Resolution

Katsumi Inoue
IJCAI 1991 pp. 158-164
/ijcai/1991/inoue1991ijcai-consequence/
PDF IJCAI Semantic Scholar

Cite

Text

Inoue. "Consequence-Finding Based on Ordered Linear Resolution." International Joint Conference on Artificial Intelligence, 1991.

Markdown

[Inoue. "Consequence-Finding Based on Ordered Linear Resolution." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/inoue1991ijcai-consequence/)

BibTeX

@inproceedings{inoue1991ijcai-consequence,
  title     = {{Consequence-Finding Based on Ordered Linear Resolution}},
  author    = {Inoue, Katsumi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {158-164},
  url       = {https://mlanthology.org/ijcai/1991/inoue1991ijcai-consequence/}
}