Armin Fiedler

According to our database, Armin Fiedler authored at least 24 papers between 1996 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Ein hybrider Projektmanagementansatz für das regulierte Umfeld.

Katja Lorenz, Armin Fiedler, Tom Thaler

Proceedings of the Projektmanagement und Vorgehensmodelle 2016: Arbeiten in hybriden Projekten: Das Sowohl-als-auch von Stabilität und Dynamik, 2016

2007

Argumentation within deductive reasoning.

Armin Fiedler, Helmut Horacek

Int. J. Intell. Syst., 2007

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.

Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Omega.

Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

2005

Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity.

Serge Autexier, Armin Fiedler

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Natural Language Proof Explanation.

Armin Fiedler

Proceedings of the Mechanizing Mathematical Reasoning, 2005

Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting.

Armin Fiedler, Dimitra Tsovaltzi

Proceedings of the Artificial Intelligence in Education, 2005

2004

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 Benzmüller

Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

A Multi-dimensional Taxonomy for Automating Hinting.

Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek

Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

Building Hint Specifications in an NL Tutorial System for Mathematics.

Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2003

Assertion-level Proof Representation with Under-Specification.

Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo

Proceedings of the Mathematical Knowledge Management Symposium, 2003

2002

Proof Development with Omega-MEGA: sqrt(2) Is Irrational.

Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet

Proceedings of the Logic for Programming, 2002

Proof Development with OMEGA.

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

Proceedings of the Automated Deduction, 2002

2001

User-adaptive proof explanation.

Armin Fiedler

PhD thesis, 2001

Dialog-driven Adaptation of Explanations of Proofs.

Armin Fiedler

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Argumentation in Explanations to Logical Problems.

Armin Fiedler, Helmut Horacek

Proceedings of the Computational Science - ICCS 2001, 2001

P.rex: An Interactive Proof Explainer.

Armin Fiedler

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1999

<i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface.

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

Formal Aspects Comput., 1999

Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs.

Armin Fiedler

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs.

Armin Fiedler

Proceedings of the Ninth International Workshop on Natural Language Generation, 1998

1997

Proof Verbalization as an Application of NLG.

Xiaorong Huang, Armin Fiedler

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Omega: Towards a Mathematical Assistant.

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

Proceedings of the Automated Deduction, 1997

1996

Paraphrasing and Aggregating Argumentative Texts Using Text Structure.

Xiaorong Huang, Armin Fiedler

Proceedings of the Eighth International Natural Language Generation Workshop, 1996

Presenting Machine-Found Proofs.

Xiaorong Huang, Armin Fiedler

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996