Johan Wittocx

Available identifiers

zbMath Open wittocx.johanMaRDI QIDQ2946702

List of research outcomes

Publication	Date of Publication	Type
Constraint Propagation for First-Order Logic and Inductive Definitions	2015-09-17	Paper
Answer Set Programming’s Contributions to Classical Logic	2011-05-19	Paper
An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems	2010-10-01	Paper
Grounding FO and FO(ID) with Bounds	2010-05-31	Paper
Debugging for Model Expansion	2009-07-24	Paper
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions	2008-05-27	Paper
Integrating Inductive Definitions in SAT	2008-05-15	Paper
Predicate Introduction Under Stable and Well-Founded Semantics	2008-03-11	Paper
A Deductive System for PC(ID)	2007-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q5422271	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5422272	2007-10-17	Paper

Research outcomes over time

This page was built for person: Johan Wittocx