Chris Fermüller
Chris Fermüller
Professor of Computer Science, Vienna University of Technology
Dirección de correo verificada de logic.at - Página principal
Título
Citado por
Citado por
Año
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
2052011
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Science & Business Media, 1993
1661993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1402001
Resolution-based theorem proving for many-valued logics
M Baaz, CG Fermüller
Journal of Symbolic Computation 19 (4), 353-391, 1995
1041995
Hyperresolution and automated model building
C Fermüller, A Leitsch
Journal of Logic and Computation 6 (2), 173-203, 1996
981996
Removing redundancy from a clause
G Gottlob, CG Fermüller
Artificial Intelligence 61 (2), 263-289, 1993
851993
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
832003
Elimination of cuts in first-order finite-valued logics
M Baaz, CG Fermüller, R Zach
681994
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
611993
Analytic calculi for projective logics
M Baaz, CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
591999
Resolution for many-valued logics
M Baaz, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 1992
591992
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of Automated Reasoning, 1355-1402, 2001
582001
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
International Conference on Logic for Programming Artificial Intelligence …, 2005
572005
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
491995
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
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
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
372003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20