This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte. The papers discuss topics in the following major areas: - Approximate reasoning, - Expert systems, - Intelligent databases, - Knowledge representation, - Learning and adaptive systems, - Logic for artificial intelligence. The goal of the symposium was to provide a platform for a useful exchange and cross-fertilization of ideas between theoreticians and practitioners in these areas.

The first volume of this two part series is concerned with the fundamental aspects of relativistic quantum theory, outlining the enormous progress made in the last twenty years in this field. The aim was to create a book such that researchers who become interested in this exciting new field find it useful as a textbook, and do not have to rely on a rather large number of specialized papers published in this area.·No title is currently available that deals with new developments in relativistic quantum electronic structure theory·Interesting and relevant to graduate students in chemistry and physics as well as to all researchers in the field of quantum chemistry·As treatment of heavy elements becomes more important, there will be a constant demand for this title

This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA in October 1994. Besides four invited contributions by renowned researchers on key topics, there are 56 full papers carefully selected from more than 120 submissions. The book presents the state of the art for methodologies for intelligent systems; the papers are organized in sections on approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation, methodologies, learning and adaptive systems, and logic for AI.