AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Marc Denecker

Marc Denecker

Catholic University of Leuven - Leuven / Belgium
Engineering & Technology / Computer Science
AD Scientific Index ID: 1402971
Katholieke Universiteit Leuven
person_outline Marc Denecker's MOST POPULAR ARTICLES
1-) Abduction in logic programming Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002
2-) Well-founded and stable semantics of logic programs with aggregates Theory and Practice of Logic Programming 7 (3), 301-353, 2007
3-) CP-logic: A language of causal probabilistic events and its relation to logic programming Theory and practice of logic programming 9 (3), 245-308, 2009
4-) A logic of nonmonotone inductive definitions ACM transactions on computational logic (TOCL) 9 (2), 1-52, 2008
5-) Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning Logic-based artificial intelligence, 127-144, 2000