BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × China
1 × USA
Collaborated with:
J.Wittocx M.Denecker M.Bruynooghe 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: Maarten Mariën

DBLP DBLP: Mari=euml=n:Maarten

Contributed to:

KR 20082008
SAT 20082008
ICLP 20062006

Wrote 3 papers:

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.