Concepedia
Statistics
Publications
59
Citations
2.4K
H-Index
28
Active since
1992
Affiliations
KU Leuven(Current)
Academic College of Tel Aviv-Yafo
Simon Fraser University
University of Kentucky
Marc Denecker is an author at KU Leuven specializing in computer science, computing, and logic.
Publications per year
1992–2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016
Joachim Jansen, Bart Bogaerts, Jo Devriendt et al. · International Joint Conference on Artificial Intelligence · 2016 · 304 citations
Computing, Computer Science, Artificial Intelligence +10
Well-founded and stable semantics of logic programs with aggregates
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe · Theory and Practice of Logic Programming · 2007 · 160 citations · Full text
Computing, Computer Science, Logic +9
CP-logic: A language of causal probabilistic events and its relation to logic programming
Joost Vennekens, Marc Denecker, Maurice Bruynooghe · Theory and Practice of Logic Programming · 2009 · 118 citations · Full text
Computing, Computer Science, Knowledge Representation +15
A logic of nonmonotone inductive definitions
Marc Denecker, Eugenia Ternovska · ACM Transactions on Computational Logic · 2008 · 109 citations · Full text
Humanities, Computer Science, Mathematics +11
SLDNFA: An abductive procedure for abductive logic programs
Marc Denecker, Danny De Schreye · The Journal of Logic Programming · 1998 · 102 citations · Full text
Computing, Computer Science, Algorithms +9
1–5 of 59