Login / Signup

First Order Theories of Some Lattices of Open Sets.

Oleg V. KudinovVictor L. Selivanov
Published in: Log. Methods Comput. Sci. (2017)
Keyphrases
  • theory revision
  • horn clauses
  • knowledge base
  • real numbers
  • data sets
  • higher order
  • neural network
  • website
  • databases
  • machine learning
  • first order logic
  • classical first order logic