Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Prof. Dr. Armin Fiedler

FB Mathematik und Technik, Hochschule Koblenz

Joseph-Rovan-Allee 2, 53424 Remagen

  • 02642/932-480
  • 02642/905440-480
Publikationen
Ergebnisse pro Seite:  10

Wolska, Magdalena; Vo, Bao Quoc; Tsovaltzi, Dimitra et al.

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving

Lino, 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-Specification

Electronic 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 Mathematics

Barr, 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 Purposes

Cybernetics 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 Mathematics

Aleven, 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 System

AIED 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 Dialogue

Proceedings 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 Proofs

DiaBruck 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 √2

Kamareddine, 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 Omega

SEKI-Report. Bd. 2001. Bremen: DFKI 2002 S. 1 - 103 SR-02-03