Single Axioms for Groups.

Published in: J. Autom. Reason. (1992)

Keyphrases

first order logic
knowledge base
three dimensional
data mining
information retrieval
multimedia
natural language
multiresolution
user groups