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