Login / Signup
Concepts in Proof Planning.
Erica Melis
Jörg H. Siekmann
Published in:
Intellectics and Computational Logic (2000)
Keyphrases
</>
proof planning
concept formation
theorem proving
building intelligent
concept learning
data mining
machine learning
artificial intelligence
knowledge base
expert systems
search space
probabilistic model
scheduling problem