Prof. Dr. Armin Fiedler
FB Mathematik, Informatik, 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)