Johan Wittocx

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Transitive Closure

Constraint Propagation

Propositional Logic

Top Venues

ACM Trans. Comput. Log.

Publications

Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding FO and FO(ID) with Bounds. CoRR (2014)
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Constraint Propagation for First-Order Logic and Inductive Definitions. ACM Trans. Comput. Log. 14 (3) (2013)
Ping Hou, Johan Wittocx, Marc Denecker
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions CoRR (2012)
Stef De Pooter, Johan Wittocx, Marc Denecker
A Prototype of a Knowledge-Based Programming Environment. INAP/WLP (2011)
Johan Wittocx
Finite domain and symbolic inference methods for extensions of first-order logic. AI Commun. 24 (1) (2011)
Stef De Pooter, Johan Wittocx, Marc Denecker
A prototype of a knowledge-based programming environment CoRR (2011)
Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Constraint Propagation for Extended First-Order Logic CoRR (2010)
Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. JELIA (2010)
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding FO and FO(ID) with Bounds. J. Artif. Intell. Res. 38 (2010)
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
Debugging for Model Expansion. ICLP (2009)
Johan Wittocx, Broes De Cat, Marc Denecker
Towards Computing Revised Models for FO Theories. INAP (2009)
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding with Bounds. AAAI (2008)
Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT (2008)
Johan Wittocx, Maarten Mariën, Marc Denecker
Approximate Reasoning in First-Order Logic Theories. KR (2008)
Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundam. Informaticae 79 (1-2) (2007)
Maarten Mariën, Johan Wittocx, Marc Denecker
Integrating Inductive Definitions in SAT. LPAR (2007)
Ping Hou, Johan Wittocx, Marc Denecker
A Deductive System for PC(ID). LPNMR (2007)
Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Fundam. Informaticae 79 (1-2) (2007)
Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
Predicate Introduction Under Stable and Well-Founded Semantics. ICLP (2006)