Identifying logical evidence.

Published in: Synth. (2021)

Keyphrases

data sets
logical properties
database
neural network
data mining
cooperative
search algorithm
lower bound
mobile robot
empirical evidence
probabilistic logic