Learning From Entailment: An Application to Propositional Horn Sentences.

Michael Frazier Leonard Pitt

Published in: ICML (1993)

Keyphrases

learning algorithm
learning process
active learning
learning tasks
learning problems
reinforcement learning
learning systems
first order logic
concept learning
propositional logic
training data
computational complexity
np hard