Researcher
Maurice Bruynooghe
- Disciplines:Artificial intelligence
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 - 10 of 12
- Graph mining for computational biologyFrom3 Sep 2013 → 24 Mar 2019Funding: Own budget, for example: patrimony, inscription fees, gifts
- Integrating search and optimisation technology for formal modelling languages.From1 Jan 2013 → 31 Dec 2016Funding: FWO research project
- Declarative modeling for machine learning and data mining.From1 Jan 2013 → 31 Dec 2017Funding: BOF - Concerted Research Project from 1994
- MiniZinc-based Item Set Mining.From1 Dec 2011 → 31 Jan 2012Funding: BOF - Other initiatives
- Mining Frequent Patterns in Large NetworksFrom8 Apr 2011 → 2 Jul 2018Funding: Own budget, for example: patrimony, inscription fees, gifts
- Theory and implementation of knowledge base systems for FO(.)From1 Jan 2010 → 31 Dec 2013Funding: FWO research project
- Mining graphs and networks, a theory-based approach.From1 Oct 2009 → 31 Mar 2010Funding: BOF - Other initiatives
- Developing data mining methods for bioinformatics.From1 Oct 2009 → 30 Sep 2013Funding: FWO fellowships
- Learning from data originating from evolution.From1 Jan 2009 → 31 Dec 2012Funding: FWO research project
- Expressive and interpretable data mining models for life sciences applications.From1 Oct 2008 → 30 Sep 2009Funding: BOF - Other initiatives
Publications
31 - 40 of 58
- Answer Set Programming's contributions to classical logic(2011)
Authors: Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
Pages: 12 - An approximative inference method for solving ∃∀SO satisfiability problems(2010)
Authors: Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pages: 326 - 338 - ProbLog technology for inference in a probabilistic first order logic(2010)
Authors: Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
Pages: 719 - 724 - Towards a logical reconstruction of a theory for locally closed databases(2010)
Authors: Marc Denecker, Maurice Bruynooghe
Pages: 1 - 60 - Prediction of Clinical Conditions after Coronary Bypass Surgery using Dynamic Data Analysis(2010)
Authors: Fabian Guiza Grandas, Geert Meyfroidt, Jean-Marie Aerts, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe, Greet Van den Berghe, Daniel Berckmans
Pages: 229 - 239 - FO(ID) as an extension of DL with rules(2010)
Authors: Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pages: 85 - 115 - A transformational approach for proving properties of the CHR constraint store(2010)
Authors: Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
Pages: 22 - 36 - Embracing events in causal modelling: Interventions and counterfactuals in CP-logic(2010)
Authors: Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pages: 313 - 325 - Experience with widening based equivalence checking in realistic multimedia systems(2010)
Authors: Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Pages: 279 - 292 - A comparison of pruning criteria for probability trees(2010)
Authors: Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe
Pages: 251 - 285