Armin Fiedler

25 papers A* 2A 5B 4Misc 2Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Towards Practical Near-Fall Detection: Optimising Wearable Sensor Configurations by Strategic Reduction and Deep Learning.
HCI (83)
Moritz Schneider, Kevin Reich, Armin Fiedler, Udo Frese
2024 J jnl
Acquisition of Data on Kinematic Responses to Unpredictable Gait Perturbations: Collection and Quality Assurance of Data for Use in Machine Learning Algorithms for (Near-)Fall Detection.
Sensors
Moritz Schneider, Kevin Reich, Ulrich Hartmann, Ingo Hermanns, Mirko Kaufmann, Annette Kluge, Armin Fiedler, Udo Frese, Rolf P. Ellegast
2016 — conf
Ein hybrider Projektmanagementansatz für das regulierte Umfeld.
PVM
Katja Lorenz, Armin Fiedler, Tom Thaler
2007 J jnl
Argumentation within deductive reasoning.
Int. J. Intell. Syst.
Armin Fiedler, Helmut Horacek
2007 — conf
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.
Calculemus/MKM
Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
2006 — ch.
Omega.
The Seventeen Provers of the World
Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
2005 A conf
Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting.
AIED
Armin Fiedler, Dimitra Tsovaltzi
2005 — conf
Natural Language Proof Explanation.
Mechanizing Mathematical Reasoning
Armin Fiedler
2005 — conf
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity.
MKM
Serge Autexier, Armin Fiedler
2004 B conf
A Multi-dimensional Taxonomy for Automating Hinting.
Intelligent Tutoring Systems
Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek
2004 B conf
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving.
LREC
Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller
2004 Misc conf
Building Hint Specifications in an NL Tutorial System for Mathematics.
FLAIRS
Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler
2003 — conf
Assertion-level Proof Representation with Under-Specification.
MKM Symposium
Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
2002 A conf
Proof Development with OMEGA.
CADE
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
2002 B conf
Proof Development with Omega-MEGA: sqrt(2) Is Irrational.
LPAR
Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
2001 Misc conf
Argumentation in Explanations to Logical Problems.
International Conference on Computational Science (1)
Armin Fiedler, Helmut Horacek
2001 A* conf
Dialog-driven Adaptation of Explanations of Proofs.
IJCAI
Armin Fiedler
2001 A conf
P.rex: An Interactive Proof Explainer.
IJCAR
Armin Fiedler
2001 — —
User-adaptive proof explanation.
Armin Fiedler
1999 A* conf
Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs.
IJCAI
Armin Fiedler
1998 B conf
Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs.
INLG
Armin Fiedler
1997 A conf
Omega: Towards a Mathematical Assistant.
CADE
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
1997 — conf
Proof Verbalization as an Application of NLG.
IJCAI (2)
Xiaorong Huang, Armin Fiedler
1996 — conf
Paraphrasing and Aggregating Argumentative Texts Using Text Structure.
INLG (1)
Xiaorong Huang, Armin Fiedler
1996 A conf
Presenting Machine-Found Proofs.
CADE
Xiaorong Huang, Armin Fiedler