TU Wien Informatics

Christian Fermüller

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Focus

Research Areas

  • Fuzzy Logic, Automated Deduction, Proof Theory, Computational Logic, Artificial Intelligence
Christian Fermüller

About

1) Theoretical Computer Science 2) Artificial Intelligence 3) Automated Deduction 4) Natural Language Processing 5) Logic and Foundations of Mathematics 6) Mathematical Fuzzy Logic 7) Computational Intelligence 8) Formal Models of Reasoning Under Vagueness 9) Proof Theory and Proof Search in Non-Classical Logics

Role

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

  • From classical to many-valued reasoning via dialogue games / C. Fermüller / Talk: Dpt. of Computer Sciences, Czech Academy of Sciences, Prague, Cech Republic; 2005-12-05
  • From classical to many-valued reasoning via dialogue games / C. Fermüller / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2005-11-02 - 2005-11-05
  • The Enigma of Quantifying Vague Information / C. Fermüller / Talk: The Logic of Soft Computing~IV and 4th ERCIM, Ostrava, Czech Republic; 2005-10-05 - 2005-10-07
  • Decision Procedure and Model Building Based on Hypersequent Calculi / C. Fermüller / Talk: LPAR Workshop on Analytic Proof Systems, Montevideo, Uruguay; 2005-03-13
  • The Resolution Principle / A. Leitsch, C. Fermüller / in: "Handbook of Philosophical Logic, 2nd ed., Volume 12", D.M. Gabbay, F. Guenthner (ed.); Springer, Dordrecht, Netherlands, 2005, 87 - 173
  • Uniform Rules and Dialogue Games for Fuzzy Logics / A. Ciabattoni, C. Fermüller, G Metcalfe / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 2005-03-14 - 2005-03-18; in: "Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 496 - 510
  • Analytic Systems and Dialogue Games / C. Fermüller / Talk: TABLEAUX 2005, 14th Intl Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Koblenz, Germany (invited); 2005-09-14 - 2005-09-17; in: "TABLEAUX 2005, Position Papers and Tutorial Descriptions", B Beckert (ed.); Fachberichte Informatik, Universität Koblenz-Landau (2005), ISSN: 1860-4471; 43 - 52
  • Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / Talk: 20th International Conference on Automated Deduction, Tallinn, Estland; 2005-07-22 - 2005-07-27; in: "Automated Deduction - CADE-20", Springer Science + Business Media, LNAI 3632 (2005), ISBN: 3-540-28005-7; 409 - 423

2004

2003

2002