%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:42:55 +0100 GMT
%    
% Selection : Author: Dimitra_Tsovaltzi
%




@InProceedings{Tsovaltzi_Matheson:2002,
      AUTHOR = {Tsovaltzi, Dimitra and Matheson, Colin},
      TITLE = {Formalising Hinting in Tutorial Dialogues},
      YEAR = {2002},
      BOOKTITLE = {6th workshop on the semantics and pragmatics of dialogue (EDILOG 2002), September 4-6},
      PAGES = {185-192},
      EDITOR = {Bos, Johan and Foster, Mary Ellen and Matheson, Colin},
      ADDRESS = {University of Edinburgh, Scotland},
      URL = {http://www.ltg.ed.ac.uk/edilog/papers/185.pdf},
      ABSTRACT = {The formalisation of the hinting process in Tutorial Dialogues is undertaken in order to simulate the Socratic teaching method. An adaptation of the BE&E annotation scheme for Dialogue Moves, based on the theory of social obligations, is sketched, and a taxonomy of hints and a selection algorithm is suggested based on data from the BE&E corpus. Both the algorithm and the tutor's reasoning are formalised in the context of the information state theory of dialogue management developed on the trindi project. The algorithm is characterised using update rules which take into account the student model, and the tutor's reasoning process is described in terms of context accommodation.},
      ANNOTE = {Tsovaltzi:2002:FHT}
}

@InProceedings{Benzmüller_et_al:2003_1,
      AUTHOR = {Benzmüller, Christoph and Fiedler, Armin and Gabsdil, Malte and Horacek, Helmut and Korbayova, Ivana and Tsovaltzi, Dimitra and Vo, Bao Quoc and Wolska, Magdalena},
      TITLE = {Towards a Principled Approach to Tutoring Mathematical Proofs},
      YEAR = {2003},
      BOOKTITLE = {Proceedings of the KI-03 Workshop on Expressive Media and Intelligent Tools for Learning},
      EDITOR = {Harrer, Andreas and Gaßner, Katrin},
      ADDRESS = {Hamburg, Germany}
}