Science Explorer Interactive view Map

Logic, Reasoning, and Knowledge

Logic, Reasoning, and Knowledge is a research topic within Artificial Intelligence. Science Explorer counts 39k research works in it since 1950. 20.9% of them reached the world's top 10% most cited for their field and year.

This cluster of papers focuses on the intersection of logic programming, knowledge representation, and reasoning. It encompasses topics such as answer set programming, modal logic, belief revision, temporal logic, epistemic logic, nonmonotonic reasoning, description logics, model checking, and constraint logic programming.

  • Answer Set Programming
  • Modal Logic
  • Knowledge Representation
  • Belief Revision
  • Temporal Logic
  • Epistemic Logic
  • Nonmonotonic Reasoning
  • Description Logics
  • Model Checking
  • Constraint Logic Programming
Research works
39k
fractional, since 1950
In the world top 10%
8.1k
per year above
Top-10% rate
20.9%
share of its works in the world top 10%
Growth, 2013–17 → 2018–22
-19%
the tick is no change

Which countries lead Logic, Reasoning, and Knowledge research?

By volume, the United States and Italy publish the most (501 and 292 works in 2022–2025).

By volume, 2022–2025

  1. 1 United States 501 works
  2. 2 Italy 292 works
  3. 3 Germany 280 works
  4. 4 United Kingdom 241 works
  5. 5 France 238 works
  6. 6 China 221 works
  7. 7 Spain 109 works
  8. 8 Japan 99 works
  9. 9 Netherlands 98 works
  10. 10 Austria 87 works

How concentrated that is

The same countries as shares of everything the list above accounts for. A node where two countries do two thirds of the work and one spread evenly across twelve read alike as a ranking and not at all alike here.

United States: 23.1%Italy: 13.5%Germany: 12.9%United Kingdom: 11.1%6 others listed: 39.3%23%largest
United States501 · 23.1%Italy292 · 13.5%Germany280 · 12.9%United Kingdom241 · 11.1%6 others listed851 · 39.3%

Shares of the rows listed above, not of the whole node.

Which institutions lead Logic, Reasoning, and Knowledge research?

By volume in 2022–2025, TU Wien publishes the most Logic, Reasoning, and Knowledge research, followed by Centre National de la Recherche Scientifique and University of Oxford.

By volume, 2022–2025

  1. 1 TU WienAustria 45 works
  2. 2 Centre National de la Recherche ScientifiqueFrance 38 works
  3. 3 University of OxfordUnited Kingdom 32 works
  4. 4 University of AmsterdamNetherlands 30 works
  5. 5 University of CalabriaItaly 28 works
  6. 6 Carnegie Mellon UniversityUnited States 20 works
  7. 7 KU LeuvenBelgium 19 works
  8. 8 University of MilanItaly 19 works
  9. 9 Technische Universität DresdenGermany 19 works
  10. 10 Ruhr University BochumGermany 18 works

Who are the leading researchers in Logic, Reasoning, and Knowledge?

The most-cited researchers publishing on Logic, Reasoning, and Knowledge include Ronald R. Yager.

  1. 1 Ronald R. Yager United States 4.2k citations

Ranked by citations received across their whole record, among researchers with at least three works on this topic.

Where is Logic, Reasoning, and Knowledge research done?

The largest centres of Logic, Reasoning, and Knowledge research in 2022–2025 are Paris (France), Beijing (China), Vienna (Austria) and London (United Kingdom). Among places with at least 20 works in it, it is an unusually large share of all research in Rende.

Largest cities, 2022–2025

  1. 1 Paris France 80 works
  2. 2 Beijing China 66 works
  3. 3 Vienna Austria 57 works
  4. 4 London United Kingdom 56 works
  5. 5 Moscow Russia 50 works
  6. 6 Prague Czechia 45 works
  7. 7 New York United States 42 works
  8. 8 Amsterdam Netherlands 40 works
  9. 9 Tokyo Japan 34 works
  10. 10 Oxford United Kingdom 33 works

Where it is the local speciality

  1. RendeIT · 28.7 works43×
← less than its size predictsmore →

Location quotient: how much more of its research is in Logic, Reasoning, and Knowledge than the world average.

See Logic, Reasoning, and Knowledge on the map

Where is the best place to study Logic, Reasoning, and Knowledge?

Among universities, judged by research, Ruhr University Bochum, University of Amsterdam and Technische Universität Dresden score highest, combining excellence, specialisation, size, growth and international reach. Research strength is one signal when choosing where to study; it does not measure teaching.

0%5%10%15%mean 9.38%fractional works in this node (log) →share in the world top 10% →Ruhr University Bochum: 18, 11.5%University of Amsterdam: 30, 10.5%Technische Universität Dresden: 19, 13.1%University of Oxford: 32, 11.0%TU Wien: 45, 3.2%Tallinn University of Technology: 9, 7.7%FernUniversität in Hagen: 18, 11.8%Free University of Bozen-Bolzano: 11, 12.1%Carnegie Mellon University: 20, 6.1%Utrecht University: 18, 6.8%Technische Universit…Ruhr University BochumUniversity of OxfordUniversity of Amster…
above the meannear itbelow it

One dot per university in the table below. The upper left is the interesting corner: small places doing unusually strong work.

#UniversityScoreTop 10%SpecialisationWorksGrowth
1 Ruhr University BochumGermany 71.511.5%15.2×18 +282.4%
2 University of AmsterdamNetherlands 66.610.5%18.9×30 -5.4%
3 Technische Universität DresdenGermany 63.313.1%13.0×19 +3.9%
4 University of OxfordUnited Kingdom 60.911.0%8.1×32 -17.0%
5 TU WienAustria 59.53.2%46.5×45 +17.6%
6 Tallinn University of TechnologyEstonia 59.37.7%21.9×9 +211.1%
7 FernUniversität in HagenGermany 57.711.8%75.2×18 +5.6%
8 Free University of Bozen-BolzanoItaly 56.212.1%36.1×11 -12.8%
9 Carnegie Mellon UniversityUnited States 53.16.1%16.1×20 +29.3%
10 Utrecht UniversityNetherlands 51.96.8%10.8×18 -38.4%

Universities only. Score blends excellence (30%), specialisation (25%), size (20%), growth (15%) and international reach (10%), 2015–2022; growth compares 2010–14 with 2015–19.

Is Logic, Reasoning, and Knowledge research growing?

Output in 2018–2022 was 19% lower than in 2013–2017, peaking in 2002.

19801990200020102020
grewheldshrank

The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.

Which topics inside it are moving

Growth and decline on one axis around a shared zero. Two lists side by side hide the thing that matters: whether the growth dwarfs the decline, or the other way round.