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
2192015
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
1512001
Resolution-based theorem proving for many-valued logics
M Baaz, CG Fermüller
Journal of Symbolic Computation 19 (4), 353-391, 1995
1091995
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
942003
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
Institut für Informatik, 1994
731994
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
67*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
642005
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of Automated Reasoning, 1355-1402, 2001
642001
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
621999
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61 (1), 7-33, 1998
561998
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
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
422009
Parallel dialogue games and hypersequents for intermediate logics
CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 2003
392003
Dual systems of sequents and tableaux for many-valued logics
M Baaz, CG Fermüller, R Zach
European Association for Theoretical Computer Science, 1993
391993
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20