Chris Fermüller
Chris Fermüller
Professor of Computer Science, Vienna University of Technology
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
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
1772011
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Science & Business Media, 1993
1591993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1392001
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
941996
Removing redundancy from a clause
G Gottlob, CG Fermüller
Artificial Intelligence 61 (2), 263-289, 1993
861993
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
852003
Elimination of cuts in first-order finite-valued logics
M Baaz, CG Fermüller, R Zach
671994
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
63*1993
Resolution for many-valued logics
M Baaz, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 1992
631992
Analytic calculi for projective logics
M Baaz, CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
611999
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
International Conference on Logic for Programming Artificial Intelligence …, 2005
602005
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of Automated Reasoning, 1355-1402, 2001
582001
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61 (1), 7-33, 1998
531998
Non-elementary speedups between different versions of tableaux
M Baaz, CG Fermüller
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
511995
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
481994
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
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
432001
Giles’s game and the proof theory of Łukasiewicz logic
CG Fermüller, G Metcalfe
Studia Logica 92 (1), 27-61, 2009
372009
Decision procedures and model building in equational clause logic
CG Fermuller, A Leitsch
Logic Journal of IGPL 6 (1), 17-41, 1998
371998
The system can't perform the operation now. Try again later.
Articles 1–20