Broes De Cat

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

Predicate Logic

Constraint Programming

Modelling Language

Dynamic Systems

Top Venues

ICLP (Technical Communications)

Theory Pract. Log. Program.

Publications

Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Bootstrapping Inference in the IDP Knowledge Base System. New Gener. Comput. 34 (3) (2016)
Broes De Cat, Yuliya Lierler
Constraint CNF: SAT and CSP Language Under One Roof. ICLP (Technical Communications) (2016)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
. Theory Pract. Log. Program. 15 (6) (2015)
Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey
Lazy Model Expansion: Interleaving Grounding with Search. J. Artif. Intell. Res. 52 (2015)
Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe
Lazy Model Expansion: Interleaving Grounding with Search. CoRR (2014)
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Predicate Logic as a Modelling Language: The IDP System. CoRR (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating Dynamic Systems Using Linear Time Calculus Theories. Theory Pract. Log. Program. 14 (4-5) (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating dynamic systems using Linear Time Calculus theories. CoRR (2014)
Broes De Cat, Maurice Bruynooghe
Detection and exploitation of functional dependencies for model generation. Theory Pract. Log. Program. 13 (4-5) (2013)
Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
Model Expansion in the Presence of Function Symbols Using Constraint Programming. ICTAI (2013)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, 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. CoRR (2013)
Broes De Cat, Marc Denecker, Peter J. Stuckey
Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) (2012)
Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. ICTAI (2012)
Hendrik Blockeel, Bart Bogaerts, 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(·). ICLP (Technical Communications) (2012)
Ping Hou, Broes De Cat, Marc Denecker
FO(FD): Extending classical logic with rule-based fixpoint definitions. Theory Pract. Log. Program. 10 (4-6) (2010)
Ping Hou, Broes De Cat, Marc Denecker
FO(FD): Extending classical logic with rule-based fixpoint definitions CoRR (2010)
Johan Wittocx, Broes De Cat, Marc Denecker
Towards Computing Revised Models for FO Theories. INAP (2009)