Sorts and Types in Artificial Intelligence 1989

Sorts and Types in Logic, Theorem Proving and Logic Programming

Sorte and Types in Knowledge Representation Including Qualitative Reasoning

Sorts and Types in Natural Language (Understanding) Systems

maintained by Schloss Dagstuhl LZI, founded at University of Trier