Maarten Mariën

	2011
11		Pashootan Vaezipoor, David G. Mitchell, Maarten Mariën: Lifted Unit Propagation for Effective Grounding CoRR abs/1109.1317: (2011)
	2010
10		Johan Wittocx, Maarten Mariën, Marc Denecker: Grounding FO and FO(ID) with Bounds. J. Artif. Intell. Res. (JAIR) 38: 223-269 (2010)
	2008
9		Johan Wittocx, Maarten Mariën, Marc Denecker: Grounding with Bounds. AAAI 2008: 572-577
8		Johan Wittocx, Maarten Mariën, Marc Denecker: Approximate Reasoning in First-Order Logic Theories. KR 2008: 103-112
7		Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT 2008: 211-224
	2007
6		Maarten Mariën, Johan Wittocx, Marc Denecker: Integrating Inductive Definitions in SAT. LPAR 2007: 378-392
5		Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker: Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundam. Inform. 79(1-2): 187-208 (2007)
4		Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker: Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Fundam. Inform. 79(1-2): 209-227 (2007)
	2006
3		Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe: Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256
	2005
2		Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe: Satisfiability Checking for PC(ID). LPAR 2005: 565-579
	2004
1		Maarten Mariën, David Gilis, Marc Denecker: On the Relation Between ID-Logic and Answer Set Programming. JELIA 2004: 108-120

Coauthor Index

1	Maurice Bruynooghe	[2] [3] [7]
2	Marc Denecker	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
3	David Gilis	[1]
4	David G. Mitchell	[11]
5	Rudradeb Mitra	[2]
6	Pashootan Vaezipoor	[11]
7	Joost Vennekens	[3] [4] [5]
8	Johan Wittocx	[3] [4] [5] [6] [7] [8] [9] [10]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page