Chris Fermüller
Chris Fermüller
Professor of Computer Science, Vienna University of Technology
E-mailová adresa ověřena na: logic.at - Domovská stránka
Název
Citace
Citace
Rok
Handbook of mathematical fuzzy logic-volume 3
P Cintula, C Fermüller, C Noguera
2272015
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Science & Business Media, 1993
1581993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1472001
Resolution-based theorem proving for many-valued logics
M Baaz, CG Fermüller
Journal of Symbolic Computation 19 (4), 353-391, 1995
1111995
Hyperresolution and automated model building
C Fermüller, A Leitsch
Journal of Logic and Computation 6 (2), 173-203, 1996
961996
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
922003
Removing redundancy from a clause
G Gottlob, CG Fermüller
Artificial Intelligence 61 (2), 263-289, 1993
821993
Elimination of cuts in first-order finite-valued logics
M Baaz, CG Fermüller, R Zach
771994
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
68*1993
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
International Conference on Logic for Programming Artificial Intelligence …, 2005
652005
Analytic calculi for projective logics
M Baaz, CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
641999
Resolution for many-valued logics
M Baaz, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 1992
631992
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of Automated Reasoning, 1355-1402, 2001
612001
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61 (1), 7-33, 1998
571998
Non-elementary speedups between different versions of tableaux
M Baaz, CG Fermüller
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
501995
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
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
452001
Giles’s game and the proof theory of Łukasiewicz logic
CG Fermüller, G Metcalfe
Studia Logica 92 (1), 27-61, 2009
412009
Dual systems of sequents and tableaux for many-valued logics
M Baaz, CG Fermüller, R Zach
391993
Parallel dialogue games and hypersequents for intermediate logics
CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 2003
382003
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20