Maarten Mariën

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Venues

CoRR

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding FO and FO(ID) with Bounds. CoRR (2014)
Pashootan Vaezipoor, David G. Mitchell, Maarten Mariën
Lifted Unit Propagation for Effective Grounding CoRR (2011)
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding FO and FO(ID) with Bounds. J. Artif. Intell. Res. 38 (2010)
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding with Bounds. AAAI (2008)
Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT (2008)
Johan Wittocx, Maarten Mariën, Marc Denecker
Approximate Reasoning in First-Order Logic Theories. KR (2008)
Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundam. Informaticae 79 (1-2) (2007)
Maarten Mariën, Johan Wittocx, Marc Denecker
Integrating Inductive Definitions in SAT. LPAR (2007)
Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Fundam. Informaticae 79 (1-2) (2007)
Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
Predicate Introduction Under Stable and Well-Founded Semantics. ICLP (2006)
Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe
Satisfiability Checking for PC(ID). LPAR (2005)
Maarten Mariën, David Gilis, Marc Denecker
On the Relation Between ID-Logic and Answer Set Programming. JELIA (2004)

Maarten Mariën.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maarten Mariën