Armin Fiedler

Publication Activity (10 Years)

Years Active: 1996-2016
Publications (10 Years): 1

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Katja Lorenz, Armin Fiedler, Tom Thaler
Ein hybrider Projektmanagementansatz für das regulierte Umfeld. Vorgehensmodelle (2016)
Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM (2007)
Armin Fiedler, Helmut Horacek
Argumentation within deductive reasoning. Int. J. Intell. Syst. 22 (1) (2007)
Serge Autexier, Armin Fiedler
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM (2005)
Armin Fiedler, Dimitra Tsovaltzi
Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting. AIED (2005)
Armin Fiedler
Natural Language Proof Explanation. Mechanizing Mathematical Reasoning (2005)
Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
Assertion-level Proof Representation with Under-Specification. Electron. Notes Theor. Comput. Sci. 93 (2004)
Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. LREC (2004)
Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek
A Multi-dimensional Taxonomy for Automating Hinting. Intelligent Tutoring Systems (2004)
Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler
Building Hint Specifications in an NL Tutorial System for Mathematics. FLAIRS Conference (2004)
Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR (2002)
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)
Armin Fiedler
Dialog-driven Adaptation of Explanations of Proofs. IJCAI (2001)
Armin Fiedler
P.rex: An Interactive Proof Explainer. IJCAR (2001)
Armin Fiedler, Helmut Horacek
Argumentation in Explanations to Logical Problems. International Conference on Computational Science (1) (2001)
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
nterface. Formal Aspects Comput. 11 (3) (1999)
Armin Fiedler
Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. IJCAI (1999)
Armin Fiedler
Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs. INLG (1998)
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)
Xiaorong Huang, Armin Fiedler
Proof Verbalization as an Application of NLG. IJCAI (2) (1997)
Xiaorong Huang, Armin Fiedler
Paraphrasing and Aggregating Argumentative Texts Using Text Structure. INLG (1) (1996)
Xiaorong Huang, Armin Fiedler
Presenting Machine-Found Proofs. CADE (1996)

Armin Fiedler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Armin Fiedler