On Generative Capacity of the Lambek Calculus.

Wojciech Buszkowski

Published in: JELIA (1990)

Keyphrases

generative model
discriminative learning
automated deduction
capacity expansion
relational calculus
computer vision
database systems
search algorithm
expert systems
relational databases
unsupervised learning
proof procedure