Summaries of Papers Contained in Machine Intelligence 10, Conference Proceedings for the MI 10 International Conference on Knowledge Engineering Held at Cleveland, Ohio on 11 - 13 November 1982.

摘要

This document contains summaries of paper presented at the conference of the following topics: mechanized reasoning; reasoning about computations; acquisition and matching of patterns; problems of robotics; knowledge-based systems; logic programming; programs of the brain, and philosphies of man and machine.