Unifying Logical and Statistical AI
discriminative training methods for hidden markov models : theory and experiments with perceptron algorithms .