Maarten Mariën

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