Prof. Dr. Armin Fiedler
FB Mathematik, Informatik, Technik, Hochschule Koblenz
- 02642/932-480
- 02642/905440-480
- fiedler@hs-koblenz.de
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 Proofs.INLG. 1998 S. 88 - 97
Huang, Xiaorong; Fiedler, Armin
Proof Verbalization as an Application of NLG.IJCAI (2). 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 Structure.INLG (1). o.A. 1996 S. 21 - 30
Huang, Xiaorong; Fiedler, Armin
Presenting Machine-Found Proofs.McRobbie, Michael A. (Hrsg). CADE. Berlin: Springer 1996 S. 221 - 225 (Lecture Notes in Computer Science ; 1104)
