The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Maarten Mariën" ( http://dblp.L3S.de/Authors/Maarten_Mariën )

  Author page on DBLP  Author page in RDF  Community of Maarten Mariën in ASPL-2

Publication years (Num. hits)
2004-2014 (13)
Publication types (Num. hits)
article(5) inproceedings(7) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 14 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Johan Wittocx, Maarten Mariën, Marc Denecker Grounding FO and FO(ID) with Bounds. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pashootan Vaezipoor, David G. Mitchell, Maarten Mariën Lifted Unit Propagation for Effective Grounding Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Johan Wittocx, Maarten Mariën, Marc Denecker Grounding FO and FO(ID) with Bounds. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maarten Mariën Model Generation for ID-Logic (Modelgeneratie voor ID-logica) ; Model Generation for ID-Logic. Search on Bibsonomy 2009   RDF
1Johan Wittocx, Maarten Mariën, Marc Denecker Grounding with Bounds. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Maarten Mariën, Marc Denecker Approximate Reasoning in First-Order Logic Theories. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Maarten Mariën, Johan Wittocx, Marc Denecker Integrating Inductive Definitions in SAT. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe Predicate Introduction Under Stable and Well-Founded Semantics. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe Satisfiability Checking for PC(ID). Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Maarten Mariën, David Gilis, Marc Denecker On the Relation Between ID-Logic and Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license