Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs.

Armin Fiedler

Browse the full INLG paper archive.