-
1
-
-
10044236117
-
Tutorial dialogs on mathematical proofs
-
Acapulco
-
C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayová, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Vo, and M. Wolska. Tutorial dialogs on mathematical proofs. In Proceedings of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pages 12-22, Acapulco, 2003.
-
(2003)
Proceedings of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems
, pp. 12-22
-
-
Benzmüller, C.1
Fiedler, A.2
Gabsdil, M.3
Horacek, H.4
Kruijff- Korbayová, I.5
Pinkal, M.6
Siekmann, J.7
Tsovaltzi, D.8
Vo, B.9
Wolska, M.10
-
2
-
-
10044274877
-
A Wizard-of-Oz experiment for tutorial dialogues in mathematics
-
V. Aleven, U. Hoppe, J. Kay, R. Mizoguchi, H. Pain, F. Verdejo, and K. Yacef, editors, Sydney, Australia, School of Information Technologies, University of Sydney
-
C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Vo, and M. Wolska. A Wizard-of-Oz experiment for tutorial dialogues in mathematics. In V. Aleven, U. Hoppe, J. Kay, R. Mizoguchi, H. Pain, F. Verdejo, and K. Yacef, editors, AIED2003 Supplementary Proceedings, volume VIII: Advanced Technologies for Mathematics Education, pages 471-481, Sydney, Australia, 2003. School of Information Technologies, University of Sydney.
-
(2003)
AIED2003 Supplementary Proceedings, Volume VIII: Advanced Technologies for Mathematics Education
, vol.8
, pp. 471-481
-
-
Benzmüller, C.1
Fiedler, A.2
Gabsdil, M.3
Horacek, H.4
Kruijff-Korbayova, I.5
Pinkal, M.6
Siekmann, J.7
Tsovaltzi, D.8
Vo, B.9
Wolska, M.10
-
4
-
-
0000921640
-
Wizard of Oz Studies -Why and How
-
N. Dahlbäck, A. J̈nsson, and L. Ahrenberg. Wizard of Oz Studies -Why and How. Knowledge-Based Systems, 6(4):258-266, 1993.
-
(1993)
Knowledge-Based Systems
, vol.6
, Issue.4
, pp. 258-266
-
-
Dahlbäck, N.1
J̈nsson, A.2
Ahrenberg, L.3
-
6
-
-
0034442673
-
SUEDE: A Wizard of Oz Prototyping Tool for Speech User Interfaces
-
S. R. Klemmer, A. K. Sinha, J. Chen, J. A. Landay, N. Aboobaker, and A. Wang. SUEDE: A Wizard of Oz Prototyping Tool for Speech User Interfaces. In CHI Letters, The 13th Annual ACM Symposium on User Interface Software and Technology, volume 2, pages 1-10, 2000.
-
(2000)
CHI Letters, the 13th Annual ACM Symposium on User Interface Software and Technology
, vol.2
, pp. 1-10
-
-
Klemmer, S.R.1
Sinha, A.K.2
Chen, J.3
Landay, J.A.4
Aboobaker, N.5
Wang, A.6
-
9
-
-
84948980176
-
Proof development with ΩMEGA
-
A. Voronkov, editor, LNAI, Springer Verlag
-
J. Siekmann, C. Benzmüller,V. Brezhnev, L. Cheikhrouhou,A. Fiedler, A. Franke, H. Horacek, M. Kohlhase, A. Meier, E. Melis, M. Moschner, I. Normann, M. Pollet, V. Sorge, C. Ullrich, CP Wirth, and J. Zimmer. Proof development with ΩMEGA. In A. Voronkov, editor, Automated Deduction CADE-18, number 2392 in LNAI, pages 144-149. Springer Verlag, 2002.
-
(2002)
Automated Deduction CADE-18
, vol.2392
, pp. 144-149
-
-
Siekmann, J.1
Benzmüller, C.2
Brezhnev, V.3
Cheikhrouhou, L.4
Fiedler, A.5
Franke, A.6
Horacek, H.7
Kohlhase, M.8
Meier, A.9
Melis, E.10
Moschner, M.11
Normann, I.12
Pollet, M.13
Sorge, V.14
Ullrich, C.15
Wirth, C.P.16
Zimmer, J.17
-
11
-
-
0006292885
-
A Model of Dialogue Moves and Information State Revision
-
TRINDI
-
D. Traum, J. Bos, R. Cooper, S. Larsson, I. Lewin, C. Matheson, and M. Poesio. A Model of Dialogue Moves and Information State Revision. Technical Report Deliverable D2.1, TRINDI, 1999.
-
(1999)
Technical Report Deliverable D2.1
-
-
Traum, D.1
Bos, J.2
Cooper, R.3
Larsson, S.4
Lewin, I.5
Matheson, C.6
Poesio, M.7
|