The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Broes De Cat" ( http://dblp.L3S.de/Authors/Broes_De_Cat )

  Author page on DBLP  Author page in RDF  Community of Broes De Cat in ASPL-2

Publication years (Num. hits)
2009-2015 (15) 2016-2018 (3)
Publication types (Num. hits)
article(11) incollection(1) inproceedings(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Gerda Janssens, Marc Denecker Predicate logic as a modeling language: the IDP system. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker Bootstrapping Inference in the IDP Knowledge Base System. Search on Bibsonomy New Generation Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Yuliya Lierler Constraint CNF: SAT and CSP Language Under One Roof. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey Lazy Model Expansion: Interleaving Grounding with Search. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating dynamic systems using Linear Time Calculus theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker Predicate Logic as a Modelling Language: The IDP System. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe Lazy Model Expansion: Interleaving Grounding with Search. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating Dynamic Systems Using Linear Time Calculus Theories. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Broes De Cat, Maurice Bruynooghe Detection and exploitation of functional dependencies for model generation. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Jo Devriendt, Marc Denecker Model Expansion in the Presence of Function Symbols Using Constraint Programming. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Marc Denecker, Peter J. Stuckey Lazy Model Expansion by Incremental Grounding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Bart Bogaerts 0001, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer Modeling Machine Learning and Data Mining Problems with FO(·). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Broes De Cat, Marc Denecker, Christopher Mears Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ping Hou, Broes De Cat, Marc Denecker FO(FD): Extending classical logic with rule-based fixpoint definitions Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Ping Hou, Broes De Cat, Marc Denecker FO(FD): Extending classical logic with rule-based fixpoint definitions. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Broes De Cat, Marc Denecker Towards Computing Revised Models for FO Theories. Search on Bibsonomy INAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (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