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 engineering, automated reasoning, and computer science.
Top concepts
EngineeringAutomated ReasoningComputer ScienceFormal MethodsFormal VerificationLogic ProgrammingSemanticsKnowledge CompilationKnowledge RepresentationSemantic Web
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 · 303 citations
Artificial Intelligence, Ai Architecture, Engineering +7
Well-founded and stable semantics of logic programs with aggregates
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe · Theory and Practice of Logic Programming · 2007 · 155 citations · Full text
Applied Logic, Engineering, Aggregate Program +12
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 · 115 citations · Full text
Computational Logic, Probabilistic Ontology, Probability Logic +14
A logic of nonmonotone inductive definitions
Marc Denecker, Eugenia Ternovska · ACM Transactions on Computational Logic · 2008 · 106 citations · Full text
Non-classical Logic, Nonmonotone Inductive Definitions, Engineering +12
SLDNFA: An abductive procedure for abductive logic programs
Marc Denecker, Danny De Schreye · The Journal of Logic Programming · 1998 · 102 citations · Full text
Computational Logic, Abductive Procedure, Abduction +7
1–5 of 59