BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cat:Broes_de

Contributed to:

ICLP 20142014
ICLP 20132013
ICLP 20122012
ICLP 20102010

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.