< 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
21 - 30 van 32
- Functional Programming Abstractions for CP Modeling (CP modellering met functionele abstracties)(2011)
Auteurs: Bart Demoen, Tom Schrijvers
- Vakdidactiek Informatica(2011)
Auteurs: Bart Demoen
Aantal pagina's: 179 - On the implementation of the probabilistic logic programming language ProbLog(2011)
Auteurs: Angelika Kimmig, Bart Demoen, Luc De Raedt
Pagina's: 235 - 262 - The computational power and complexity of Constraint Handling Rules(2009)
Auteurs: Jon Sneyers, Tom Schrijvers, Bart Demoen
Pagina's: 42 - Two WAM implementations of action rules(2008)
Auteurs: Bart Demoen
Pagina's: 621 - 635 - On the efficient execution of ProbLog programs(2008)
Auteurs: Angelika Kimmig, Bart Demoen, Luc De Raedt
Pagina's: 175 - 189 - TCHR: A framework for tabled CHR(2008)
Auteurs: Tom Schrijvers, Bart Demoen
Pagina's: 491 - 526 - Aggregates for CHR through program transformation(2008)
Auteurs: Peter Van Weert, Jon Sneyers, Bart Demoen
Pagina's: 59 - 73 - A novel approach for detecting symmetries in CSP models(2008)
Auteurs: Bart Demoen
Pagina's: 158 - 172 - Improving Prolog programs: Refactoring for Prolog(2008)
Auteurs: Bart Demoen
Pagina's: 201 - 215