Search the dblp DataBase

Publications of Author

1. Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
   Predicate Introduction Under Stable and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
   ICLP, 2006, pp:242-256 [Conf]
   
2. Ping Hou, Johan Wittocx, Marc Denecker
   A Deductive System for PC(ID). [Citation Graph (0, 0)][DBLP]
   LPNMR, 2007, pp:162-174 [Conf]
   
3. Maarten Mariën, Johan Wittocx, Marc Denecker
   Integrating Inductive Definitions in SAT. [Citation Graph (0, 0)][DBLP]
   LPAR, 2007, pp:378-392 [Conf]
   
4. Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
   Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:79, n:1-2, pp:209-227 [Journal]
   
5. Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
   Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:79, n:1-2, pp:187-208 [Journal]
   
6. 
   Grounding with Bounds. [Citation Graph (, )][DBLP]
   
   
7. 
   Debugging for Model Expansion. [Citation Graph (, )][DBLP]
   
   
8. 
   An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. [Citation Graph (, )][DBLP]
   
   
9. 
   Approximate Reasoning in First-Order Logic Theories. [Citation Graph (, )][DBLP]
   
   
10. 
    SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. [Citation Graph (, )][DBLP]
    
    
11. 
    Constraint Propagation for Extended First-Order Logic [Citation Graph (, )][DBLP]