< Back to previous page
Researcher
Bart Demoen
- Disciplines:Language design, constructs and features
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Oct 1999 → 4 Aug 2020
Projects
1 - 4 of 4
- Satisfiability and model generation in infinite spaceFrom1 Jan 2016 → 31 Dec 2019Funding: FWO research project (including WEAVE projects)
- Combining exact and (meta)heuristic methods for problems of combinatorial optimisation.From3 Sep 2013 → 31 Dec 2017Funding: IWT personal funding - strategic basic research grants
- Declarative modeling for machine learning and data mining.From1 Jan 2013 → 31 Dec 2017Funding: BOF - Concerted Research Project from 1994
- Probabilistic Logic Learning.From1 Jan 2008 → 31 Dec 2014Funding: BOF - Concerted Research Project from 1994
Publications
21 - 30 of 32
- Functional Programming Abstractions for CP Modeling (CP modellering met functionele abstracties)(2011)
Authors: Bart Demoen, Tom Schrijvers
- Vakdidactiek Informatica(2011)
Authors: Bart Demoen
Number of pages: 179 - On the implementation of the probabilistic logic programming language ProbLog(2011)
Authors: Angelika Kimmig, Bart Demoen, Luc De Raedt
Pages: 235 - 262 - The computational power and complexity of Constraint Handling Rules(2009)
Authors: Jon Sneyers, Tom Schrijvers, Bart Demoen
Pages: 42 - Two WAM implementations of action rules(2008)
Authors: Bart Demoen
Pages: 621 - 635 - On the efficient execution of ProbLog programs(2008)
Authors: Angelika Kimmig, Bart Demoen, Luc De Raedt
Pages: 175 - 189 - TCHR: A framework for tabled CHR(2008)
Authors: Tom Schrijvers, Bart Demoen
Pages: 491 - 526 - Aggregates for CHR through program transformation(2008)
Authors: Peter Van Weert, Jon Sneyers, Bart Demoen
Pages: 59 - 73 - A novel approach for detecting symmetries in CSP models(2008)
Authors: Bart Demoen
Pages: 158 - 172 - Improving Prolog programs: Refactoring for Prolog(2008)
Authors: Bart Demoen
Pages: 201 - 215