The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas," i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.

The IBM project LILOG presented in this volume represents a fundamental stepbeyond computer science as hitherto understood. It was a successful project in every respect and has shed light on conjectured basic interrelations between knowledge processing and language definition. Knowledge processing is strongly coupled to the natural language used, and for applied knowledge processing an information base is neededwhich defines the semantic contents and interrelations of the language. The LILOG project was an implementation of an information basein the German language. A set of tools was also...

This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.
The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems." The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.