Marc Denecker
Impact in
- Artificial Intelligence top 1%
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- Multi-Agent Systems and Negotiation
- Logic, programming, and type systems
- AI-based Problem Solving and Planning
- Bayesian Modeling and Causal Inference
-
- Constraint Satisfaction and Optimization
Papers in
-
- Logic, Reasoning, and Knowledge 90
- Semantic Web and Ontologies 59
- Logic, programming, and type systems 32
- Multi-Agent Systems and Negotiation 26
-
- Advanced Algebra and Logic 20
- Formal Methods in Verification 10
- Co-authors
- Maurice Bruynooghe (30 shared papers)Danny De Schreye (14 shared papers)Bart Bogaerts (26 shared papers)Joost Vennekens (29 shared papers)Jo Devriendt (6 shared papers)Joachim Jansen (4 shared papers)Gerda Janssens (6 shared papers)Eugenia Ternovska (3 shared papers)
In The Last Decade
Marc Denecker
115 papers receiving 1.3k citations
Peers
Comparison fields: 5 of 85
- Artificial Intelligence 1.2k
- Computer Networks and Communications 310
- Computational Theory and Mathematics 197
- Software 34
- Information Systems 144
Countries citing papers authored by Marc Denecker
This map shows the geographic impact of Marc Denecker'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 Marc Denecker with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marc Denecker more than expected).
Fields of papers citing papers by Marc Denecker
This network shows the impact of papers produced by Marc Denecker. 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 Marc Denecker. The network helps show where Marc Denecker may publish in the future.
Co-authors
The 25 scholars most cited alongside Marc Denecker, 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 127 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016 | 2016 | 253 |
| 2 | 2007 | 69 | |
| 3 | 2009 | 67 | |
| 4 | 1998 | 55 | |
| 5 | 2003 | 49 | |
| 6 | 2008 | 47 | |
| 7 | 2004 | 40 | |
| 8 | A-system: problem solving through abduction | 2001 | 39 |
| 9 | The IDP system: A model expansion system for an extension of classical logic | 2008 | 35 |
| 10 | SLDNFA: an abductive procedure for normal abductive programs | 1992 | 35 |
| 11 | Temporal reasoning with abductive event calculus | 1992 | 33 |
| 12 | 2007 | 29 | |
| 13 | 2017 | 28 | |
| 14 | 1995 | 25 | |
| 15 | 2006 | 24 | |
| 16 | An Inductive Definition Approach to Ramifications. | 1998 | 21 |
| 17 | 1995 | 19 | |
| 18 | 2015 | 18 | |
| 19 | 2004 | 17 | |
| 20 | 2008 | 17 |
About Marc Denecker
Marc Denecker is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Information Systems and Management Information Systems, having authored 127 papers that have together received 1.5k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (90 papers), Semantic Web and Ontologies (59 papers), Logic, programming, and type systems (32 papers), Multi-Agent Systems and Negotiation (26 papers), Advanced Algebra and Logic (20 papers), Constraint Satisfaction and Optimization (12 papers), Advanced Database Systems and Queries (11 papers) and Formal Methods in Verification (10 papers). The work is most often cited by research in Artificial Intelligence (1.2k citations), Computer Networks and Communications (310 citations), Computational Theory and Mathematics (197 citations), Software (34 citations) and Information Systems (144 citations). Marc Denecker has collaborated with scholars based in Belgium, France and Israel. Frequent co-authors include Maurice Bruynooghe, Danny De Schreye, Bart Bogaerts, Joost Vennekens, Jo Devriendt, Joachim Jansen, Gerda Janssens, Eugenia Ternovska, Mirosław Truszczyński and Victor W. Marek. Their work appears in journals such as Theory and Practice of Logic Programming, ACM Transactions on Computational Logic, Artificial Intelligence, The Journal of Logic Programming and Journal of Artificial Intelligence Research.
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.