< Terug naar vorige pagina
Onderzoeker
Bart Demoen
- Disciplines:Taalontwerp, -constructies en -eigenschappen
Affiliaties
- Declaratieve Talen en Artificiële Intelligentie (DTAI) (Afdeling)
Lid
Vanaf1 aug 2020 → Heden - Afdeling Informatica (Afdeling)
Lid
Vanaf1 okt 1999 → 4 aug 2020
Projecten
1 - 4 of 4
- Vervulbaarheid en modelgeneratie in oneindige ruimtesVanaf1 jan 2016 → 31 dec 2019Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Combinatie van exacte en (meta) heuristische methoden voor problemen met combinatorische optimalisatie.Vanaf3 sep 2013 → 31 dec 2017Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
- Declaratief modeleren voor machinaal leren en dataontginning.Vanaf1 jan 2013 → 31 dec 2017Financiering: BOF - Geconcert. Onderzoeksacties vanaf 1994
- Probabiliteit, logica en leren.Vanaf1 jan 2008 → 31 dec 2014Financiering: BOF - Geconcert. Onderzoeksacties vanaf 1994
Publicaties
11 - 20 van 32
- Wiskunde en informatica(2014)
Auteurs: Bart Demoen, Johan Deprez
Pagina's: 13 - 49 - Heuristics Entwined with Handlers Combined(2014)
Auteurs: Tom Schrijvers, Bart Demoen
Pagina's: 259 - 270 - Tor: Modular search with hookable disjunction(2014)
Auteurs: Tom Schrijvers, Bart Demoen
Pagina's: 101 - 120 - Redundant disequalities in the Latin Square problem(2013)
Auteurs: Bart Demoen
Pagina's: 471 - 477 - Delimited continuations for Prolog(2013)
Auteurs: Tom Schrijvers, Bart Demoen
Pagina's: 533 - 546 - Redundant sudoku rules(2013)
Auteurs: Bart Demoen
Pagina's: 363 - Representation Sharing for Prolog(2013)
Auteurs: Bart Demoen
Pagina's: 71 - 106 - Tor : extensible search with hookable disjunction(2012)
Auteurs: Tom Schrijvers, Bart Demoen
Pagina's: 103 - 114 - Introduction to the special issue on Prolog systems(2012)
Auteurs: Bart Demoen
Pagina's: 1 - 4 - Special Issue on Prolog Systems(2012)
Auteurs: Bart Demoen
Aantal pagina's: 282