Johan Wittocx

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Constraint propagation for first-order logic and inductive definitions ACM Transactions on Computational Logic	2015-09-17	Paper
Constraint propagation for first-order logic and inductive definitions ACM Transactions on Computational Logic	2015-09-17	Paper
Answer Set Programming’s Contributions to Classical Logic Lecture Notes in Computer Science	2011-05-19	Paper
An approximative inference method for solving \(\exists \forall \)SO satisfiability problems Logics in Artificial Intelligence	2010-10-01	Paper
Grounding FO and FO(ID) with bounds Journal of Artificial Intelligence Research	2010-05-31	Paper
Debugging for Model Expansion Logic Programming	2009-07-24	Paper
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
Integrating Inductive Definitions in SAT Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
Predicate Introduction Under Stable and Well-Founded Semantics Logic Programming	2008-03-11	Paper
A Deductive System for PC(ID) Logic Programming and Nonmonotonic Reasoning	2007-11-13	Paper
Predicate introduction for logics with a fixpoint semantics. I: Logic programming	2007-10-17	Paper
Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic	2007-10-17	Paper

Research outcomes over time

This page was built for person: Johan Wittocx