Dialog-driven Adaptation of Explanations of Proofs

Armin Fiedler. Dialog-driven Adaptation of Explanations of Proofs. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 1295-1300, Morgan Kaufmann, 2001.

Abstract

Abstract is missing.