dblp.uni-trier.dewww.uni-trier.de

Armin Fiedler Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
19EESerge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner: Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM 2007: 176-190
18EEArmin Fiedler, Helmut Horacek: Argumentation within deductive reasoning. Int. J. Intell. Syst. 22(1): 49-70 (2007)
2006
17EEChristoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
2005
16 Armin Fiedler, Dimitra Tsovaltzi: Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting. AIED 2005: 801-803
15EESerge Autexier, Armin Fiedler: Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM 2005: 96-110
14EEArmin Fiedler: Natural Language Proof Explanation. Mechanizing Mathematical Reasoning 2005: 342-363
2004
13 Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler: Building Hint Specifications in an NL Tutorial System for Mathematics. FLAIRS Conference 2004
12EEDimitra Tsovaltzi, Armin Fiedler, Helmut Horacek: A Multi-dimensional Taxonomy for Automating Hinting. Intelligent Tutoring Systems 2004: 772-781
11EESerge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo: Assertion-level Proof Representation with Under-Specification. Electr. Notes Theor. Comput. Sci. 93: 5-23 (2004)
2002
10EEJö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. CADE 2002: 144-149
9EEJörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet: Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR 2002: 367-387
2001
8 Armin Fiedler: Dialog-driven Adaptation of Explanations of Proofs. IJCAI 2001: 1295-1300
7EEArmin Fiedler: P.rex: An Interactive Proof Explainer. IJCAR 2001: 416-420
6EEArmin Fiedler, Helmut Horacek: Argumentation in Explanations to Logical Problems. International Conference on Computational Science (1) 2001: 969-978
1999
5 Armin Fiedler: Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. IJCAI 1999: 358-363
4EEJö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. Formal Asp. Comput. 11(3): 326-342 (1999)
1997
3EEChristoph 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. CADE 1997: 252-255
2 Xiaorong Huang, Armin Fiedler: Proof Verbalization as an Application of NLG. IJCAI (2) 1997: 965-972
1996
1EEXiaorong Huang, Armin Fiedler: Presenting Machine-Found Proofs. CADE 1996: 221-225

Coauthor Index

1Serge Autexier [11] [15] [19]
2Christoph Benzmüller (Christoph Benzmueller) [3] [4] [9] [10] [11] [17]
3Vladimir Brezhnev [10]
4Lassaad Cheikhrouhou [3] [4] [10]
5Detlef Fehrer [3]
6Andreas Franke [10]
7Stephan M. Hess [4]
8Helmut Horacek [4] [6] [10] [11] [12] [13] [18]
9Xiaorong Huang [1] [2] [3]
10Manfred Kerber [3]
11Michael Kohlhase [3] [4] [10]
12Karsten Konrad [3] [4]
13Andreas Meier [3] [4] [9] [10] [17]
14Erica Melis [3] [4] [10]
15Markus Moschner [10]
16Thomas Neumann [19]
17Immanuel Normann [10]
18Martin Pollet [4] [9] [10] [17]
19Wolf Schaarschmidt [3]
20Jörg H. Siekmann [3] [4] [9] [10] [17]
21Volker Sorge [3] [4] [10]
22Dimitra Tsovaltzi [12] [13] [16]
23Carsten Ullrich [10]
24Quoc Bao Vo [11]
25Marc Wagner [19]
26Claus-Peter Wirth [10]
27Jürgen Zimmer [10]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)