Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs Conference Paper uri icon

start page

  • 358

end page

  • 363