Sorts and Types in Artificial Intelligence. Workshop Eringerfeld Frg, April 24-26, 1989. Proceedings.

Contents: Introduction.- Sorts and Types in Logic, Theorem Proving and Logic Programming.- Sorts and Types in Knowledge Representation Including Qualitative Reasoning.- Sorts and Types in Natural Language (Understanding) Systems.- List of Contributors.