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: SIGMOD, VLDB, ICDE, PODS, SIGKDD · junior 2+ first-author in 5y or senior 4+ papers in 5y · 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 area 14,492 papers · 24,046 experts
Sub-topics 179 · with their number of papers; shaded topics divide further
ontology 685commonsense reasoning 620nonmonotonic reasoning 486causal reasoning 442knowledge graph 431description logic 398logic-based reasoning 373argumentation 335temporal reasoning 324belief revision 253expert systems 246qualitative reasoning 245neuro-symbolic reasoning 202spatial reasoning 200probabilistic reasoning 176logic programming 172knowledge acquisition 164case-based reasoning 160knowledge-based systems 138abductive reasoning 121analogical reasoning 118uncertainty reasoning 118concept learning 114statistical relational learning 105rule learning 104explanation generation 103knowledge graph reasoning 99ontology-based query answering 97semantic representation 95knowledge base 88reasoning about action and change 88theory of mind 81cognitive modeling 70epistemic reasoning 66relational reasoning 64belief change 63relational learning 55automated reasoning 54diagnosis 51open-world learning 43inconsistency handling 32knowledge compilation 27symbolic regression 27belief representation 26model-based reasoning 26causality 25concept formation 24query answering 24knowledge engineering 22abstract reasoning 21normative reasoning 20knowledge level analysis 19decision theory 18neural-symbolic integration 18structured reasoning 18consistency checking 17information fusion 17semantic reasoning 17user modeling 17action and change 16automated reasoning and model checking 16logic in computer science 16hybrid reasoning 14logic rules 14scientific discovery 14knowledge incorporation 12knowledge discovery 11neuro-symbolic AI 11social reasoning 11cognitive robotics 9pattern matching 9background knowledge 7domain knowledge 7model representation 7pragmatics 7constraint-based grammar 6knowledge structures 6uncertainty management 6knowledge management 5context-based reasoning 3representation language 3
Show 98 smaller topics (under 10 papers each)
category learning 9knowledge representation systems 9logical constraints 9knowledge localization 8structural inference 8construction grammar 7intelligent tutoring systems 7modularity 7rationality 7reason maintenance 7linguistic structure 6model refinement 6reasoning about knowledge and belief 6structured data understanding 6temporal knowledge 6abstraction and reasoning 5automated modeling 5constraint specification 5external knowledge 5formal models 5hierarchical structure learning 5measurement theory 5memory retrieval 5semantic memory 5similarity-based reasoning 5situated cognition 5symbolic computation 5symbolic model learning 5attribute grammar 4belief modeling 4clinical reasoning 4cognitive development 4compiled knowledge 4conceptual knowledge 4consciousness 4graph traversal 4integrity constraints 4interference 4iterative reasoning 4knowledge consistency 4knowledge-aware reasoning 4linguistic theory 4marker-passing 4matching 4neural reasoning 4object query 4parametric knowledge 4problem reformulation 4process models 4semantic constraints 4structured knowledge 4syntactic knowledge 4syntax acquisition 4unification 4active reasoning 3agent models 3attribute reduction 3belief maintenance 3belief representation and revision 3computational neuroscience models 3concept similarity 3conceptual analysis 3conceptualization 3connectionist inference 3consistency maintenance 3constraint discovery 3context extraction 3context-aware reasoning 3domain-specific knowledge 3incomplete theory 3independence 3knowledge level 3knowledge recall 3knowledge representation learning 3knowledge-intensive learning 3linguistic knowledge 3metalinguistic reasoning 3model retrieval 3multi-view reasoning 3multimodal knowledge 3narrative processing 3noisy sensors and effectors 3process knowledge 3program-guided reasoning 3propositional attitudes 3rational agency 3reasoning structure 3relational domains 3relational structure 3reporting bias 3rete algorithm 3rule discovery 3semantic association 3semantic evaluation 3semantic frameworks 3structured data 3system modeling 3variable binding 3
Experts on Knowledge representation and reasoning 24,046 · by weight: papers on the topic counted with recency (1 for a paper about it, 0.3 as context, halved every five years), summed over the area's topics
ExpertWeight Topics held All papersLastORCID
Sergio Greco
dblp:g/SergioGreco
42.7 26 154 · 32 since 2021 2026 verified
Yejin Choi 0001
dblp:89/579-1
41.6 36 251 · 160 since 2021 2026 conflict
Francesca Toni
dblp:t/FrancescaToni
41.2 25 164 · 70 since 2021 2026 verified
Francesco Parisi
dblp:p/FrancescoParisi
38.6 23 62 · 30 since 2021 2026 conflict
Gianvincenzo Alfano
dblp:204/2966
38.4 19 34 · 25 since 2021 2026 verified
Stefan Woltran
dblp:39/6130
36.4 24 219 · 40 since 2021 2026 verified
Matthias Thimm
dblp:07/1317
35.3 24 96 · 37 since 2021 2026 verified
Markus Ulbricht 0001
dblp:82/11198-1
33.6 16 44 · 34 since 2021 2026 verified
Meghyn Bienvenu
dblp:80/28
30.5 25 71 · 28 since 2021 2026 verified
Yangqiu Song
dblp:86/2159
29.9 30 227 · 100 since 2021 2026 verified
Bernardo Cuenca Grau
dblp:71/6448
29.0 31 112 · 31 since 2021 2026 verified
Anna Rapberger
dblp:248/6704
28.9 10 33 · 29 since 2021 2026 corroborated
Steven Schockaert
dblp:29/3972
27.6 39 155 · 36 since 2021 2026 verified
Irina Trubitsyna
dblp:10/5698
26.9 16 63 · 25 since 2021 2026 verified
Josh Tenenbaum
dblp:t/JoshuaBTenenbaum
26.5 25 497 · 226 since 2021 2025 verified
Huajun Chen
dblp:94/5089
26.4 24 226 · 150 since 2021 2026 conflict
Johannes P. Wallner
dblp:15/10093
25.4 20 64 · 28 since 2021 2026 verified
Carsten Lutz
dblp:l/CarstenLutz
24.8 26 148 · 28 since 2021 2026 verified
Thomas Lukasiewicz
dblp:l/ThomasLukasiewicz
24.7 36 211 · 85 since 2021 2026 conflict
Thomas Eiter
dblp:e/TEiter
24.6 46 303 · 45 since 2021 2026 verified
Luc De Raedt
dblp:r/LucDeRaedt
23.9 28 238 · 51 since 2021 2026 verified
Ian Horrocks 0001
dblp:h/IanHorrocks
22.8 39 206 · 35 since 2021 2025 verified
Yanghua Xiao
dblp:96/999
22.5 22 240 · 161 since 2021 2026 conflict
Gabriele Kern-Isberner
dblp:k/GabrieleKernIsberner
21.2 20 101 · 29 since 2021 2026 verified
Giuseppe De Giacomo
dblp:g/GDGiacomo
20.5 25 231 · 78 since 2021 2026 verified
Kun Zhang 0001
dblp:96/3115-1
20.2 8 254 · 170 since 2021 2026 conflict
Frank Wolter
dblp:w/FrankWolter
20.0 29 149 · 22 since 2021 2026 verified
Sébastien Konieczny
dblp:36/1515
19.7 16 98 · 22 since 2021 2026 verified
Gerhard Lakemeyer
dblp:l/GerhardLakemeyer
19.7 49 131 · 27 since 2021 2026 verified
Jean Christoph Jung
dblp:69/8110
19.6 17 49 · 22 since 2021 2026 verified
Markus Hecher
dblp:150/8127
18.8 12 81 · 57 since 2021 2026 verified
Leila Amgoud
dblp:90/1913
18.6 16 96 · 20 since 2021 2026 verified
Jesse Heyninck
dblp:179/2109
18.3 18 40 · 32 since 2021 2026 verified
Yves Lespérance
dblp:74/5003
18.2 17 50 · 15 since 2021 2026 verified
Ting Liu 0001
dblp:52/5150-1
17.9 22 335 · 114 since 2021 2026 conflict
Xiang Ren 0001
dblp:36/360-1
17.7 22 165 · 89 since 2021 2026 conflict
Christian Straßer
dblp:32/9414
17.2 15 34 · 17 since 2021 2026 verified
Wolfgang Dvorák
dblp:90/7375
17.2 7 75 · 25 since 2021 2026 verified
Ringo Baumann
dblp:34/8219
17.2 14 42 · 13 since 2021 2025 verified
Antoine Bosselut
dblp:184/3742
17.0 16 66 · 53 since 2021 2026 verified
page 1 of 602 Next →