Ivana Kruijff-Korbayová (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

23 Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska: DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI 2006: 159-173

22 Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska: Natural Language Dialog with a Tutor System for Mathematical Proofs. Cognitive Systems 2005: 1-14

19 Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller: An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. LREC 2004

Selection of 3 from 30 records - Ivana Kruijff-Korbayová has 53 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

23		Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska: DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI 2006: 159-173
22		Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska: Natural Language Dialog with a Tutor System for Mathematical Proofs. Cognitive Systems 2005: 1-14
19		Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller: An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. LREC 2004