Search the dblp DataBase
Armin Fiedler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Armin Fiedler Natural Language Proof Explanation. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:342-363 [Conf ] 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 ] Armin Fiedler P.rex: An Interactive Proof Explainer. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:416-420 [Conf ] 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 ] Xiaorong Huang , Armin Fiedler Presenting Machine-Found Proofs. [Citation Graph (0, 0)][DBLP ] CADE, 1996, pp:221-225 [Conf ] 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 ] 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 ] Armin Fiedler Dialog-driven Adaptation of Explanations of Proofs. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:1295-1300 [Conf ] 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 ] Xiaorong Huang , Armin Fiedler Proof Verbalization as an Application of NLG. [Citation Graph (0, 0)][DBLP ] IJCAI (2), 1997, pp:965-972 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 : L ovely <Omega>MEGA U ser I nterface. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal ] 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 ] Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting. [Citation Graph (, )][DBLP ] Search in 0.069secs, Finished in 0.070secs