Armin Fiedler

2007
19	EE	Serge 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
18	EE	Armin Fiedler, Helmut Horacek: Argumentation within deductive reasoning. Int. J. Intell. Syst. 22(1): 49-70 (2007)
2006
17	EE	Christoph 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
15	EE	Serge Autexier, Armin Fiedler: Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM 2005: 96-110
14	EE	Armin 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
12	EE	Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek: A Multi-dimensional Taxonomy for Automating Hinting. Intelligent Tutoring Systems 2004: 772-781
11	EE	Serge 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
10	EE	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. CADE 2002: 144-149
9	EE	Jö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
7	EE	Armin Fiedler: P.rex: An Interactive Proof Explainer. IJCAR 2001: 416-420
6	EE	Armin 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
4	EE	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. Formal Asp. Comput. 11(3): 326-342 (1999)
1997
3		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. CADE 1997: 252-255
2		Xiaorong Huang, Armin Fiedler: Proof Verbalization as an Application of NLG. IJCAI (2) 1997: 965-972
1996
1		Xiaorong Huang, Armin Fiedler: Presenting Machine-Found Proofs. CADE 1996: 221-225

Coauthor Index

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