Definable closure in randomizations.

Uri Andrews Isaac Goldbring H. Jerome Keisler

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

first order logic
answer sets
strictly convex
database systems
neural network
information retrieval
genetic algorithm
knowledge base
clustering algorithm
data structure
transitive closure
closure operator