Definable V-topologies, Henselianity and NIP.

Yatir Halevi Assaf Hasson Franziska Jahnke

Published in: J. Math. Log. (2020)

Keyphrases

data sets
answer sets
action theories
solving nonlinear
real time
neural network
information retrieval
artificial intelligence
evolutionary algorithm
query processing
data management
first order logic
situation calculus
fully connected