Login / Signup

On ultrafilter extensions of first-order models and ultrafilter interpretations.

Nikolai L. PoliakovDenis I. Saveliev
Published in: Arch. Math. Log. (2021)
Keyphrases
  • model selection
  • neural network
  • probabilistic model
  • statistical model
  • databases
  • real world
  • knowledge base
  • clustering algorithm
  • multi agent
  • prior knowledge
  • complex systems
  • first order logic