Login / Signup

Explanation as Unification.

Gerhard Schurz
Published in: Synth. (1999)
Keyphrases
  • higher order
  • generating explanations
  • theorem proving
  • data sets
  • automated theorem proving
  • database
  • databases
  • three dimensional
  • lower bound
  • np hard
  • explanation based learning
  • abductive reasoning
  • counter intuitive