< 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
11 - 20 of 32
- Wiskunde en informatica(2014)
Authors: Bart Demoen, Johan Deprez
Pages: 13 - 49 - Heuristics Entwined with Handlers Combined(2014)
Authors: Tom Schrijvers, Bart Demoen
Pages: 259 - 270 - Tor: Modular search with hookable disjunction(2014)
Authors: Tom Schrijvers, Bart Demoen
Pages: 101 - 120 - Redundant disequalities in the Latin Square problem(2013)
Authors: Bart Demoen
Pages: 471 - 477 - Delimited continuations for Prolog(2013)
Authors: Tom Schrijvers, Bart Demoen
Pages: 533 - 546 - Redundant sudoku rules(2013)
Authors: Bart Demoen
Pages: 363 - Representation Sharing for Prolog(2013)
Authors: Bart Demoen
Pages: 71 - 106 - Tor : extensible search with hookable disjunction(2012)
Authors: Tom Schrijvers, Bart Demoen
Pages: 103 - 114 - Introduction to the special issue on Prolog systems(2012)
Authors: Bart Demoen
Pages: 1 - 4 - Special Issue on Prolog Systems(2012)
Authors: Bart Demoen
Number of pages: 282