A Note on Definable Skolem Functions.

Philip Scowcroft

Published in: J. Symb. Log. (1988)

Keyphrases

data model
first order logic
database
decision trees
expressive power
real time
computer vision
learning environment
knowledge representation
transitive closure