Armin__Fiedler
Dialog-driven adaptation of explanations of proofs
Macroplanning with a cognitive architecture for the adaptive explanation of proofs
P.rex: An Interactive Proof Explainer
Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs