Login / Signup

Omitting uncountable types and the strength of [0, 1]-valued logics.

Xavier CaicedoJosé Iovino
Published in: Ann. Pure Appl. Log. (2014)
Keyphrases
  • machine learning
  • neural network
  • stable models
  • datalog programs