Follow
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
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Berlin Heidelberg, 1993
1771993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1512001
Resolution-based theorem proving for many-valued logics
M Baaz, CG Fermüller
Journal of Symbolic Computation 19 (4), 353-391, 1995
1101995
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
1032003
Hyperresolution and automated model building
C Fermüller, A Leitsch
Journal of Logic and Computation 6 (2), 173-203, 1996
1021996
Removing redundancy from a clause
G Gottlob, CG Fermüller
Artificial Intelligence 61 (2), 263-289, 1993
971993
Elimination of cuts in first-order finite-valued logics
M Baaz, CG Fermüller, R Zach
791993
Fuzzy logic
P Cintula, CG Fermüller, C Noguera
762016
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
74*1993
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61, 7-33, 1998
731998
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of automated reasoning, 1355-1402, 2001
682001
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
672005
Resolution for many-valued logics
M Baaz, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 1992
641992
Analytic calculi for projective logics
M Baaz, CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
631999
Giles’s game and the proof theory of Łukasiewicz logic
CG Fermüller, G Metcalfe
Studia Logica 92, 27-61, 2009
522009
Non-elementary speedups between different versions of tableaux
M Baaz, CG Fermüller
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
521995
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
511994
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving
M Baaz, A Ciabattoni, CG Fermüller
Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001
462001
Parallel dialogue games and hypersequents for intermediate logics
CG Fermüller
International conference on automated reasoning with analytic tableaux and …, 2003
432003
Decision procedures and model building in equational clause logic
CG Fermuller, A Leitsch
Logic Journal of IGPL 6 (1), 17-41, 1998
421998
The system can't perform the operation now. Try again later.
Articles 1–20