Maarten Marin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | AAAI | Grounding with Bounds. | Johan Wittocx, Maarten Marin, Marc Denecker |
| 2008 | KR | Approximate Reasoning in First-Order Logic Theories. | Johan Wittocx, Maarten Marin, Marc Denecker |
| 2008 | SAT | SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. | Maarten Marin, Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
| 2007 | LPAR | Integrating Inductive Definitions in SAT. | Maarten Marin, Johan Wittocx, Marc Denecker |
| 2006 | ICLP | Predicate Introduction Under Stable and Well-Founded Semantics. | Johan Wittocx, Joost Vennekens, Maarten Marin, Marc Denecker, Maurice Bruynooghe |
| 2005 | LPAR | Satisfiability Checking for PC(ID). | Maarten Marin, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe |
| 2004 | JELIA | On the Relation Between ID-Logic and Answer Set Programming. | Maarten Marin, David Gilis, Marc Denecker |