SLD-Resolution Reduction of Second-Order Horn Fragments.

Sophie Tourret Andrew Cropper

Published in: JELIA (2019)

Keyphrases

np hard
higher order
low resolution
high resolution
data sets
feature selection
information retrieval
neural network
databases
database
high order
higher resolution
consequence finding
expert systems
logic programs
reduction method
horn theories