Login / Signup
Using Abduction to Compute Efficient Proofs.
Marcelo Finger
Published in:
LSFA (2008)
Keyphrases
</>
lightweight
neural network
cost effective
efficient computation
data sets
real world
knowledge base
artificial neural networks
prior knowledge
logic programming
theorem proving
abductive reasoning