Publisher's Synopsis
Mainstream AI research directions are reflected in the majority of the papers presented in this volume. Automatic reasoning and knowledge representation problems, inferencing, action planning and coordination, temporal reasoning, truth maintenance systems and machine learning are all represented. Other papers are concerned with logic and object-oriented programming, conceptual and implementation problems of AI programming, natural language processing, architectures and systems. The applications of AI are also considered, in the fields of software engineering, industry and the humanities, e.g. education, law.
