Concepedia

Marc Denecker

MD

59

Publications

2.4K

Citations

28

H-Index

1992

Active since

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

59

Publications

59

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

Rows per page

1–5 of 59