Publications of Broes De Cat
period 2009 - 2012
Articles in internationally reviewed journals
1 reference- Hou, Ping;
De Cat, Broes;
Denecker, Marc.
FO(FD): Extending classical logic with rule-based fixpoint definitions, Theory and Practice of Logic Programming, volume 10, issue 4-6, pages 581-596, 2010
Papers at international conferences and symposia, published in full in proceedings
6 references- Blockeel, Hendrik;
Bogaerts, Bart;
Bruynooghe, Maurice;
De Cat, Broes;
De Pooter, Stef;
Denecker, Marc;
Labarre, Anthony;
Ramon, Jan;
Verwer, Sicco.
Modeling Machine Learning and Data Mining Problems with FO(·), Dovier, Agostino; Santos Costa, Vítor (eds.), International Conference on Logic Programming, Budapest, September 4-8, 2012, Proceedings of the 28th International Conference on Logic Programming - Technical Communications (ICLP'12), pages 14 -25, Schloss Daghstuhl - Leibniz-Zentrum fuer Informatik
- Devriendt, Jo;
Bogaerts, Bart;
Mears, Christopher;
De Cat, Broes;
Denecker, Marc.
Symmetry propagation: Improved dynamic symmetry breaking in SAT, ICTAI, Ahtens, Greece, 7-9 November 2012, Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'12
- De Cat, Broes;
Machiels, Christophe;
Janssens, Gerda;
Denecker, Marc.
Regularity requirements in university course timetabling, Workshop on Preferences and Soft Constraints, Perugia, 12 September 2011, Proceedings of the 11th Workshop on Preferences and Soft Constraints (SofT 2011), pages 31-45
- Denecker, Marc;
De Cat, Broes.
DPLL(Agg): An efficient SMT module for aggregates, Logic and Search, Edinburgh, 15 July 2010
- Bruynooghe, Maurice;
De Cat, Broes;
Drijkoningen, Jochen;
Fierens, Daan;
Goos, Jan;
Gutmann, Bernd;
Kimmig, Angelika;
Labeeuw, Wouter;
Langenaken, Steven;
Landwehr, Niels;
Meert, Wannes;
Nuyts, Ewoud;
Pellegrims, Robin;
Rymenants, Roel;
Segers, Stefan;
Thon, Ingo;
Van Eyck, Jelle;
Van den Broeck, Guy;
Vangansewinkel, Tine;
Van Hove, Lucie;
Vennekens, Joost;
Weytjens, Timmy;
De Raedt, Luc.
An exercise with statistical relational learning systems, Domingos, Pedro; Kersting, Kristian (eds.), International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009
- Wittocx, Johan;
De Cat, Broes;
Denecker, Marc.
Towards computing revised models for FO theories, Abreu, Salvador; Seipel, Dietmar (eds.), International Conference on Applications of Declarative Programming and Knowledge Management, Evora, Portugal, 5-7 November 2009, Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management 2009, volume 6547, pages 199-211
Meeting abstracts, presented at international conferences and symposia
2 references- Devriendt, Jo;
Bogaerts, Bart;
Mears, Chris;
De Cat, Broes;
Denecker, Marc.
Symmetry propagation: Improved dynamic symmetry breaking in SAT, SymCon, Québec City, 6-8 October 2012
- Wittocx, Johan;
De Cat, Broes;
Denecker, Marc.
The IDP system, Bouvry, Pascal; van der Torre, Leon; Dubois, Eric; Latour, Thibaud (eds.), Benelux conference on artificial intelligence, Luxembourg, 25-26 October 2010, Proceedings of the 22nd Benelux Conference on Artificial Intelligence
No publications found for the period 2009-2012 and the types
- Articles in other journals
- Books, internationally recognised scientific publisher; as author
- Other published books; as author
- Books, internationally recognised scientific publisher; as editor
- Other published books; as editor
- Article in book, internationally recognised scientific publisher
- Article in other published book
- Papers at other conferences and symposia, published in full in proceedings
- Meeting abstracts, presented at other conferences and symposia
- Thesis
- Review
- Internal reports
- Translation without scientific introduction
- Scientific popularisation
- Misc.
- External reports
Last update local database Sun May 19 2013 0:18 am; It contains 9 publications of Broes De Cat.
