On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning.

Anthony G. Cohn

Browse the full KR paper archive.