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.

@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},
}