Proof planning Non-standard Analysis.

Ewen Maclean Jacques D. Fleuriot Alan Smaill

Published in: AI&M (2002)

Keyphrases

proof planning
machine learning
hidden markov models
natural language processing
knowledge base
knowledge representation
optimization problems