Armin Fiedler

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Ein hybrider Projektmanagementansatz für das regulierte Umfeld.
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.
Int. J. Intell. Syst., 2007

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006
Omega.
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.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Natural Language Proof Explanation.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting.
Proceedings of the Artificial Intelligence in Education, 2005

2004
Assertion-level Proof Representation with Under-Specification.
Electr. Notes Theor. Comput. Sci., 2004

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving.
Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

A Multi-dimensional Taxonomy for Automating Hinting.
Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

Building Hint Specifications in an NL Tutorial System for Mathematics.
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2002
Proof Development with Omega-MEGA: sqrt(2) Is Irrational.
Proceedings of the Logic for Programming, 2002


2001
User-adaptive proof explanation.
PhD thesis, 2001

Dialog-driven Adaptation of Explanations of Proofs.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Argumentation in Explanations to Logical Problems.
Proceedings of the Computational Science - ICCS 2001, 2001

P.rex: An Interactive Proof Explainer.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1999
LUI: Lovely MEGA User Interface.
Formal Asp. Comput., 1999

Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs.
Proceedings of the Ninth International Workshop on Natural Language Generation, 1998

1997
Proof Verbalization as an Application of NLG.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997


1996
Paraphrasing and Aggregating Argumentative Texts Using Text Structure.
Proceedings of the Eighth International Natural Language Generation Workshop, 1996

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


  Loading...