Sign in
Going Far, Logically.
Fusun Yaman
Dana S. Nau
V. S. Subrahmanian
Published in:
IJCAI (2005)
Keyphrases
</>
machine learning
information retrieval
association rules
itemsets
theorem proving