-classifications for definable subsets.

Svetlana Aleksandrova Nikolay Bazhenov Maxim V. Zubkov

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

Keyphrases

first order logic
transitive closure
neural network
artificial intelligence
data mining
learning algorithm
pattern recognition
multiresolution
answer sets