 | 2009 |
|---|
| 9 |       | Johan Wittocx,
Hanne Vlaeminck,
Marc Denecker:
Debugging for Model Expansion.
ICLP 2009: 296-311 |
| 2008 |
|---|
| 8 |  | Johan Wittocx,
Maarten Mariën,
Marc Denecker:
Grounding with Bounds.
AAAI 2008: 572-577 |
| 7 | | Johan Wittocx,
Maarten Mariën,
Marc Denecker:
Approximate Reasoning in First-Order Logic Theories.
KR 2008: 103-112 |
| 6 | | Maarten Mariën,
Johan Wittocx,
Marc Denecker,
Maurice Bruynooghe:
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.
SAT 2008: 211-224 |
| 2007 |
|---|
| 5 | | Maarten Mariën,
Johan Wittocx,
Marc Denecker:
Integrating Inductive Definitions in SAT.
LPAR 2007: 378-392 |
| 4 | | Ping Hou,
Johan Wittocx,
Marc Denecker:
A Deductive System for PC(ID).
LPNMR 2007: 162-174 |
| 3 | | Joost Vennekens,
Johan Wittocx,
Maarten Mariën,
Marc Denecker:
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.
Fundam. Inform. 79(1-2): 187-208 (2007) |
| 2 | | Joost Vennekens,
Johan Wittocx,
Maarten Mariën,
Marc Denecker:
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.
Fundam. Inform. 79(1-2): 209-227 (2007) |
| 2006 |
|---|
| 1 | | Johan Wittocx,
Joost Vennekens,
Maarten Mariën,
Marc Denecker,
Maurice Bruynooghe:
Predicate Introduction Under Stable and Well-Founded Semantics.
ICLP 2006: 242-256 |
