Login / Signup

A New Subsumption Method in the Connection Graph Proof Procedure.

Byeong Man KimJung Wan Cho
Published in: Theor. Comput. Sci. (1992)
Keyphrases
  • objective function
  • probabilistic model
  • machine learning
  • logic programs
  • xml data