Manfred Kerber

846 citations
48 papers · 166 · h-index 8

Impact in

    • Logic, programming, and type systems
    • Logic, Reasoning, and Knowledge
    • Semantic Web and Ontologies
    • AI-based Problem Solving and Planning

Papers in

Manfred Kerber

41 papers receiving 140 citations

Peers

Manfred Kerber
Comparison fields: 5 of 45
  • Artificial Intelligence 116
  • Software 13
  • Computational Theory and Mathematics 48
  • Theoretical Computer Science 3
  • Management Science and Operations Research 26
Replace Florian Rabe with:
Florian Rabe Germany
Ulrich Furbach Germany
Andrey Kolobov United States
Paulo A. S. Veloso Brazil
Martin C. Henson United Kingdom
Marc-Philippe Huget United Kingdom
Yuting Zhao China
Yaron Velner Israel
Philippe Codognet France
Ming‐Ho Yee Canada
Manfred Kerber relative to Florian Rabe Germany Florian Rabe's profile →
Citations per field
00.5×5.2×
Florian Rabe · 1×
Citations per year

Countries citing papers authored by Manfred Kerber

Since Specialization
Citations

This map shows the geographic impact of Manfred Kerber's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Manfred Kerber with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Manfred Kerber more than expected).

Fields of papers citing papers by Manfred Kerber

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Manfred Kerber. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Manfred Kerber. The network helps show where Manfred Kerber may publish in the future.

Co-authors

The 24 scholars most cited alongside Manfred Kerber, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Manfred Kerber Line = papers co-authored together Manfred Kerber links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 48 papers — load more, or switch the sort, to bring in the rest.

#Work
1 199823
2 200715
3 20169
4 20098
5
Symbolic computation and automated reasoning
20017
6 20067
7 19927
8 19927
9 19945
10 20165
11
Automatic learning in proof planning
20024
12 20154
13 20104
14
Proceedings of the First International Conference on Computational Logic
20004
15 19904
16
Informal and Formal Representations in Mathematics
20073
17
Towards learning new methods in proof planning
20013
18
A Lost Proof
20013
19 19923
20 20063

About Manfred Kerber

Manfred Kerber is a scholar working on Artificial Intelligence, Management Science and Operations Research, Economics and Econometrics, Computational Theory and Mathematics and Computer Networks and Communications, having authored 48 papers that have together received 166 indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (16 papers), Logic, programming, and type systems (13 papers), Semantic Web and Ontologies (11 papers), Game Theory and Voting Systems (8 papers), Auction Theory and Applications (7 papers), Economic theories and models (6 papers), Game Theory and Applications (6 papers) and Evolutionary Algorithms and Applications (4 papers). The work is most often cited by research in Artificial Intelligence (116 citations), Software (13 citations), Computational Theory and Mathematics (48 citations), Theoretical Computer Science (3 citations) and Management Science and Operations Research (26 citations). Manfred Kerber has collaborated with scholars based in United Kingdom, Germany and Denmark. Frequent co-authors include Michael Kohlhase, Volker Sorge, Mateja Jamnik, Christoph Benzmüller, Tim Kovacs, Florian Kammüller, Martin Pollet, Erica Melis⋆, Christoph Lange and Christian W. Probst. Their work appears in journals such as International Journal of Game Theory, Evolutionary Computation, Mathematical Social Sciences, Journal of Applied Logic and Journal of Automated Reasoning.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact