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.
@inproceedings{Fiedler01:1, title = {Dialog-driven Adaptation of Explanations of Proofs}, author = {Armin Fiedler}, year = {2001}, researchr = {https://researchr.org/publication/Fiedler01%3A1}, cites = {0}, citedby = {0}, pages = {1295-1300}, booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001}, editor = {Bernhard Nebel}, publisher = {Morgan Kaufmann}, isbn = {1-55860-777-3}, }