Chris Fermüller

Cited by

	All	Since 2019
Citations	2485	465
h-index	27	11
i10-index	51	13

140

105

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202421 32 28 60 62 74 79 52 111 45 121 50 96 61 120 89 114 98 85 79 91 104 74 105 65 63 76 54 102 85 86 62

Public access

View all

29 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Richard ZachProfessor of Philosophy, University of CalgaryVerified email at ucalgary.ca
Gernot SalzerAssociate Professor of Computer Science, Technische Universität WienVerified email at logic.at
Tanel TammetProfessor of Applied Artificial Intelligence, Tallinn University of TechnologyVerified email at ttu.ee
Petr CintulaInstitute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
George MetcalfeProfessor of Mathematics, University of BernVerified email at unibe.ch
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Reinhard PichlerTU WienVerified email at dbai.tuwien.ac.at
Carles NogueraDepartment of Information Engineering and Mathematics, University of SienaVerified email at unisi.it
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Ondrej MajerInstitute of Philosophy, Academy of Sciences of the Czech RepublicVerified email at flu.cas.cz
Esther Anna CorsiPostDoc at University of MilanVerified email at unimi.it
Georg GottlobProfessor of Informatics, University of CalabriaVerified email at unical.it
Norbert PreiningMercari Inc.Verified email at preining.info
Robert KosikVienna University of TechnologyVerified email at tuwien.ac.at
Georg MoserProfessor for Computer Science, University of InnsbruckVerified email at uibk.ac.at
Niki PfeiferDepartment of Philosophy, University of Regensburg, GermanyVerified email at ur.de
Magdalena OrtizVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at

Chris Fermüller

Professor of Computer Science, Vienna University of Technology

Verified email at logic.at - Homepage

logic automated deduction artificial intelligence vaguenuess


Title Sort by citations Sort by year Sort by 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	180	1993
Resolution decision procedures CG Fermüller, A Leitsch, U Hustadt, T Tammet Handbook of automated reasoning, 1791-1849, 2001	157	2001
Resolution-based theorem proving for many-valued logics M Baaz, CG Fermüller Journal of Symbolic Computation 19 (4), 353-391, 1995	111	1995
Hyperresolution and automated model building C Fermüller, A Leitsch Journal of Logic and Computation 6 (2), 173-203, 1996	106	1996
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	105	2003
Removing redundancy from a clause G Gottlob, CG Fermüller Artificial Intelligence 61 (2), 263-289, 1993	99	1993
Fuzzy logic P Cintula, CG Fermüller, C Noguera	90	2016
Elimination of cuts in first-order finite-valued logics M Baaz, CG Fermüller, R Zach Institut für Informatik, 1994	82	1994
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	75*	1993
Labeled calculi and finite-valued logics M Baaz, CG Fermüller, G Salzer, R Zach Studia Logica 61, 7-33, 1998	73	1998
Uniform rules and dialogue games for fuzzy logics A Ciabattoni, CG Fermüller, G Metcalfe Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005	69	2005
Automated deduction for many-valued logics M Baaz, CG Fermüller, G Salzer Handbook of automated reasoning, 1355-1402, 2001	69	2001
Analytic calculi for projective logics M Baaz, CG Fermüller International Conference on Automated Reasoning with Analytic Tableaux and …, 1999	65	1999
Resolution for many-valued logics M Baaz, CG Fermüller International Conference on Logic for Programming Artificial Intelligence …, 1992	65	1992
Non-elementary speedups between different versions of tableaux M Baaz, CG Fermüller International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995	57	1995
Giles’s game and the proof theory of Łukasiewicz logic CG Fermüller, G Metcalfe Studia Logica 92, 27-61, 2009	53	2009
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	51	1994
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	46	2001
Dual systems of sequents and tableaux for many-valued logics M Baaz, CG Fermüller, R Zach	44	1993
Parallel dialogue games and hypersequents for intermediate logics CG Fermüller International conference on automated reasoning with analytic tableaux and …, 2003	43	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors