Sentences with finite models.

Christopher J. Ash

Published in: Math. Log. Q. (1975)

Keyphrases

artificial intelligence
natural language
prior knowledge
experimental data
statistical models
statistical model
first order logic