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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johan Wittocx