Long-Distance Q-Resolution with Dependency Schemes.

Tomás Peitl Friedrich Slivovsky Stefan Szeider

Published in: J. Autom. Reason. (2019)

Keyphrases

similarity measure
long distance
mutual exclusion
high resolution
data sets
upper layer
sampling rate
neural network
machine learning
social networks
computer vision
image processing
evolutionary algorithm
rough sets
computer technology
consequence finding