Adaptation of Declaratively Represented Methods in Proof Planning.

Xiaorong Huang Manfred Kerber Lassaad Cheikhrouhou

Published in: Ann. Math. Artif. Intell. (1998)

Keyphrases

reinforcement learning
artificial intelligence
multimedia
pattern recognition
natural language
proof planning