ML Anthology

Using Active Connection Graphs for Reasoning with Recursive Rules

Donald P. McKay, Stuart C. Shapiro
IJCAI 1981 pp. 368-374
/ijcai/1981/mckay1981ijcai-using/

Abstract

Raouralva r u l e s, such as "Your paren ts ' ancestors are your ances tors " , a l though vary uaafu l f o r theorem p rov ing, na tu ra l languaga understanding, quest ion-answering and In fo rmat ion r e t r i e v a l systems, present problems f o r many such

PDF Semantic Scholar

Cite

Text

McKay and Shapiro. "Using Active Connection Graphs for Reasoning with Recursive Rules." International Joint Conference on Artificial Intelligence, 1981.

Markdown

[McKay and Shapiro. "Using Active Connection Graphs for Reasoning with Recursive Rules." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/mckay1981ijcai-using/)

BibTeX

@inproceedings{mckay1981ijcai-using,
  title     = {{Using Active Connection Graphs for Reasoning with Recursive Rules}},
  author    = {McKay, Donald P. and Shapiro, Stuart C.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1981},
  pages     = {368-374},
  url       = {https://mlanthology.org/ijcai/1981/mckay1981ijcai-using/}
}