`Travelled to:`

1 × Hungary

`Collaborated with:`

M.Denecker M.Bruynooghe P.J.Stuckey P.Hou B.Bogaerts J.Jansen J.Vennekens H.Blockeel S.D.Pooter A.Labarre J.Ramon S.Verwer

`Talks about:`

model (3) increment (1) function (1) fixpoint (1) calculus (1) problem (1) generat (1) exploit (1) definit (1) classic (1)

## Person: Broes de Cat

### DBLP: Cat:Broes_de

### Contributed to:

### Wrote 5 papers:

- ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using
- Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
- ICLP-J-2013-CatB #dependence #detection #functional #generative
- Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.
- ICLP-2012-BlockeelBBCP #data mining #machine learning #mining #modelling #problem
- Modeling Machine Learning and Data Mining Problems with FO(·) (HB, BB, MB, BdC, SDP, MD, AL, JR, SV), pp. 14–25.
- ICLP-2012-CatDS #incremental #lazy evaluation
- Lazy Model Expansion by Incremental Grounding (BdC, MD, PJS), pp. 201–211.
- ICLP-J-2010-HouCD #fixpoint #logic #rule-based
- FO(FD): Extending classical logic with rule-based fixpoint definitions (PH, BdC, MD), pp. 581–596.