AMORD: Explicit control of reasoning. deKleer , J., Doyle, J., Steele, G., & Sussman, G. J. In Proceedings of the ACM Symposium on Artificial Intelligence and Programming Languages, volume 12, pages 116--125, 1977. ACM.
bibtex   
@inproceedings{kleer1977amord,
  title={AMORD: Explicit control of reasoning},
  author={deKleer, Johan and Jon Doyle and Guy Steele and Gerald J. Sussman},
  booktitle={Proceedings of the ACM Symposium on Artificial Intelligence and Programming Languages},
  volume={12},
  number={8},
  pages={116--125},
  year={1977},
  organization={ACM}
}

Downloads: 0