The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms, comparative analysis of competing algorithms and formalisms, and ana

The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR

Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu

Knowledge representation is at the very core of a radical idea for understanding intelligence. This book talks about the central concepts of knowledge representation developed over the years. It is suitable for researchers and practitioners in database management, information retrieval, object-oriented systems and artificial intelligence.