The SCEAS System
Navigation Menu

Search the dblp DataBase


Armin Fiedler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.069secs, Finished in 0.070secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002