Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Prof. Dr. Armin Fiedler

FB Mathematik, Informatik, Technik, Hochschule Koblenz

Joseph-Rovan-Allee 2, 53424 Remagen

  • 02642/932-480
  • 02642/905440-480
Publikationen
Ergebnisse pro Seite:  10

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

International 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 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

Artificial 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 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)