Classical automated theorem proving of today is based on ingenious search techniques to
find a proof for a given theorem in very large search spaces—often in the range of several …

Discourse in formal domains, such as mathematics, is characterized by a mixture of
telegraphic natural language and embedded (semi-) formal symbolic mathematical …

Our goal is to develop a flexible dialog system for tutoring mathematical problem solving.
Empirical findings in the area of intelligent tutoring show that flexible natural language …

Many e-Learning practices don't care about learner's motivation. There are elements
showing that this is an important factor in learner's success and that a lack of motivation …

Au cours des dernières années, le système scolaire québécois impose une pression
croissante sur les enseignants. En effet, ceux-ci doivent gérer des classes de plus en plus …

Hints are an important ingredient of natural language tutorial dialogues. Existing models of
hints, however, are limited in capturing their various underlying functions, since hints are …

We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in
mathematics and engineering. Its interface is based on a structural wysiwyg editor which …

In tutorial systems, effective progress in teaching the problem-solving target is frequently
hindered by expressive sloppiness and low-level errors made by the student, especially in …

We study challenges that are imposed to mathematical domain reasoning in the context of
natural language tutorial dialog on mathematical proofs. The focus is on proof step …

Wizard-of-Oz techniques are an important method for collecting data about the behavior of
students in tutorial dialogues with computers, especially when the interaction is done in …