Definite Clauses
method
ID: definiteclauses
Related Papers
Some Uses of Higher-Order Logic in Computational Linguistics
Consideration of the question of meaning in the frame- work of linguistics often requires an allusion to sets and other higher-order notions. The traditional approach to representing and reasoning about …...