About
Technology
Issues
FAQ
Search
Journals
High Impact Journals
Most Cited Journals
Most Published Journals
Authors
Most Cited Authors
Most Published Authors
Affiliations
Top Institutions
Top Schools
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Disciplines
›
Logic
›
top-authors
Logic
70.5K
(top 1%)
papers
927.4K
(top 1%)
citations
278
(top 1%)
h
-index
468
(top 1%)
g
-index
87.6K
all documents
13.0K
doc citations
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Humberto Bustince
5
1,668
1
1
2
Francisco Herrera
3
1,645
6
6
2
José L Verdegay
3
1,645
6
6
4
Xinyue Liu
2
1,622
1
1
5
Shyi-Ming Chen
3
1,182
5
5
6
Ronald R Yager
2
876
6
6
7
Alexander Rybalov
1
782
1
1
8
Henri Prade
3
574
5
5
9
Frank Veltman
1
451
1
1
10
Philippe Fortemps
1
439
1
1
11
Robert Fullér
2
406
1
1
12
Christer Carlsson
1
402
1
1
13
Rita Almeida Ribeiro
1
333
1
1
14
Tzung-Pei Hong
1
326
5
5
15
Bernadette Bouchon-Meunier
1
280
1
1
15
Maria Rifqi
1
280
1
1
17
Mk Luhandjula
2
273
1
1
18
Saharon Shelah
19
259
4
4
19
Dorota Kuchta
1
240
4
4
20
Reinhard Muskens
1
213
1
1
21
Arnon Avron
1
195
1
1
21
Ofer Arieli
1
195
1
1
23
Henry Prakken
2
191
1
1
23
Miin-Shen Yang
1
191
1
1
25
Chen Guanrong
1
189
5
5
26
Yufei Yuan
1
165
1
1
27
Lluis Godo
2
157
2
2
27
Ping-Teng Chang
2
157
1
1
29
Virginia R Young
1
149
1
1
30
Francesc Esteva
1
147
1
1
31
Helene Fargier
1
124
5
5
32
Craig Boutilier
1
121
1
1
33
Roman Slowinski
1
110
5
5
34
Rohit Parikh
1
108
1
1
35
Janusz A Kacprzyk
1
99
4
4
36
Taner Bilgiç
1
87
4
7
37
Andreas Kroll
1
82
1
1
38
Michael Moortgat
1
80
1
1
39
Nicholas Asher
2
78
1
1
40
Sergey I Gurov
1
77
2
2
40
Lev V Utkin
1
77
9
2
42
Lauri T Hella
4
76
4
9
42
Bart Kosko
2
76
1
1
44
Vladik Kreinovich
2
75
12
6
45
Bah-Hwee Gwee
1
74
4
4
45
Mh Lim
1
74
2
2
47
Masahiro Inuiguchi
1
72
1
1
47
Brandon Bennett
1
72
1
1
49
Giangiacomo Gerla
2
67
4
4
50
Vilem Novak
1
66
1
1
51
Wei Wang
1
65
6
5
52
Wolfgang Slany
1
62
4
4
53
H Dugald Macpherson
1
61
4
4
54
Richard Kimberly Heck
1
59
1
1
55
Ulrich Kohlenbach
1
58
1
1
55
Jeremy Avigad
2
58
1
1
57
Valentin Goranko
1
57
1
1
57
Alex Lascarides
1
57
1
1
57
Ann Copestake
1
57
1
1
57
Ted Briscoe
1
57
1
1
61
Heriberto Roman-Flores
2
56
1
1
61
Alasdair Urquhart
2
56
1
1
63
Fiora Pirri
3
53
1
1
64
Jie Zhang
1
51
1
1
64
Burghard Herrmann
1
51
1
1
66
Manfred Krifka
1
50
1
1
66
Thomas Schwentick
1
50
1
1
68
Ahti Salo
1
49
1
1
68
Julie A Dickerson
1
49
1
1
68
Nino Zanghi
1
49
4
8
71
Laura A Michaelis
1
48
4
4
72
Edith Hemaspaandra
1
47
4
4
73
Sven Ove Hansson
1
46
4
4
74
DrSudarsanam Kidambi
1
45
1
1
75
Radko Mesiar
1
41
1
1
76
Roberto Giuntini
1
40
1
1
76
Alberto Policriti
2
40
1
1
78
Christian Michaux
1
38
1
1
78
Roger Villemaire
1
38
1
1
80
Jaroslav Ramik
1
37
1
1
80
Andreas Weiermann
2
37
1
1
80
Jim Austin
1
37
1
1
83
Yaakov Friedman
1
36
1
1
83
Hung T Nguyen
1
36
1
1
85
Ludmila Ilieva Kuncheva
1
35
5
5
85
Michael Zakharyaschev
1
35
1
1
85
Raghu Krishnapuram
1
35
5
7
85
Christopher Hitchcock
1
35
1
1
89
Timothy Williamson
1
34
4
6
90
Mary Dalrymple
1
33
1
1
90
Stuart M Shieber
1
33
5
7
92
Martin Grohe
4
32
1
1
92
Pilar Dellunde i Clavé
1
32
1
1
92
Ramon Jansana
1
32
1
1
95
Gerhard Schurz
1
31
1
1
95
Helmut Prendinger
1
31
1
1
97
José Valente de Oliveira
2
30
1
1
97
Marko A Rojas-Medar
1
30
4
4
97
Juha Nurmonen
1
30
1
1
100
Konstantinos C Zikidis
1
29
1
1
100
Katarína Cechlárová
1
29
4
4
100
Athanasios V Vasilakos
1
29
1
1
100
Lloyd Humberstone
1
29
3
3
104
Uwe D Hanebeck
1
28
1
1
104
Simon Thomas
1
28
4
4
104
Franz Baader
1
28
10
10
104
Peter Clote
2
28
1
1
108
Elliott Sober
1
27
2
2
109
Krassimir T Atanassov
1
26
1
1
109
Wojciech Buszkowski
2
26
1
1
109
Gordon Lightbody
1
26
1
1
112
Andrey Vasil'ev
1
25
1
1
112
Sam Buss
1
25
4
8
114
Senén Barro
1
24
1
1
114
Jesús María Rodríguez Presedo
1
24
1
1
114
Ramón Ruiz-Merino
1
24
1
1
114
Yeneng Sun
1
24
5
6
114
Xosé A Vila
1
24
1
1
114
Silvia Ghilezan
1
24
1
1
120
Johann A Makowsky
1
23
1
1
121
Catuscia Palamidessi
1
22
6
4
122
Javier Montero
1
21
1
1
122
Daniel Bonevac
1
21
1
1
122
Javier Yanez
1
21
1
1
122
Bernard De Baets
1
21
1
1
122
Vincenzo Cutello
1
21
1
1
122
Franco Parlamento
1
21
1
1
128
Thomas Eiter
1
20
1
1
128
Georg Gottlob
1
20
6
7
130
Evgeny I Khukhro
2
19
4
4
130
Gert de Cooman
1
19
1
1
130
Andreja Tepavčević
1
19
6
6
130
Jezdimir Knezevic
1
19
1
1
130
Angelo Montanari
1
19
1
1
135
Sushmita Mitra
1
18
5
5
135
Brian A Davey
2
18
4
4
135
Giacomo Bonanno
1
18
1
1
135
Jouko Väänänen
1
18
1
1
135
Paul Beame
1
18
6
4
140
Gabriella Pasi
1
17
1
1
140
Gloria Bordogna
1
17
1
1
140
Dusko Pavlovic
1
17
1
1
140
Antonio Di Nola
1
17
4
4
140
Dimitar P Filev
1
17
1
1
145
Eduardo Mizraji
1
16
1
1
145
Arnold Beckmann
1
16
1
1
145
Albert Visser
1
16
1
1
145
Giuseppe De Giacomo
1
16
3
3
145
José Mclm Carmo
1
16
1
1
145
Maurizio Gabbrielli
1
16
6
6
151
Daphne Koller
1
15
4
4
152
Victor Zhelyabin
2
14
1
1
152
Alessandro Berarducci
1
14
1
1
154
Sandro Etalle
1
13
4
6
154
Zhixiang Chen
1
13
1
1
156
Vladimir Kanovei
3
12
4
4
156
Achille C Varzi
1
12
2
4
156
Andre Nies
1
12
1
1
156
Mark Reynolds
1
12
1
1
156
Richard A Shore
1
12
4
4
156
Fabio Pianesi
1
12
1
1
162
Jonathan Smith; Jdh Smith; Jonathan Dh Smith
2
11
1
1
162
Mirna Dzamonja
1
11
1
1
162
Arthur W Apter
2
11
1
1
162
Angelo Perkusich
1
11
8
6
162
Hans Smessaert
1
11
1
1
162
Wiebe Van Der Hoek
1
11
3
3
162
Peter Vallentyne
1
11
1
1
169
Raymond Turner
1
10
1
1
169
Reiner Hähnle
1
10
10
10
169
Lev Beclemishev
1
10
1
1
169
Cesare Fantuzzi
1
10
1
1
169
Michael Morreau
1
10
1
1
169
Roman Kossak
1
10
4
4
169
Young Bae Jun
1
10
1
1
176
Manuel García-carpintero
1
9
6
6
176
Marat M Arslanov
1
9
1
1
176
Janusz Pawlikowski
1
9
4
4
176
Mohamed Abd El-Hady Kassem
2
9
1
1
176
Andrea Cantini
1
9
1
1
176
Franco Montagna
2
9
1
1
182
Thierry Marie Tm Guerra
2
8
1
1
182
Luc De Raedt
1
8
1
1
182
Enrique Casanovas
1
8
1
1
182
Norman Danner
1
8
1
1
182
Roberto Cignoli
1
8
4
5
182
Mark Lance
1
8
4
4
188
Igor Walukiewicz
1
7
4
6
189
Heinrich Wansing
1
6
1
1
189
Moti Gitik
1
6
1
1
189
Francesco Orilia
1
6
1
1
189
Alexandra Shlapentokh
1
6
4
6
189
Patrick Dehornoy
1
6
4
5
189
Giancarlo Ghirardi
1
6
4
8
195
Norbert Brunner
1
5
1
1
195
Karl Svozil
1
5
7
10
195
Alfonso Garmendia
1
5
1
1
195
Andrea Sorbi
1
5
1
1
195
Arend Rensink
1
5
4
9
195
Amir Daneshgar
2
5
1
1
195
Marcel Jackson
1
5
1
1
195
Alessandro Avellone
1
5
4
4
195
S Barry Cooper
2
5
1
1
195
Silvio Valentini
2
5
4
6
195
Christoph Kreitz
1
5
1
1
195
Claudio Bernardi
1
5
1
1
207
Marion Scheepers
1
4
4
4
207
Philip D Welch
1
4
1
1
207
Sachio Hirokawa
1
4
4
9
207
Elio Canestrelli
1
4
1
1
207
José Juan Moreso
1
4
1
1
207
Silvio Giove
1
4
1
1
207
Leon Horsten
1
4
1
1
207
Paolo Lipparini
1
4
1
1
207
Michael Thielscher
1
4
8
8
207
Jaap Van Oosten
1
4
1
1
207
Sergei Starchenko
1
4
1
1
207
Yuichi Komori
1
4
1
1
219
Yuri Matiyasevich
1
3
1
1
219
Michael C Laskowski
1
3
1
1
219
Andre Scedrov
1
3
6
9
219
Fernando Ferreira
1
3
1
1
219
Predrag Tanovic
2
3
1
1
219
Charles Harry Manekin
1
3
1
1
219
Hans-Dietrich Haasis
1
3
1
1
219
John C Mitchell
1
3
1
1
219
Uri Abraham
1
3
1
1
228
Anthony Hunter
1
2
1
1
228
Peter McBrien
1
2
1
1
228
Michael R Fellows
1
2
4
9
228
Marco Cesati
1
2
1
1
228
Persi Diaconis
1
2
1
1
228
Sergei G Ovchinnikov
1
2
4
8
228
Athanassios Tzouvaras
1
2
1
1
228
S Parameshwara Bhatta
1
2
1
1
228
Chuang Liu
1
2
4
4
228
Dimiter Vakarelov
1
2
1
1
238
Miroslav Ciric
1
1
4
4
238
Elżbieta Hajnicz
1
1
1
1
238
Maria José Frápolli
1
1
1
1
238
Oleg Shashkov
1
1
1
1
238
Kira V Adaricheva
1
1
1
1
238
Ruth Kempson
1
1
1
1
238
Valentina S Harizanov
1
1
1
1
238
Timothy J Surendonk
1
1
1
1
238
Maarten Marx
1
1
1
1
238
Elżbieta Hajnicz
1
1
1
1
248
Jose M Cadenas
1
0
1
0
248
Alan Dow
1
0
3
4
248
Sangho Kum
1
0
1
0
248
Stephen de Wijze
1
0
1
0
248
Eugene Insall
1
0
1
0
248
Yaroslav Shramko
1
0
1
0
248
Kevin Otto
1
0
4
7
248
Eugenio Regazzini
1
0
6
6
248
Kevin N Otto
1
0
1
0
248
Donald Perlis
1
0
1
0
site/software ©
exaly
; All materials licenced under
CC by-SA
.