Armin Fiedler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
10
Active years
1996–2025
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HCI | Towards Practical Near-Fall Detection: Optimising Wearable Sensor Configurations by Strategic Reduction and Deep Learning. | Moritz Schneider, Kevin Reich, Armin Fiedler, Udo Frese |
| 2005 | AIED | Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting. | Armin Fiedler, Dimitra Tsovaltzi |
| 2004 | FlAIRS | Building Hint Specifications in an NL Tutorial System for Mathematics. | Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler |
| 2004 | ITS | A Multi-dimensional Taxonomy for Automating Hinting. | Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek |
| 2004 | LREC | An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. | Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayov, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmller |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, 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, Jrgen Zimmer |
| 2002 | LPAR | Proof Development with Omega-MEGA: sqrt(2) Is Irrational. | Jrg H. Siekmann, Christoph Benzmller, Armin Fiedler, Andreas Meier, Martin Pollet |
| 2001 | CADE | P.rex: An Interactive Proof Explainer. | Armin Fiedler |
| 2001 | ICCS | Argumentation in Explanations to Logical Problems. | Armin Fiedler, Helmut Horacek |
| 2001 | IJCAI | Dialog-driven Adaptation of Explanations of Proofs. | Armin Fiedler |
| 1999 | IJCAI | Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. | Armin Fiedler |
| 1998 | INLG | Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs. | Armin Fiedler |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |
| 1997 | IJCAI | Proof Verbalization as an Application of NLG. | Xiaorong Huang, Armin Fiedler |
| 1996 | CADE | Presenting Machine-Found Proofs. | Xiaorong Huang, Armin Fiedler |
| 1996 | INLG | Paraphrasing and Aggregating Argumentative Texts Using Text Structure. | Xiaorong Huang, Armin Fiedler |