Prof. Dr. Armin Fiedler
FB Mathematik, Informatik, Technik, Hochschule Koblenz
- 02642/932-480
- 02642/905440-480
H. Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir et al.
Proof Development with OMEGAVoronkov, Andrei (Hrsg). Automated deduction : proceedings ; CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30. Berlin: Springer 2002 S. 144 - 149 (Lecture Notes in Computer Science ; 2392)
H. Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin et al.
Proof Development with Omega-MEGA : √2 Is IrrationalBaaz, Matthias; Voronkov, Andrei (Hrsg). Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings / LPAR 2002, Tbilisi, Georgia, October 14 - 18. Berlin: Springer 2002 S. 367 - 387 (Lecture Notes in Computer Science ; 2514)
Fiedler, Armin; Horacek, Helmut
Argumentation in Explanations to Logical ProblemsComputational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I. Berlin: Springer 2001 S. 969 - 978 (Lecture notes in computer science ; 2073)
Fiedler, Armin
Dialog-driven Adaptation of Explanations of ProofsNebel, Bernhard (Hrsg). Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10. 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.
LΩUI: Lovely ΩMEGA User InterfaceFormal 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 ProofsDean, Thomas (Hrsg). Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 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)