This book reflects substantial research done in AI on sorts and types. It is of great importance for researchers interested in natural language understanding and knowledge representation.
Karl H. Bläsius
artificial intelligence computational linguistics intelligence knowledge knowledge representation linguistics logic programming proving theorem proving