Prof. Dr. Armin Fiedler
FB Mathematik, Informatik, Technik, Hochschule Koblenz
- 02642/932-480
- 02642/905440-480
Wolska, Magdalena; Vo, Bao Quoc; Tsovaltzi, Dimitra et al.
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem ProvingLino, Maria Teresa; Xavier, Maria Francisca; Ferreira, Fátima; Costa, Rute; Silva, Raquel (Hrsg). Proceedings of the Fourth International Conference on Language Resources and Evaluation : LREC’04 ; 26 May - 28 May 2004, Lisbon, Portugal. Lisbon: European Language Resources Association (ELRA) 2004 S. 1007 - 1010
Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin et al.
Assertion-level Proof Representation with Under-SpecificationElectronic Notes in Theoretical Computer Science : ENTCS. Bd. 93. Amsterdam: Elsevier 2004 S. 5 - 23
Tsovaltzi, Dimitra; Horacek, Helmut; Fiedler, Armin
Building Hint Specifications in an NL Tutorial System for MathematicsBarr, Valerie; Markov, Zdravko (Hrsg). Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference : Miami Beach, Florida, USA. Menlo Park, Calif.: AAAI Press 2004 S. 929 - 934
Fiedler, Armin; Horacek, Helmut; Franke, Andreas et al.
Representation of Mathematical Concepts for Inferencing and for Presentation PurposesCybernetics and systems 2004 : proceedings of the Seventeenth European Meeting on Cybernetics and Systems Research, .̤ held at the University of Vienna, Austria, 13 - 16 April 2004 / organized by the Austrian Society for Cybernetic Studies. Ed. by Robert Trappl ; Vol. 2. Vienna: Austrian Society for Cybernetic Studies 2004 S. 683 - 688
Benzmüller, Christoph; Fiedler, Armin; Gabsdil, Malte et al.
A Wizard-of-Oz Experiment for Tutorial Dialogues in MathematicsAleven, Vincent (Hrsg). AIED 2003 : Supplementary Proceedings of the 11th International Conference on Artificial Intelligence in Education. Sydney: Univ. of Sydney 2003 S. 471 - 481
Fiedler, Armin; Tsovaltzi, Dimitra
An Approach to Facilitating Reflection in a Mathematics Tutoring SystemAIED 2003 : supplementary proceedings [of the 11th international conference on artificial intelligence in education, Sydney, Australia, July 20-24, 2003. Sydney: Univ. of Sydney 2003 S. 278 - 287
Fiedler, Armin; Tsovaltzi, Dimitra
Automating Hinting in Mathematical Tutorial DialogueProceedings of the 2003 EACL Workshop on Dialogue Systems : interaction, adaptation and styes of management ; 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL) ; April 12th - 17th 2003, Agro Hotel, Budapest, Hungary. East Stroudsburg, PA. 2003 S. 45 - 52
Benzmüller, Christoph; Fiedler, Armin; Gabsdil, Malte et al.
Language Phenomena in Tutorial Dialogs on Mathematical ProofsDiaBruck 2003 : proceedings of the 7th workshop on The semantics and pragmatics of dialogue ; 4-6 September 2003, Wallerfangen. Wallerfangen: Universität des Saarlandes 2003 S. 165 - 166
Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin et al.
Proof Development with Ωmega : The Irrationality of √2Kamareddine, Fairouz D. (Hrsg). Thirty Five Years of Automating Mathematics. Dordrecht: Springer 2003 S. 271 - 314 (Applied Logic Series ; 28)
Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas et al.
Irrationality of √2 : A Case Study in OmegaSEKI-Report. Bd. 2001. Bremen: DFKI 2002 S. 1 - 103 SR-02-03