Prof. Dr. Armin Fiedler
FB Mathematik, Informatik, Technik, Hochschule Koblenz
- 02642/932-480
- 02642/905440-480
H. Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin et al.
Proof Development with Omega-MEGA: sqrt(2) Is Irrational.Baaz, Matthias; Voronkov, Andrei (Hrsg). LPAR. Berlin: Springer 2002 S. 367 - 387 (Lecture Notes in Computer Science ; 2514)
H. Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir et al.
Proof Development with OMEGA.Voronkov, Andrei (Hrsg). CADE. Berlin: Springer 2002 S. 144 - 149 (Lecture Notes in Computer Science ; 2392)
Fiedler, Armin; Horacek, Helmut
Argumentation in Explanations to Logical Problems.International Conference on Computational Science (1). Berlin: Springer 2001 S. 969 - 978 (Lecture notes in computer science ; 2073)
Fiedler, Armin
Dialog-driven Adaptation of Explanations of Proofs.Nebel, Bernhard (Hrsg). IJCAI. San Francisco, Calif.: Morgan Kaufman 2001 S. 1295 - 1300
Fiedler, Armin
P.rex : An Interactive Proof ExplainerGoré, Rajeev; Leitsch, Alexander; Nipkow, Tobias (Hrsg). Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings. Berlin: Springer 2001 S. 416 - 420 (Lecture Notes in Computer Science (LNCS) ; 2083)
Fiedler, Armin
User-adaptive proof explanationSaarbrücken: universaar 2001 233 Seiten
Fiedler, Armin
Determining and Structuring the Content of Presentations of Proofs in Natural LanguageMcAllester, David (Hrsg). Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction ; June 17-20, 2000 ; Proceedings. Pittsburgh, PA, USA. 2000 S. 41 - 51 Workshop: Automated Deduction in Education (Melis, Erica)
H. Siekmann, Jörg; M. Hess, Stephan; Benzmüller, Christoph et al.
<Omega>: ovely <Omega>MEGA ser nterface.Formal Aspects Comput. Bd. 11. H. 3. London: Springer 1999 S. 326 - 342
Fiedler, Armin
Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs.Dean, Thomas (Hrsg). IJCAI. San Francisco, Calif.: Morgan Kaufman 1999 S. 358 - 363
Fiedler, Armin
Ein Erfassungssystem für neurobiologische Messwerte von im Windkanal fliegenden HeuschreckenSaarbrücken: Universität des Saarlandes 1998 (Masterthesis)