Benjamin Kaufmann
Impact in
- Artificial Intelligence top 0.5%
- Logic, Reasoning, and Knowledge
- Multi-Agent Systems and Negotiation
- Logic, programming, and type systems
- Semantic Web and Ontologies
- AI-based Problem Solving and Planning
- Bayesian Modeling and Causal Inference
-
- Formal Methods in Verification
Papers in
-
- Logic, Reasoning, and Knowledge 34
- Multi-Agent Systems and Negotiation 27
- Logic, programming, and type systems 9
- AI-based Problem Solving and Planning 6
- Bayesian Modeling and Causal Inference 5
- Semantic Web and Ontologies 1
-
- Formal Methods in Verification 8
- Co-authors
- Torsten Schaub (34 shared papers)Martin Gebser (28 shared papers)Roland Kaminski (16 shared papers)Max Ostrowski (6 shared papers)Marius Schneider (3 shared papers)Philipp Wanko (4 shared papers)Javier Romero (3 shared papers)Sven Thiele (1 shared paper)
In The Last Decade
Benjamin Kaufmann
33 papers receiving 2.1k citations
Benjamin Kaufmann's Hit Papers
Peers
Comparison fields: 5 of 80
- Artificial Intelligence 1.9k
- Computational Theory and Mathematics 420
- Computer Networks and Communications 460
- Software 73
- Hardware and Architecture 43
Countries citing papers authored by Benjamin Kaufmann
This map shows the geographic impact of Benjamin Kaufmann'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 Benjamin Kaufmann with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Benjamin Kaufmann more than expected).
Fields of papers citing papers by Benjamin Kaufmann
This network shows the impact of papers produced by Benjamin Kaufmann. 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 Benjamin Kaufmann. The network helps show where Benjamin Kaufmann may publish in the future.
Co-authors
The 20 scholars most cited alongside Benjamin Kaufmann, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 34 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | Potassco: The Potsdam Answer Set Solving Collection Hit paper breakdown → | 2011 | 322 |
| 2 | Conflict-driven answer set solving | 2007 | 241 |
| 3 | 2012 | 233 | |
| 4 | 2012 | 228 | |
| 5 | 2007 | 207 | |
| 6 | 2016 | 104 | |
| 7 | 2008 | 90 | |
| 8 | 2013 | 84 | |
| 9 | Conflict-driven disjunctive answer set solving | 2008 | 63 |
| 10 | 2011 | 61 | |
| 11 | 2009 | 57 | |
| 12 | 2012 | 57 | |
| 13 | 2009 | 54 | |
| 14 | 2016 | 43 | |
| 15 | 2015 | 42 | |
| 16 | 2013 | 40 | |
| 17 | 2007 | 35 | |
| 18 | 2018 | 27 | |
| 19 | International conference on logic programming | 2014 | 27 |
| 20 | Advanced conflict-driven disjunctive answer set solving | 2013 | 24 |
About Benjamin Kaufmann
Benjamin Kaufmann is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Sociology and Political Science and Infectious Diseases, having authored 34 papers that have together received 2.2k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (34 papers), Multi-Agent Systems and Negotiation (27 papers), Logic, programming, and type systems (9 papers), Formal Methods in Verification (8 papers), Constraint Satisfaction and Optimization (7 papers), AI-based Problem Solving and Planning (6 papers), Bayesian Modeling and Causal Inference (5 papers) and Semantic Web and Ontologies (1 paper). The work is most often cited by research in Artificial Intelligence (1.9k citations), Computational Theory and Mathematics (420 citations), Computer Networks and Communications (460 citations), Software (73 citations) and Hardware and Architecture (43 citations). Benjamin Kaufmann has collaborated with scholars based in Germany, France and Finland. Frequent co-authors include Torsten Schaub, Martin Gebser, Roland Kaminski, Max Ostrowski, Marius Schneider, Philipp Wanko, Javier Romero, Sven Thiele, Nicola Leone and Simona Perri. Their work appears in journals such as Synthesis lectures on artificial intelligence and machine learning, Lecture notes in computer science, Annals of Operations Research, AI Magazine and Artificial Intelligence.
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.