Johan Wittocx

According to our database, Johan Wittocx authored at least 18 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Constraint Propagation for First-Order Logic and Inductive Definitions.

Johan Wittocx, Marc Denecker, Maurice Bruynooghe

ACM Trans. Comput. Log., 2013

2012

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions

Ping Hou, Johan Wittocx, Marc Denecker

CoRR, 2012

2011

Finite domain and symbolic inference methods for extensions of first-order logic.

Johan Wittocx

AI Commun., 2011

A Prototype of a Knowledge-Based Programming Environment.

Stef De Pooter, Johan Wittocx, Marc Denecker

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.

Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Grounding FO and FO(ID) with Bounds.

Johan Wittocx, Maarten Mariën, Marc Denecker

J. Artif. Intell. Res., 2010

Constraint Propagation for Extended First-Order Logic

Johan Wittocx, Marc Denecker, Maurice Bruynooghe

CoRR, 2010

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.

Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Towards Computing Revised Models for FO Theories.

Johan Wittocx, Broes De Cat, Marc Denecker

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

Debugging for Model Expansion.

Johan Wittocx, Hanne Vlaeminck, Marc Denecker

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.

Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Approximate Reasoning in First-Order Logic Theories.

Johan Wittocx, Maarten Mariën, Marc Denecker

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Grounding with Bounds.

Johan Wittocx, Maarten Mariën, Marc Denecker

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.

Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker

Fundam. Informaticae, 2007

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.

Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker

Fundam. Informaticae, 2007

A Deductive System for PC(ID).

Ping Hou, Johan Wittocx, Marc Denecker

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Integrating Inductive Definitions in SAT.

Maarten Mariën, Johan Wittocx, Marc Denecker

Proceedings of the Logic for Programming, 2007

2006

Predicate Introduction Under Stable and Well-Founded Semantics.

Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe

Proceedings of the Logic Programming, 22nd International Conference, 2006