Logic for Computer Science: Foundations of Automatic Theorem Proving

Classics

Harper and Row.

Magic sets and other strange ways to implement logic programs

Classics

In PODS-86, pp. 1–16

On the semantics of STRIPS

Classics

In: Proceedings of the 1986 Workshop on Planning and Reasoning about Action, Timberline, Oregon,

A robust, layered, control system for a mobile robot

Classics

IEEE Journal of Robotics and Automation, Vol. 2, No. 1, March 1986, pp. 14-23; also MIT AI Memo 864

Quantifying the Inductive Bias in Concept Learning

Classics

See also: 2005 AAAI Classic Paper Awards summary of significance by Tom Mitchell in AI Magazine 26(4), 2005.Proc. AAAI-86

Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists

Perceptual organization and the representation of natural form

Classics

Artificial Intelligence 28:293-331. See also: SAO/NASA ADS Physics Abstract Service (http://adsabs.harvard.edu/abs/1985OSAJ....2....4P).

Automata--theoretic techniques for modal logic of programs

Classics

J. Computer and System Sciences 32(1986), pp. 183--221

Fusion, propagation, and structuring in belief networks

Classics

Artificial Intelligence, 29, 241–288.

The inconsistent use of measures of certainty in artificial intelligence research

Classics

In Kanal, L. N. and Lemmer, J. F. (Eds.), UAI 2, pp. 137–151. Elsevier/North-Holland.