< 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
31 - 32 van 32
- Uniting the Prolog community(2008)
Auteurs: Tom Schrijvers, Bart Demoen
Pagina's: 7 - 8 - Towards typed Prolog(2008)
Auteurs: Tom Schrijvers, Bart Demoen
Pagina's: 693 - 697