Broes De Cat

18 papers B 2Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2018 — ch.
Predicate logic as a modeling language: the IDP system.
Declarative Logic Programming
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker
2016 J jnl
Bootstrapping Inference in the IDP Knowledge Base System.
New Gener. Comput.
Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
2016 — conf
Constraint CNF: SAT and CSP Language Under One Roof.
ICLP (Technical Communications)
Broes De Cat, Yuliya Lierler
2015 J jnl
Lazy Model Expansion: Interleaving Grounding with Search.
J. Artif. Intell. Res.
Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey
2015 J jnl
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with
Theory Pract. Log. Program.
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2014 J jnl
Lazy Model Expansion: Interleaving Grounding with Search.
CoRR
Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe
2014 J jnl
Predicate Logic as a Modelling Language: The IDP System.
CoRR
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2014 J jnl
Simulating Dynamic Systems Using Linear Time Calculus Theories.
Theory Pract. Log. Program.
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2014 J jnl
Simulating dynamic systems using Linear Time Calculus theories.
CoRR
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2013 J jnl
Detection and exploitation of functional dependencies for model generation.
Theory Pract. Log. Program.
Broes De Cat, Maurice Bruynooghe
2013 B conf
Model Expansion in the Presence of Function Symbols Using Constraint Programming.
ICTAI
Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
2013 J jnl
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.
CoRR
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2012 — conf
Lazy Model Expansion by Incremental Grounding.
ICLP (Technical Communications)
Broes De Cat, Marc Denecker, Peter J. Stuckey
2012 — conf
Modeling Machine Learning and Data Mining Problems with FO(·).
ICLP (Technical Communications)
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer
2012 B conf
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.
ICTAI
Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears
2010 J jnl
FO(FD): Extending classical logic with rule-based fixpoint definitions
CoRR
Ping Hou, Broes De Cat, Marc Denecker
2010 J jnl
FO(FD): Extending classical logic with rule-based fixpoint definitions.
Theory Pract. Log. Program.
Ping Hou, Broes De Cat, Marc Denecker
2009 — conf
Towards Computing Revised Models for FO Theories.
INAP
Johan Wittocx, Broes De Cat, Marc Denecker