Search the dblp DataBase

Publications of Author

1. Armin Fiedler
   Natural Language Proof Explanation. [Citation Graph (0, 0)][DBLP]
   Mechanizing Mathematical Reasoning, 2005, pp:342-363 [Conf]
   
2. Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
   Omega: Towards a Mathematical Assistant. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:252-255 [Conf]
   
3. Armin Fiedler
   P.rex: An Interactive Proof Explainer. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2001, pp:416-420 [Conf]
   
4. Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
   Proof Development with OMEGA. [Citation Graph (0, 0)][DBLP]
   CADE, 2002, pp:144-149 [Conf]
   
5. Xiaorong Huang, Armin Fiedler
   Presenting Machine-Found Proofs. [Citation Graph (0, 0)][DBLP]
   CADE, 1996, pp:221-225 [Conf]
   
6. Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler
   Building Hint Specifications in an NL Tutorial System for Mathematics. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2004, pp:- [Conf]
   
7. Armin Fiedler, Helmut Horacek
   Argumentation in Explanations to Logical Problems. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (1), 2001, pp:969-978 [Conf]
   
8. Armin Fiedler
   Dialog-driven Adaptation of Explanations of Proofs. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2001, pp:1295-1300 [Conf]
   
9. Armin Fiedler
   Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1999, pp:358-363 [Conf]
   
10. Xiaorong Huang, Armin Fiedler
    Proof Verbalization as an Application of NLG. [Citation Graph (0, 0)][DBLP]
    IJCAI (2), 1997, pp:965-972 [Conf]
    
11. Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek
    A Multi-dimensional Taxonomy for Automating Hinting. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 2004, pp:772-781 [Conf]
    
12. Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
    Proof Development with Omega-MEGA: sqrt(2) Is Irrational. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:367-387 [Conf]
    
13. Serge Autexier, Armin Fiedler
    Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:96-110 [Conf]
    
14. Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
    Omega. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:127-141 [Conf]
    
15. Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
    Assertion-level Proof Representation with Under-Specification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:5-23 [Journal]
    
16. Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
    L<Omega>UI: Lovely <Omega>MEGA User Interface. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]
    
17. Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
    Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:176-190 [Conf]
    
18. 
    Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting. [Citation Graph (, )][DBLP]