Predicate Introduction Under Stable and Well-Founded Semantics. - Johan Wittocx; Joost Vennekens; Maarten Mariën; Marc Denecker; Maurice Bruynooghe (ICLP, 2006)

Integrating Inductive Definitions in SAT. - Maarten Mariën; Johan Wittocx; Marc Denecker (LPAR, 2007)

A Deductive System for PC(ID). - Ping Hou; Johan Wittocx; Marc Denecker (LPNMR, 2007)

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. - Joost Vennekens; Johan Wittocx; Maarten Mariën; Marc Denecker (Fundam. Informaticae, 2007)

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. - Joost Vennekens; Johan Wittocx; Maarten Mariën; Marc Denecker (Fundam. Informaticae, 2007)

Grounding with Bounds. - Johan Wittocx; Maarten Mariën; Marc Denecker (AAAI, 2008)

Approximate Reasoning in First-Order Logic Theories. - Johan Wittocx; Maarten Mariën; Marc Denecker (KR, 2008)

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. - Maarten Mariën; Johan Wittocx; Marc Denecker; Maurice Bruynooghe (SAT, 2008)

Debugging for Model Expansion. - Johan Wittocx; Hanne Vlaeminck; Marc Denecker (ICLP, 2009)

Towards Computing Revised Models for FO Theories. - Johan Wittocx; Broes De Cat; Marc Denecker (INAP, 2009)

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. - Hanne Vlaeminck; Johan Wittocx; Joost Vennekens; Marc Denecker; Maurice Bruynooghe (JELIA, 2010)

Constraint Propagation for Extended First-Order Logic - Johan Wittocx; Marc Denecker; Maurice Bruynooghe (CoRR, 2010)

Grounding FO and FO(ID) with Bounds. - Johan Wittocx; Maarten Mariën; Marc Denecker (J. Artif. Intell. Res., 2010)

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. - Marc Denecker; Joost Vennekens; Hanne Vlaeminck; Johan Wittocx; Maurice Bruynooghe (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

A Prototype of a Knowledge-Based Programming Environment. - Stef De Pooter; Johan Wittocx; Marc Denecker (INAP/WLP, 2011)

Finite domain and symbolic inference methods for extensions of first-order logic. - Johan Wittocx (AI Commun., 2011)

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions - Ping Hou; Johan Wittocx; Marc Denecker (CoRR, 2012)

Constraint Propagation for First-Order Logic and Inductive Definitions. - Johan Wittocx; Marc Denecker; Maurice Bruynooghe (ACM Trans. Comput. Log., 2013)