Prof. Dr. Armin Fiedler
FB Mathematik und Technik, Hochschule Koblenz
- 02642/932-480
- 02642/905440-480
Lorenz, Katja; Fiedler, Armin; Thaler, Tom
Ein hybrider Projektmanagementansatz für das regulierte UmfeldEngstler, 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 reasoningInternational Journal of Intelligent Systems : IJIS. 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 SystemsKauers, 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 GranularityKohlhase, 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.
ΩmegaWiedijk, 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 HintingArtificial Intelligence in Education : Supporting Learning through Intelligent and Socially Informed Technology ; Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED 2005, July 18-22, 2005. 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 EditorUser Interfaces for Theorem Provers (UITP) : 9th April 2005. Edinburgh, Scotland. 2005 24 S.
Fiedler, Armin
Natural Language Proof ExplanationHutter, 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 HintingLester, 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 LanguageLester, 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 ProvingLino, 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-SpecificationElectronic 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 MathematicsBarr, Valerie; Markov, Zdravko (Hrsg). Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference : Miami Beach, Florida, USA. 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 PurposesCybernetics 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 MathematicsAleven, 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 SystemAIED 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 DialogueProceedings 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 ProofsDiaBruck 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 √2Kamareddine, 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 OmegaSEKI-Report. Bd. 2001. Bremen: DFKI 2002 S. 1 - 103 SR-02-03
H. Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir et al.
Proof Development with OMEGAVoronkov, Andrei (Hrsg). Automated deduction : proceedings ; CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30. Berlin: Springer 2002 S. 144 - 149 (Lecture Notes in Computer Science ; 2392)
H. Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin et al.
Proof Development with Omega-MEGA : √2 Is IrrationalBaaz, Matthias; Voronkov, Andrei (Hrsg). Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings / LPAR 2002, Tbilisi, Georgia, October 14 - 18. Berlin: Springer 2002 S. 367 - 387 (Lecture Notes in Computer Science ; 2514)
Fiedler, Armin; Horacek, Helmut
Argumentation in Explanations to Logical ProblemsComputational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I. Berlin: Springer 2001 S. 969 - 978 (Lecture notes in computer science ; 2073)
Fiedler, Armin
Dialog-driven Adaptation of Explanations of ProofsNebel, Bernhard (Hrsg). Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10. San Francisco, Calif.: Morgan Kaufman 2001 S. 1295 - 1300
Fiedler, Armin
P.rex : An Interactive Proof ExplainerGoré, 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 explanationSaarbrücken: universaar 2001 233 Seiten
Fiedler, Armin
Determining and Structuring the Content of Presentations of Proofs in Natural LanguageMcAllester, 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.
LΩUI: Lovely ΩMEGA User InterfaceFormal 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 ProofsDean, Thomas (Hrsg). Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. San Francisco, Calif.: Morgan Kaufman 1999 S. 358 - 363
Fiedler, Armin
Ein Erfassungssystem für neurobiologische Messwerte von im Windkanal fliegenden HeuschreckenSaarbrü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 ΩmegaProceedings 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 ProofsProceedings of the Ninth International Workshop on Natural Language Generation, INLG 1998, Niagara-on-the-Lake, Ontario, Canada, August 5-7, 1998. Bd. 1998. 1998 S. 88 - 97
Huang, Xiaorong; Fiedler, Armin
Proof Verbalization as an Application of NLGProceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997. San Francisco, Calif.: Morgan Kaufmann 1997 S. 965 - 972
Fiedler, Armin; Huang, Xiaorong
PROVERB : Verbalizing ProofsDFKI 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 assistantMcCune, 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 BeweiseSaarbrücken: Fachbereich Informatik; Universität des Saarlandes 1996 103 S.
Huang, Xiaorong; Fiedler, Armin
Paraphrasing and Aggregating Argumentative Texts Using Text StructureEighth International Natural Language Generation Workshop : INLG ; Herstmonceux Castle, Sussex, UK, June 12-15, 1996. o.A. 1996 S. 21 - 30
Huang, Xiaorong; Fiedler, Armin
Presenting Machine-Found ProofsMcRobbie, Michael A. (Hrsg). Automated deduction : proceedings / CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Berlin: Springer 1996 S. 221 - 225 (Lecture Notes in Computer Science ; 1104)