Prof. Dr. Armin Fiedler - Publikationen

Lorenz, Katja; Fiedler, Armin; Thaler, Tom
Ein hybrider Projektmanagementansatz für das regulierte Umfeld
Engstler, Martin; Fazal-Baqaie, Masud; Hanser, Eckhart; Linssen, Oliver; Mikusz, Martin; Volland, Alexander (Hrsg). Projektmanagement und Vorgehensmodelle 2016 : PVM 2016, Arbeiten in hybriden Projekten: das Sowohl-als-auch von Stabilität und Dynamik : gemeinsame Tagung der Fachgruppen Projektmanagement (WI-PM) und Vorgehensmodelle (WI-VM) im Fachgebiet Wirtschaftsinformatik der Gesellschaft für Informatik e.V., 6. und 7. Oktober 2016 in Paderborn. Bonn: Gesellschaft für Informatik e.V. 2016 S. 69 - 78 (Gesellschaft für Informatik: GI-Edition / Proceedings ; Volume 263)

Fiedler, Armin; Horacek, Helmut
Argumentation within deductive reasoning.
Int. J. Intell. Syst. Bd. 22. H. 1. New York: Wiley 2007 S. 49 - 70

Autexier, Serge; Fiedler, Armin; Neumann, Thomas et al.
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
Kauers, Manuel; Kerber, Manfred; Miner, Robert; Windsteiger, Wolfgang (Hrsg). Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Berlin: Springer 2007 S. 176 - 190 (Lecture Notes in Computer Science book series (LNCS) ; 4573)

Autexier, Serge; Fiedler, Armin
Textbook Proofs Meet Formal Logic : The Problem of Underspecification and Granularity
Kohlhase, Michael (Hrsg). Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Berlin: Springer 2006 S. 96 - 110 (Lecture Notes in Computer Science (LNCS) ; 3863 / Lecture Notes in Artificial Intelligence (LNAI) ; 3863)

Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas et al.
Ωmega
Wiedijk, Freek (Hrsg). The seventeen provers of the world. Berlin: Springer 2006 S. 127 - 141 (Lecture notes in computer science ; Vol. 3600 : Lecture notes in artificial intelligence)

Fiedler, Armin; Tsovaltzi, Dimitra
Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting.
AIED. Amsterdam: IOS Press 2005 S. 801 - 803

Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin et al.
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor
User Interfaces for Theorem Provers (UITP) : 9th April 2005. Edinburgh, Scotland. 2005 24 S.

Fiedler, Armin
Natural Language Proof Explanation
Hutter, Dieter; Stephan, Werner (Hrsg). Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Berlin: Springer 2005 S. 342 - 363 (Lecture Notes in Computer Science (LNCS) ; 2605 / Lecture Notes in Artificial Intelligence (LNAI) ; 2605)

Tsovaltzi, Dimitra; Fiedler, Armin; Horacek, Helmut
A Multi-dimensional Taxonomy for Automating Hinting
Lester, James C.; Vicari, Rosa Maria; Paraguaçu, Fábio (Hrsg). Intelligent Tutoring Systems : 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004. Proceedings. Berlin: Springer 2004 S. 772 - 781 (Lecture Notes in Computer Science (LNCS) ; 3220)

Fiedler, Armin; Gabsdil, Malte; Horacek, Helmut
A Tool for Supporting Progressive Refinement of Wizard-of-Oz Experiments in Natural Language
Lester, James C.; Vicari, Rosa Maria; Paraguaçu, Fábio (Hrsg). Intelligent Tutoring Systems : 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004. Proceedings. Berlin: Springer 2004 S. 325 - 335 (Lecture Notes in Computer Science (LNCS) ; 3220)

Wolska, Magdalena; Vo, Bao Quoc; Tsovaltzi, Dimitra et al.
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving
Lino, Maria Teresa; Xavier, Maria Francisca; Ferreira, Fátima; Costa, Rute; Silva, Raquel (Hrsg). Proceedings of the Fourth International Conference on Language Resources and Evaluation : LREC’04 ; 26 May - 28 May 2004, Lisbon, Portugal. Lisbon: European Language Resources Association (ELRA) 2004 S. 1007 - 1010

Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin et al.
Assertion-level Proof Representation with Under-Specification
Electronic Notes in Theoretical Computer Science : ENTCS. Bd. 93. Amsterdam: Elsevier 2004 S. 5 - 23

Tsovaltzi, Dimitra; Horacek, Helmut; Fiedler, Armin
Building Hint Specifications in an NL Tutorial System for Mathematics.
Barr, Valerie; Markov, Zdravko (Hrsg). FLAIRS. Menlo Park, Calif.: AAAI Press 2004 S. 929 - 934

Fiedler, Armin; Horacek, Helmut; Franke, Andreas et al.
Representation of Mathematical Concepts for Inferencing and for Presentation Purposes
Cybernetics and systems 2004 : proceedings of the Seventeenth European Meeting on Cybernetics and Systems Research, .̤ held at the University of Vienna, Austria, 13 - 16 April 2004 / organized by the Austrian Society for Cybernetic Studies. Ed. by Robert Trappl ; Vol. 2. Vienna: Austrian Society for Cybernetic Studies 2004 S. 683 - 688

Benzmüller, Christoph; Fiedler, Armin; Gabsdil, Malte et al.
A Wizard-of-Oz Experiment for Tutorial Dialogues in Mathematics
Aleven, Vincent (Hrsg). AIED 2003 : Supplementary Proceedings of the 11th International Conference on Artificial Intelligence in Education. Sydney: Univ. of Sydney 2003 S. 471 - 481

Fiedler, Armin; Tsovaltzi, Dimitra
An Approach to Facilitating Reflection in a Mathematics Tutoring System
AIED 2003 : supplementary proceedings [of the 11th international conference on artificial intelligence in education, Sydney, Australia, July 20-24, 2003. Sydney: Univ. of Sydney 2003 S. 278 - 287

Fiedler, Armin; Tsovaltzi, Dimitra
Automating Hinting in Mathematical Tutorial Dialogue
Proceedings of the 2003 EACL Workshop on Dialogue Systems : interaction, adaptation and styes of management ; 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL) ; April 12th - 17th 2003, Agro Hotel, Budapest, Hungary. East Stroudsburg, PA. 2003 S. 45 - 52

Benzmüller, Christoph; Fiedler, Armin; Gabsdil, Malte et al.
Language Phenomena in Tutorial Dialogs on Mathematical Proofs
DiaBruck 2003 : proceedings of the 7th workshop on The semantics and pragmatics of dialogue ; 4-6 September 2003, Wallerfangen. Wallerfangen: Universität des Saarlandes 2003 S. 165 - 166

Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin et al.
Proof Development with Ωmega : The Irrationality of √2
Kamareddine, Fairouz D. (Hrsg). Thirty Five Years of Automating Mathematics. Dordrecht: Springer 2003 S. 271 - 314 (Applied Logic Series ; 28)

Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas et al.
Irrationality of √2 : A Case Study in Omega
SEKI-Report. Bd. 2001. Bremen: DFKI 2002 S. 1 - 103 SR-02-03

H. Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin et al.
Proof Development with Omega-MEGA: sqrt(2) Is Irrational.
Baaz, Matthias; Voronkov, Andrei (Hrsg). LPAR. Berlin: Springer 2002 S. 367 - 387 (Lecture Notes in Computer Science ; 2514)

H. Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir et al.
Proof Development with OMEGA.
Voronkov, Andrei (Hrsg). CADE. Berlin: Springer 2002 S. 144 - 149 (Lecture Notes in Computer Science ; 2392)

Fiedler, Armin; Horacek, Helmut
Argumentation in Explanations to Logical Problems.
International Conference on Computational Science (1). Berlin: Springer 2001 S. 969 - 978 (Lecture notes in computer science ; 2073)

Fiedler, Armin
Dialog-driven Adaptation of Explanations of Proofs.
Nebel, Bernhard (Hrsg). IJCAI. San Francisco, Calif.: Morgan Kaufman 2001 S. 1295 - 1300

Fiedler, Armin
P.rex : An Interactive Proof Explainer
Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias (Hrsg). Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings. Berlin: Springer 2001 S. 416 - 420 (Lecture Notes in Computer Science (LNCS) ; 2083)

Fiedler, Armin
User-adaptive proof explanation
Saarbrücken: universaar 2001 233 Seiten

Fiedler, Armin
Determining and Structuring the Content of Presentations of Proofs in Natural Language
McAllester, David (Hrsg). Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction ; June 17-20, 2000 ; Proceedings. Pittsburgh, PA, USA. 2000 S. 41 - 51 Workshop: Automated Deduction in Education (Melis, Erica)

H. Siekmann, Jörg; M. Hess, Stephan; Benzmüller, Christoph et al.
<Omega>: ovely <Omega>MEGA ser nterface.
Formal Aspects Comput. Bd. 11. H. 3. London: Springer 1999 S. 326 - 342

Fiedler, Armin
Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs.
Dean, Thomas (Hrsg). IJCAI. San Francisco, Calif.: Morgan Kaufman 1999 S. 358 - 363

Fiedler, Armin
Ein Erfassungssystem für neurobiologische Messwerte von im Windkanal fliegenden Heuschrecken
Saarbrücken: Universität des Saarlandes 1998 (Masterthesis)

Siekmann, Jörg; Hess, Stephan; Benzmüller, Christoph et al.
LΩUI : A Distributed Graphical User Interface for the Interactive Proof System Ωmega
Proceedings of the International Workshop "User Interfaces for Theorem Provers 1998 (UITP'98). Saarbrücken. 1998 S. 130 - 138

Fiedler, Armin
Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs.
INLG. 1998 S. 88 - 97

Huang, Xiaorong; Fiedler, Armin
Proof Verbalization as an Application of NLG.
IJCAI (2). San Francisco, Calif.: Morgan Kaufmann 1997 S. 965 - 972

Fiedler, Armin; Huang, Xiaorong
PROVERB : Verbalizing Proofs
DFKI Workshop on Natural Language Generation : Wednesday, April 23, 1997 ; Bananensaal, Raum 1.01, DFKI Saarbrücken. Saarbrücken. 1997 S. 35 - 41

Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef et al.
Ωmega: Towards a mathematical assistant
McCune, William (Hrsg). Automated Deduction — CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Berlin: Springer 1997 S. 252 - 255 (Lecture Notes in Computer Science (LNCS) ; 1249)

Fiedler, Armin
Mikroplanungstechniken zur Präsentation mathematischer Beweise
Saarbrücken: Fachbereich Informatik; Universität des Saarlandes 1996 103 S.

Huang, Xiaorong; Fiedler, Armin
Paraphrasing and Aggregating Argumentative Texts Using Text Structure.
INLG (1). o.A. 1996 S. 21 - 30

Huang, Xiaorong; Fiedler, Armin
Presenting Machine-Found Proofs.
McRobbie, Michael A. (Hrsg). CADE. Berlin: Springer 1996 S. 221 - 225 (Lecture Notes in Computer Science ; 1104)