The following pages link to Johan Wittocx (Q2946702):
Displaying 11 items.
- Constraint Propagation for First-Order Logic and Inductive Definitions (Q2946703) (← links)
- Answer Set Programming’s Contributions to Classical Logic (Q3001911) (← links)
- Integrating Inductive Definitions in SAT (Q3498482) (← links)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (Q3502709) (← links)
- Grounding FO and FO(ID) with Bounds (Q3563101) (← links)
- An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems (Q4930775) (← links)
- Debugging for Model Expansion (Q5325763) (← links)
- (Q5422271) (← links)
- (Q5422272) (← links)
- A Deductive System for PC(ID) (Q5425406) (← links)
- Predicate Introduction Under Stable and Well-Founded Semantics (Q5449604) (← links)
