SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -.

Sophie Tourret Andrew Cropper

Published in: CoRR (2019)

Keyphrases

technical report
higher order
np hard
high order
low resolution
consequence finding
high resolution
relational databases
website
artificial intelligence
sampling rate
higher resolution
expert systems
reduction method
knowledge compilation
genetic algorithm
horizontal fragmentation
horn theories
neural network