Johan Wittocx

The IDP system: A model expansion system for an extension of classical logic

Johan Wittocx, Maarten Mariën, Marc Denecker · Lirias (KU Leuven) · 2008 · 69 citations · Full text

The IDP framework for declarative problem solving

Maarten Mariën, Johan Wittocx, Marc Denecker · Lirias (KU Leuven) · 2006 · 27 citations · Full text

Grounding with bounds

Johan Wittocx, Maarten Mariën, Marc Denecker · National Conference on Artificial Intelligence · 2008 · 16 citations · Full text

Constraint Propagation for First-Order Logic and Inductive Definitions

Johan Wittocx, Marc Denecker, Maurice Bruynooghe · ACM Transactions on Computational Logic · 2013 · 14 citations · Full text

Constraint Solving, Engineering, Inductive Definitions +14

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Joost Vennekens, Johan Wittocx, Maarten Mariën et al. · Fundamenta Informaticae · 2007 · 13 citations

Applied Logic, Computational Logic, Non-classical Logic +15