Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Reviewers in the wild

The CS expert database: 1,777,551 experts · 2,837,695 papers in CCF A–C and ICORE A*–C venues · 10 venue-derived domains · snapshot 2026-09-22.

Experts who meet the recruitment bar

The bar is a setting of the venue, one per role; it is edited on its own page.
Reviewer bar: SIGIR, WWW, SIGKDD, WSDM, TOIS, ACL +2 · junior 2+ first-author in 5y or senior 5+ papers in 5y · 7,017 experts meet it · change the bar
List the experts who meet it

Experts by research domain — the database's own venue-derived domains; a paper can belong to several; active = at least one paper since 2021

Experts by expertise

The expertise taxonomy: 90,661 topics extracted from 634,694 papers of 537,692 experts, organised under the ten CCF categories and 168 areas. Pick a category, then narrow down to a topic; every level lists its experts by weight.
Artificial intelligence›Knowledge, reasoning and agents›Knowledge representation and reasoning›logic-based reasoning›propositional logic topic 12 papers · 38 experts · broader topic added to organise its sub-topics
Experts on propositional logic 38 · by weight: papers on the topic counted with recency (1 for a paper about it, 0.3 as context, halved every five years)
ExpertWeight Papers on topicLast on topic All papersLastORCID
Amy R. Ward
dblp:57/3299
1.0 12026 4 · 2 since 2021 2026 corroborated
Chuan Zhou 0013
dblp:52/564-13
1.0 12026 4 · 4 since 2021 2026 verified
Robert van Rooij
dblp:51/303
1.0 12026 7 · 3 since 2021 2026 corroborated
Fengxiang Cheng
dblp:400/6883
1.0 12026 4 · 4 since 2021 2026 none
Fenrong Liu
dblp:19/5949
1.0 12026 13 · 5 since 2021 2026 conflict
Pengyi Shi
dblp:175/0689
1.0 12026 7 · 7 since 2021 2026 corroborated
Zhongzhi Liu
dblp:91/3321
0.9 12025 3 · 1 since 2021 2025 unresolved
Ziyi Hu
dblp:34/10804
0.9 12025 9 · 7 since 2021 2025 conflict
Yuzhong Liu
dblp:212/5092
0.9 12025 5 · 2 since 2021 2025 corroborated
Yiping Song
dblp:165/3001
0.9 12025 36 · 26 since 2021 2026 conflict
Linfeng Liu 0003
dblp:84/1540-3
0.7 12023 4 · 4 since 2021 2025 conflict
Min Zhang 0005
dblp:83/5342-5
0.7 12023 507 · 324 since 2021 2026 conflict
Artur S. d'Avila Garcez
dblp:26/4820
0.7 12023 69 · 12 since 2021 2025 conflict
Hai Zhao 0001
dblp:25/1145-1
0.7 12023 203 · 120 since 2021 2026 conflict
Hongqiu Wu
dblp:195/2044
0.7 12023 19 · 18 since 2021 2025 corroborated
Son N. Tran
dblp:139/1001
0.7 12023 27 · 18 since 2021 2026 verified
Zongzhang Zhang
dblp:90/8724
0.2 12023 81 · 58 since 2021 2026 corroborated
Chao Chen 0028
dblp:66/3019-28
0.2 12023 4 · 4 since 2021 2025 conflict
Yang Yu 0001
dblp:46/2181-1
0.2 12023 203 · 125 since 2021 2026 conflict
Lei Yuan 0005
dblp:23/6750-5
0.2 12023 37 · 37 since 2021 2026 conflict
Jiacheng Xu 0003
dblp:188/6025-3
0.2 12023 7 · 7 since 2021 2026 verified
Fuxiang Zhang
dblp:12/3884
0.2 12023 16 · 14 since 2021 2025 conflict
Bala Srinivasan 0002
dblp:90/377-2
0.1 12010 78 · 0 since 2021 2018 none
Samar Zutshi
dblp:63/967
0.1 12010 1 · 0 since 2021 2010 none
Maria Indrawan
dblp:26/431
0.1 12010 27 · 1 since 2021 2021 verified
Alex Tze Hiang Sim
dblp:14/666
0.1 12010 5 · 0 since 2021 2010 corroborated
Pierre Marquis
dblp:37/6177
0.1 22004 160 · 28 since 2021 2026 corroborated
Adnan Darwiche
dblp:p/ADarwiche
0.0 12004 152 · 13 since 2021 2026 verified
Paolo Liberatore
dblp:l/PLiberatore
0.0 12002 52 · 5 since 2021 2025 verified
Jérôme Lang
dblp:55/5701
0.0 12002 155 · 16 since 2021 2026 verified
Bart Selman
dblp:s/BartSelman
0.0 11997 124 · 5 since 2021 2025 verified
David A. McAllester
dblp:m/DavidAMcAllester
0.0 11997 99 · 0 since 2021 2019 none
Henry A. Kautz
dblp:k/HenryAKautz
0.0 11997 104 · 2 since 2021 2025 verified
Alvaro del Val
dblp:v/AlvarodelVal
0.0 11994 17 · 0 since 2021 2005 none
Francisco Javier Torrealdea
dblp:83/3331
0.0 11993 7 · 0 since 2021 2007 none
Carmen Hernández 0001
dblp:42/5093-1
0.0 11993 16 · 0 since 2021 2020 verified
Alicia D'Anjou
dblp:17/4360
0.0 11993 35 · 0 since 2021 2012 none
Manuel Graña
dblp:13/4327
0.0 11993 196 · 23 since 2021 2025 verified
page 1 of 1