Chris Fermüller
Chris Fermüller
Professor of Computer Science, Vienna University of Technology
Verified email at logic.at - Homepage
TitleCited byYear
Handbook of mathematical fuzzy logic (in 2 volumes)
P Cintula, P Hájek, C Noguera
Studies in logic, mathematical logic and foundations, vols 37, 2011
2002011
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Science & Business Media, 1993
1561993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1372001
Resolution-based theorem proving for many-valued logics
M Baaz, CG Fermüller
Journal of Symbolic Computation 19 (4), 353-391, 1995
1071995
Hyperresolution and automated model building
C Fermüller, A Leitsch
Journal of Logic and Computation 6 (2), 173-203, 1996
961996
Removing redundancy from a clause
G Gottlob, CG Fermüller
Artificial Intelligence 61 (2), 263-289, 1993
871993
Hypersequent calculi for Gödel logics—a survey
M Baaz, A Ciabattoni, CG Fermüller
Journal of Logic and Computation 13 (6), 835-861, 2003
812003
Elimination of cuts in first-order finite-valued logics
M Baaz, CG Fermüller, R Zach
671994
Resolution for many-valued logics
M Baaz, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 1992
591992
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
International Conference on Logic for Programming Artificial Intelligence …, 2005
582005
Analytic calculi for projective logics
M Baaz, CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
581999
Systematic construction of natural deduction systems for many-valued logics
M Baaz, CG Fermuller, R Zach
[1993] Proceedings of the Twenty-Third International Symposium on Multiple …, 1993
58*1993
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of Automated Reasoning, 1355-1402, 2001
572001
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61 (1), 7-33, 1998
531998
A non-elementary speed-up in proof length by structural clause form transformation
M Baaz, CG Fermuller, A Leitsch
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 213-219, 1994
491994
Resolution decision procedures, Handbook of automated reasoning
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Elsevier Science Publishers BV, Amsterdam, The Netherlands, 2001
472001
Non-elementary speedups between different versions of tableaux
M Baaz, CG Fermüller
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
451995
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving
M Baaz, A Ciabattoni, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 2001
422001
Decision procedures and model building in equational clause logic
CG Fermuller, A Leitsch
Logic Journal of IGPL 6 (1), 17-41, 1998
381998
Parallel dialogue games and hypersequents for intermediate logics
CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 2003
362003
The system can't perform the operation now. Try again later.
Articles 1–20