Researcher
Broes De Cat
- Disciplines:Applied mathematics in specific fields, Computer architecture and networks, Distributed computing, Information sciences, Information systems, Programming languages, Scientific computing, Theoretical computer science, Visual computing, Other information and computing sciences
Affiliations
- Informatics Section (Division)
Member
From1 Sep 2009 → 30 Jun 2014
Publications
1 - 10 of 15
- Bootstrapping inference in the IDP Knowledge Base System(2016)
Authors: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pages: 193 - 220 - Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3(2015)
Authors: Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
Pages: 783 - Lazy model expansion: Interleaving grounding with search(2015)
Authors: Broes De Cat, Marc Denecker, Maurice Bruynooghe
Pages: 235 - 286 - Simulating dynamic systems using linear time calculus theories(2014)
Authors: Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Pages: 477 - 492 - Separating Knowledge from Computation: An FO(.) Knowledge Base System and its Model Expansion Inference (Kennis scheiden van berekening: een FO(.) kennisbanksysteem en zijn modelexpansie inferentie)(2014)
Authors: Broes De Cat, Marc Denecker
- Meta-level representations in the IDP knowledge base system: Towards bootstrapping inference engine development(2014)
Authors: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pages: 1 - 14 - Model expansion in the presence of function symbols using constraint programming(2013)
Authors: Broes De Cat, Bart Bogaerts, Marc Denecker, Jo Devriendt
Pages: 1068 - 1075 - Detection and exploitation of functional dependencies for model generation(2013)
Authors: Broes De Cat, Maurice Bruynooghe
Pages: 471 - 485 - Modeling machine learning and data mining problems with FO(·)(2012)
Authors: Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer
Pages: 14 - Lazy model expansion by incremental grounding(2012)
Authors: Broes De Cat, Marc Denecker
Pages: 201 - 211