Johan Wittocx
发表
Maurice Bruynooghe,
Johan Wittocx,
Maarten Mariën,
2008,
SAT.
Johan Wittocx,
Maarten Mariën,
Marc Denecker,
2008
.
M. Denecker,
Johan Wittocx,
2010
.
M. Denecker,
Johan Wittocx,
Maarten Mari ën,
2008
.
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
pdf
Ping Hou,
Johan Wittocx,
Marc Denecker,
2012,
ArXiv.
Maurice Bruynooghe,
Joost Vennekens,
Johan Wittocx,
2011,
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.
Johan Wittocx,
Maarten Mariën,
Marc Denecker,
2008,
KR.
Johan Wittocx,
Maarten Mariën,
Marc Denecker,
2008,
Non-Monotonic Reasoning.
Johan Wittocx,
Johan Wittocx,
2010,
AI Commun..
Johan Wittocx,
Maarten Mariën,
Marc Denecker,
2010,
J. Artif. Intell. Res..
Johan Wittocx,
Marc Denecker,
Broes De Cat,
2009,
INAP.
Johan Wittocx,
Maarten Mariën,
Marc Denecker,
2008,
AAAI.
Johan Wittocx,
Maarten Mariën,
Marc Denecker,
2007
.
Johan Wittocx,
Maarten Mariën,
Marc Denecker,
2006
.
Joost Vennekens,
Johan Wittocx,
Maarten Mariën,
2007,
Fundam. Informaticae.
Johan Wittocx,
Marc Denecker,
Hanne Vlaeminck,
2009,
ICLP.