Johan Wittocx
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | JELIA | An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2009 | ICLP | Debugging for Model Expansion. | Johan Wittocx, Hanne Vlaeminck, Marc Denecker |
| 2008 | AAAI | Grounding with Bounds. | Johan Wittocx, Maarten Marin, Marc Denecker |
| 2008 | KR | Approximate Reasoning in First-Order Logic Theories. | Johan Wittocx, Maarten Marin, Marc Denecker |
| 2008 | SAT | SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. | Maarten Marin, Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
| 2007 | LPAR | Integrating Inductive Definitions in SAT. | Maarten Marin, Johan Wittocx, Marc Denecker |
| 2007 | LPNMR | A Deductive System for PC(ID). | Ping Hou, Johan Wittocx, Marc Denecker |
| 2006 | ICLP | Predicate Introduction Under Stable and Well-Founded Semantics. | Johan Wittocx, Joost Vennekens, Maarten Marin, Marc Denecker, Maurice Bruynooghe |