Benjamin Kaufmann
Impact in
- Artificial Intelligence top 1%
- 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 18
- Multi-Agent Systems and Negotiation 15
- Logic, programming, and type systems 7
- AI-based Problem Solving and Planning 3
-
- Formal Methods in Verification 5
- Co-authors
- Torsten Schaub (18 shared papers)Martin Gebser (13 shared papers)Roland Kaminski (7 shared papers)Max Ostrowski (5 shared papers)Marius Schneider (1 shared paper)Philipp Wanko (4 shared papers)Simona Perri (1 shared paper)Nicola Leone (1 shared paper)
In The Last Decade
Benjamin Kaufmann
18 papers receiving 974 citations
Peers
Comparison fields: 5 of 66
- Artificial Intelligence 886
- Computational Theory and Mathematics 193
- Computer Networks and Communications 204
- Software 33
- Hardware and Architecture 34
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 15 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
| # | Work | ||
|---|---|---|---|
| 1 | 2011 | 208 | |
| 2 | 2012 | 159 | |
| 3 | Conflict-driven answer set solving | 2007 | 155 |
| 4 | 2012 | 136 | |
| 5 | 2016 | 77 | |
| 6 | 2013 | 50 | |
| 7 | Conflict-driven disjunctive answer set solving | 2008 | 43 |
| 8 | 2012 | 40 | |
| 9 | 2016 | 28 | |
| 10 | 2013 | 27 | |
| 11 | International conference on logic programming | 2014 | 23 |
| 12 | Advanced conflict-driven disjunctive answer set solving | 2013 | 18 |
| 13 | 2018 | 17 | |
| 14 | 2011 | 17 | |
| 15 | 2017 | 13 | |
| 16 | 2016 | 12 | |
| 17 | 2018 | 6 | |
| 18 | ASP for anytime dynamic programming on tree decompositions | 2016 | 2 |
About Benjamin Kaufmann
Benjamin Kaufmann is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Infectious Diseases and Organic Chemistry, having authored 18 papers that have together received 1.0k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (18 papers), Multi-Agent Systems and Negotiation (15 papers), Logic, programming, and type systems (7 papers), Formal Methods in Verification (5 papers), Constraint Satisfaction and Optimization (4 papers) and AI-based Problem Solving and Planning (3 papers). The work is most often cited by research in Artificial Intelligence (886 citations), Computational Theory and Mathematics (193 citations), Computer Networks and Communications (204 citations), Software (33 citations) and Hardware and Architecture (34 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, Simona Perri, Nicola Leone, Javier Romero and Mutsunori Banbara. Their work appears in journals such as Artificial Intelligence, Theory and Practice of Logic Programming, Annals of Operations Research, AI Magazine and KI - Künstliche Intelligenz.
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.