On Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures.

Pantelis E. Eleftheriou Assaf Hasson Gil Keren

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

Keyphrases

first order logic
relational structures
data sets
functional properties
expressive power
complex structures
transitive closure
neural network
knowledge representation
situation calculus