lazyCoP: Lazy Paramodulation Meets Neurally Guided Search.

Michael Rawson Giles Reger

Published in: TABLEAUX (2021)

Keyphrases

real world
inference rules
computational neuroscience
theorem proving
data mining
information retrieval
artificial intelligence
lazy learning
neural network
feature extraction
viewpoint
first order logic
modal logic
averaged one dependence estimators