ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983 (1983)
- Cohen,D. (1983) Cohen,D. "Symbolic execution of the Gist specification language"
- Dodson, D. C. and Rector, A. L. (1983) Dodson, D. C. and Rector, A. L. "LOGAL: Algorithmic control structures for Prolog" pp536-538
- Mellish, Chris and Hardy, Steve (1983) Mellish, Chris and Hardy, Steve "Integrating Prolog into the POPLOG environment" pp533-535
- Ohsuga, Setsuo (1983) Ohsuga, Setsuo "Predicate Logic Involving Data Structure as a Knowledge"
- Rosenberg, S. (1983) Rosenberg, S. "HPRL: A Language for Building Expert Systems"
- Schmolze and Lipkis (1983) Schmolze J. G. and Lipkis, T. A. "Classification in the KL-ONE knowledge representation system"