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: Mari=euml=n:Maarten
Contributed to:
2008
2008
2006Wrote 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.