BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × China
2 × USA
Collaborated with:
M.Denecker M.Mariën M.Bruynooghe H.Vlaeminck J.Vennekens
Talks about:
logic (2) introduct (1) proposit (1) approxim (1) satisfi (1) definit (1) theori (1) semant (1) reason (1) predic (1)

Person: Johan Wittocx

DBLP DBLP: Wittocx:Johan

Contributed to:

ICLP 20092009
KR 20082008
SAT 20082008
ICLP 20062006

Wrote 4 papers:

ICLP-2009-WittocxVD #debugging
Debugging for Model Expansion (JW, HV, MD), pp. 296–311.
KR-2008-WittocxMD #approximate #first-order #logic #reasoning
Approximate Reasoning in First-Order Logic Theories (JW, MM, MD), pp. 103–112.
SAT-2008-MarienWDB #induction #logic #satisfiability
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (MM, JW, MD, MB), pp. 211–224.
ICLP-2006-WittocxVMDB #semantics
Predicate Introduction Under Stable and Well-Founded Semantics (JW, JV, MM, MD, MB), pp. 242–256.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.