Set theoretical analogues of the Barwise-Schlipf theorem.

Published in: Ann. Pure Appl. Log. (2022)

Keyphrases

small number
information flow
probability distribution
finite number
database
real time
real world
learning algorithm
knowledge base
expert systems