Denecker, Marc

16 publications

AAAI 2024 Using Symmetries to Lift Satisfiability Checking Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker

IJCAI 2021 On the Relation Between Approximation Fixpoint Theory and Justification Theory Simon Marynissen, Bart Bogaerts, Marc Denecker

IJCAI 2017 Safe Inductions: An Algebraic Study Bart Bogaerts, Joost Vennekens, Marc Denecker

IJCAI 2016 Distributed Autoepistemic Logic and Its Application to Access Control Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker

IJCAI 2016 Relevance for SAT(ID) Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker

AAAI 2015 Grounded Fixpoints Bart Bogaerts, Joost Vennekens, Marc Denecker

JAIR 2015 Lazy Model Expansion: Interleaving Grounding with Search Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey

IJCAI 2015 Partial Grounded Fixpoints Bart Bogaerts, Joost Vennekens, Marc Denecker

JAIR 2012 An Approximative Inference Method for Solving ∃∀SO Satisfiability Problems Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe

JAIR 2010 Grounding FO and FO(ID) with Bounds Johan Wittocx, Maarten Mariën, Marc Denecker

AAAI 2008 Grounding with Bounds Johan Wittocx, Maarten Mariën, Marc Denecker

AAAI 2007 Approximate Query Answering in Locally Closed Databases Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe

JAIR 2004 Coherent Integration of Databases by Abductive Logic Programming Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe

IJCAI 2001 A-System: Problem Solving Through Abduction Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker

AAAI 1998 Fixpoint 3-Valued Semantics for Autoepistemic Logic Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski

IJCAI 1995 AILP: Abductive Inductive Logic Programming Hilde Adé, Marc Denecker