Local reflection, definable elements and 1-provability.

Evgeny Kolmakov

Published in: Arch. Math. Log. (2020)

Keyphrases

first order logic
genetic algorithm
social networks
data exchange
data sets
neural network
real world
machine learning
learning environment
information technology
answer sets
transitive closure