Picture for Johan Wittocx

Johan Wittocx

Grounding FO and FO(ID) with Bounds

Add code
Jan 16, 2014
Figure 1 for Grounding FO and FO(ID) with Bounds
Figure 2 for Grounding FO and FO(ID) with Bounds
Figure 3 for Grounding FO and FO(ID) with Bounds
Figure 4 for Grounding FO and FO(ID) with Bounds
Viaarxiv icon

LPC: A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions

Add code
Jul 11, 2012
Viaarxiv icon

A prototype of a knowledge-based programming environment

Add code
Aug 29, 2011
Viaarxiv icon

Constraint Propagation for First-Order Logic and Inductive Definitions

Add code
Jul 08, 2011
Figure 1 for Constraint Propagation for First-Order Logic and Inductive Definitions
Figure 2 for Constraint Propagation for First-Order Logic and Inductive Definitions
Viaarxiv icon