Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs.

Armin Fiedler

Browse the full IJCAI paper archive.