One of the main uses of computer systems is the management of large amounts of symbolic information representing the state of some application domain, such as information about all the people I communicate with in my personal address database, or relevant parts of the outer space in the knowledge base of a NASA space mission. While database management systems offer only the basic services of information storage and retrieval, more powerful knowledge systems offer, in addition, a number of advanced services such as deductive and abductive reasoning for the purpose of finding explanations and...

Central to this collection of papers are new developments in the general theory of localization of spaces. This field has undergone tremendous change of late and is yielding new insight into the mysteries of classical homotopy theory. The present volume comprises the refereed articles submitted at the Conference on Algebraic Topology held in Sant Feliu de Guixols, Spain, in June 1994. Several comprehensive articles on general localization clarify the basic tools and give a report on the state of the art in the subject matter. The text is therefore accessible not only to the professional...