Login / Signup

Generalized Earley Deduction and Its Correctness.

Clemens BecksteinMichelle Y. Kim
Published in: GWAI (1991)
Keyphrases
  • inference rules
  • theorem proving
  • machine learning
  • artificial intelligence
  • data sets
  • data structure
  • automated deduction