The Relevant Fragment of First order Logic.

Guillermo Badia

Published in: Rev. Symb. Log. (2016)

Keyphrases

closely related
pattern recognition
real time
data sets
databases
neural network
real world
case study
lower bound
mobile devices
multiresolution
finding relevant