Login / Signup

Expansions of the real field by open sets: definability versus interpretability.

Harvey FriedmanKrzysztof KurdykaChris MillerPatrick Speissegger
Published in: J. Symb. Log. (2010)
Keyphrases
  • real life
  • propositional logic
  • fixed point
  • neural network
  • databases
  • artificial intelligence
  • database systems
  • image sequences
  • bayesian networks