Instructing Equational Set-Reasoning with Otter.

Andrea Formisano Eugenio G. Omodeo Marco Temperini

Published in: IJCAR (2001)

Keyphrases

probability distribution
small number
neural network
knowledge representation
hierarchical structure
database
information retrieval
search engine
knowledge base
domain knowledge