Johan Wittocx

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