Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hanne Vlaeminck" ( http://dblp.L3S.de/Authors/Hanne_Vlaeminck )

  Author page on DBLP  Author page in RDF  Community of Hanne Vlaeminck in ASPL-2

Publication years (Num. hits)
2009 (2) 2010 (1) 2011 (1)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
ICLP(1) JELIA(1) Logic Programming, Knowledge R...(1) PPDP(1)
Authors
Hanne Vlaeminck(4) Marc Denecker(4) Johan Wittocx(3) Joost Vennekens(3) Maurice Bruynooghe(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Hanne Vlaeminck, Marc Denecker Debugging for Model Expansion. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Marc Denecker A logical framework for configuration software. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software engineering, knowledge representation, product configuration
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.