Prof. Dr. Armin Fiedler
FB Mathematik, Informatik, Technik, Hochschule Koblenz
- 02642/932-480
- 02642/905440-480
Siekmann, Jörg; Hess, Stephan; Benzmüller, Christoph et al.
LΩUI : A Distributed Graphical User Interface for the Interactive Proof System ΩmegaProceedings of the International Workshop "User Interfaces for Theorem Provers 1998 (UITP'98). Saarbrücken. 1998 S. 130 - 138
Fiedler, Armin
Macroplanning with a Cognitive Architecture for the Adaptive Explanation of ProofsProceedings of the Ninth International Workshop on Natural Language Generation, INLG 1998, Niagara-on-the-Lake, Ontario, Canada, August 5-7, 1998. Bd. 1998. 1998 S. 88 - 97
Huang, Xiaorong; Fiedler, Armin
Proof Verbalization as an Application of NLGProceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997. San Francisco, Calif.: Morgan Kaufmann 1997 S. 965 - 972
Fiedler, Armin; Huang, Xiaorong
PROVERB : Verbalizing ProofsDFKI Workshop on Natural Language Generation : Wednesday, April 23, 1997 ; Bananensaal, Raum 1.01, DFKI Saarbrücken. Saarbrücken. 1997 S. 35 - 41
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef et al.
Ωmega: Towards a mathematical assistantMcCune, William (Hrsg). Automated Deduction — CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Berlin: Springer 1997 S. 252 - 255 (Lecture Notes in Computer Science (LNCS) ; 1249)
Fiedler, Armin
Mikroplanungstechniken zur Präsentation mathematischer BeweiseSaarbrücken: Fachbereich Informatik; Universität des Saarlandes 1996 103 S.
Huang, Xiaorong; Fiedler, Armin
Paraphrasing and Aggregating Argumentative Texts Using Text StructureEighth International Natural Language Generation Workshop : INLG ; Herstmonceux Castle, Sussex, UK, June 12-15, 1996. o.A. 1996 S. 21 - 30
Huang, Xiaorong; Fiedler, Armin
Presenting Machine-Found ProofsMcRobbie, Michael A. (Hrsg). Automated deduction : proceedings / CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Berlin: Springer 1996 S. 221 - 225 (Lecture Notes in Computer Science ; 1104)