Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories.

George Weaver David Lippel

Published in: Stud Logica (1998)

Keyphrases

machine learning
real world
search algorithm
automatic classification
information retrieval
social networks
face recognition
training data
theoretical framework
finite number
cognitive psychology
defeasible logic
formal models
design theory
legal knowledge