Johan Wittocx

Identifiers

• name variant Johan Wittocx 0.60 · backfill

Papers (4)

1. Grounding FO and FO(ID) with Bounds cs.LO · 2014 · author #1
2. LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions cs.LO · 2012 · author #2
3. A prototype of a knowledge-based programming environment cs.AI · 2011 · author #2
4. Constraint Propagation for First-Order Logic and Inductive Definitions cs.LO · 2010 · author #1

Mentions

• 1401.3840 #1 · backfill · confidence 0.70 Johan Wittocx
• 1207.2534 #2 · backfill · confidence 0.70 Johan Wittocx
• 1108.5667 #2 · backfill · confidence 0.70 Johan Wittocx
• 1008.2121 #1 · backfill · confidence 0.70 Johan Wittocx

Frequent Coauthors

• Marc Denecker 4 shared papers
• Maarten Mari\"en 1 shared papers
• Maurice Bruynooghe 1 shared papers
• Ping Hou 1 shared papers
• Stef De Pooter 1 shared papers