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

Artificial Intelligence, 29, 241–288.

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

In Reasoning about Actions and Plans: Proc. 1986 Workshop, pp. 47–82.

This report contains the following discussions: the defense program simulation of rocky flats plant; spatial representation and reasoning for automated mesh generation; INEL support to modernization efforts at the aberdeen proving ground; artificial intelligence applications at the ICPP; an expert system for tuning particle beam accelerators; quality control expert system; an easily maintained knowledge-based system for interactive delivery of detailed technical information; workload scheduling in DOE production complex; turning operations planning system; a nuclear power plant operator advisor based on artificial intelligence technology; a impact of artificial intelligence on the new production reactor; using expert systems in treaty verification; knowledge-basedmore » systems technology transfer in Oak Ridge; applications of AI to nuclear power plants; knowledge-based computer security systems; robotic grasping of unknown objects: a knowledge-based approach; applying expertise to data in the geologist's assistant expert system; feature recognition based automatic part classification and coding; object-oriented inventories for simulation of manufacturing process; expert system at AWE; plating expert system; inspection process planning expert; troubleshooting local area networks at Savannah River Site; maintenance importance generator; joint theater level simulator; a system for authoring of tutorials including video capture and annotation, links to manuals, and links to executable code; a personal computer based expert system for documenting compliance with the National Environmental Protection Act; spatial representation and reasoning for automated mesh generation; robotic grasping of unknown objects: a knowledge-based approach; and synthesis of engineering anticipatory systems.«

In AAAI-86, pp. 1041–1045.

Machine Learning, 1, 145–176.

See also:A Fundamental Tradeoff in Knowledge Representation and Reasoning. Slides. Department of Computer and Information Science. Norwegian University of Science and Technology. IT3706 - Knowledge Representation and Modelling, 2005.Knowledge Representation and Reasoning. Morgan Kaufmann, 2004.Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1989.Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (1st ed.). James Allen, Ronald J. Brachman, Erik Sandewall, Hector J. Levesque, Ray Reiter, and Richard Fikes (Eds.). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.Annual Review of Computer Science Vol. 1: 255-287

AI Magazine 6(4):40-62

Addison-Wesley