Publications of Maurice Bruynooghe

period 2009 - 2014

Articles in internationally reviewed journals

17 references

Top

Article in book, internationally recognised scientific publisher

2 references

Top

Papers at international conferences and symposia, published in full in proceedings

19 references
  • Bogaerts, Bart; Jansen, Joachim; De Cat, Broes; Janssens, Gerda; Bruynooghe, Maurice; Denecker, Marc. Meta-level representations in the IDP knowledge base system: Towards bootstrapping inference engine development, Mitchell, David; Denecker, Marc (eds.), International Workshop on Logic and Search (Lash 2014), Vienna, July 18, 2014 PDF BibTeX
  • Devriendt, Jo; Bogaerts, Bart; Bruynooghe, Maurice. BreakIDGlucose: On the importance of row symmetry in SAT, CSPSAT, Vienna, 18 July 2014, pages 1-17 PDF BibTeX
  • Van Eyck, Jelle; Ramon, Jan; Guiza Grandas, Fabian; Meyfroidt, Geert; Bruynooghe, Maurice; Van den Berghe, Greet. Guided Monte Carlo tree search for planning in learned environments, Ong, Cheng soon; Ho, Tu Bao (eds.), Asian Conference on Machine Learning, Canberra, Australia, 13-15 November 2013, JMLR Workshop and Conference Proceedings, volume 29, pages 33-47 PDF BibTeX
  • Andrews, Tara; Blockeel, Hendrik; Bogaerts, Bart; Bruynooghe, Maurice; Denecker, Marc; De Pooter, Stef; Macé, Caroline; Ramon, Jan. Analyzing manuscript traditions using constraint-based data mining, First Workshop on Combining Constraint Solving with Mining and Learning, Montpellier, France, 27 August 2012, Proceedings First Workshop on Combining Constraint Solving with Mining and Learning (ECAI 2012 Workshop), pages 15-20 PDF BibTeX
  • Blockeel, Hendrik; Bogaerts, Bart; Bruynooghe, Maurice; De Cat, Broes; De Pooter, Stef; Denecker, Marc; Labarre, Anthony; Ramon, Jan; Verwer, Sicco. Modeling machine learning and data mining problems with FO(·), Dovier, Agostino; Santos Costa, Vítor (eds.), International Conference on Logic Programming, Budapest, September 4-8, 2012, Proceedings of the 28th International Conference on Logic Programming - Technical Communications (ICLP'12), pages 14 -25, Schloss Daghstuhl - Leibniz-Zentrum fuer Informatik DOI PDF BibTeX
  • Fierens, Daan; Van den Broeck, Guy; Bruynooghe, Maurice; De Raedt, Luc. Constraints for probabilistic logic programming, Roy, Daniel; Mansinghka, Vikash; Goodman, Noah (eds.), NIPS Probabilistic Programming Workshop, Lake Tahoe, USA, 7-8 December 2012, Proceedings of the NIPS Probabilistic Programming Workshop, pages 1-4 PDF BibTeX
  • Vlaeminck, Hanne; Vennekens, Joost; Bruynooghe, Maurice; Denecker, Marc. Ordered Epistemic Logic: Semantics, complexity and applications, Brewka, Gerhard; Eiter, Thomas; McIlraith, Sheila A (eds.), Knowledge Representation and Reasoning, Rome, 10-14 July 2012, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, pages 369-379, AAAI Press PDF BibTeX
  • Bruynooghe, Maurice; Mantadelis, Theofrastos; Kimmig, Angelika; Gutmann, Bernd; Vennekens, Joost; Janssens, Gerda; De Raedt, Luc. ProbLog technology for inference in a probabilistic first order logic, Coelho, Helder; Studer, Rudi; Woolridge, Michael (eds.), European Conference on Artificial Intelligence, Lisbon, Portugal, 16-20 August 2010, ECAI 2010 - 19th European Conference on Artificial Intelligence, pages 719-724, IOS Press DOI PDF PDF BibTeX
  • Pilozzi, Paolo; Schrijvers, Tom; Bruynooghe, Maurice. A transformational approach for proving properties of the CHR constraint store, Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Coimbra, Portugal, September 2009, Lecture Notes in Computer Science, volume 6037, pages 22-36, Springer, 2010 DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. Embracing events in causal modelling: Interventions and counterfactuals in CP-logic, Janhunen, Tomi; Niemela, Ilkka (eds.), European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finland, 13-15 September 2010, Lecture Notes in Computer Science, volume 6341, pages 313-325, Springer DOI PDF BibTeX
  • Vlaeminck, Hanne; Wittocx, Johan; Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. An approximative inference method for solving ∃∀SO satisfiability problems, Janhunen, Tomi; Niemelä, Ilkka (eds.), European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, 13-16 September 2010, Lecture Notes in Computer Science, volume 6341, pages 326-338, Springer DOI PDF BibTeX
  • Bruynooghe, Maurice; De Cat, Broes; Drijkoningen, Jochen; Fierens, Daan; Goos, Jan; Gutmann, Bernd; Kimmig, Angelika; Labeeuw, Wouter; Langenaken, Steven; Landwehr, Niels; Meert, Wannes; Nuyts, Ewoud; Pellegrims, Robin; Rymenants, Roel; Segers, Stefan; Thon, Ingo; Van Eyck, Jelle; Van den Broeck, Guy; Vangansewinkel, Tine; Van Hove, Lucie; Vennekens, Joost; Weytjens, Timmy; De Raedt, Luc. An exercise with statistical relational learning systems, Domingos, Pedro; Kersting, Kristian (eds.), International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009, Proceedings 2009 International Workshop on Statistical Relational Learning, pages 1-3 PDF PDF PDF BibTeX
  • Pilozzi, Paolo; Schrijvers, Tom; Bruynooghe, Maurice. A transformational approach for proving properties of the CHR constraint store, De Schreye, Danny; Quaresma, Pedro (eds.), International Symposium on Logic-Based Program Synthesis and Transformation, Coimbra, Portugal, 9-11 September 2009, Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, pages 1-15 PDF BibTeX
  • Schrijvers, Tom; Bruynooghe, Maurice; Gallagher, John P.. From monomorphic to polymorphic well-typings and beyond, 18th Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July 2008, Lecture Notes in Computer Science, volume 5438, pages 152-167, Springer, 2009 DOI PDF BibTeX
  • Van Loon, Kristien; Guiza Grandas, Fabian; Meyfroidt, Geert; Aerts, Jean-Marie; Ramon, Jan; Blockeel, Hendrik; Bruynooghe, Maurice; Van den Berghe, Greet; Berckmans, Daniel. Dynamic data analysis and data mining for prediction of clinical stability, 22th Medical Informatics Europe, Sarajevo, Bosnia&Herzegovina, 30 august - 2 september 2009, Studies in Health Technology and Informatics, volume 150, pages 590-594, I O S Press PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. FO(ID) as an extension of DL with rules, European Semantic Web Conference, Heraklion, Greece, 31 May-4 June 2009, Lecture Notes in Computer Science, volume 5554, pages 384-398, Springer DOI PDF BibTeX
  • Vennekens, Joost; Kimmig, Angelika; Mantadelis, Theofrastos; Gutmann, Bernd; Bruynooghe, Maurice; De Raedt, Luc. From ProbLog to first order logic: A first exploration, Domingos, Pedro; Kersting, Kristian (eds.), International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009, Proceedings 2009 International Workshop on Statistical Relational Learning, pages 1-3 PDF BibTeX
  • Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, Bouajjani, Ahmed; Maler, Oded (eds.), Computer Aided Verification CAV 09, Grenoble, France, June 26-July 2 2009, Lecture Notes in Computer Science, volume 5643, pages 599-613, Springer DOI PDF PDF PS BibTeX
  • Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky. Experience with widening based equivalence checking in realistic multimedia systems, High Level Design Validation and Test Workshop, San Francisco, 4-6 November 2009, High Level Design Validation and Test Workshop, 2009, pages 122-129, IEEE International DOI PDF PDF PS BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

4 references

Top

Thesis

5 references
  • Meyfroidt, Geert. Computerized data management in the intensive care unit: predictive modeling, time series analysis and opportunities for support of care, PhD thesis, Acute Medical Sciences, Laboratory of Intensive Care Medicine, Faculty of Medicine, March 2010, Van den Berghe, Greet (supervisor) , Bruynooghe, Maurice (cosupervisor) BibTeX
  • Schietgat, Leander. Graph-Based Data Mining for Biological Applications , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2010, Blockeel, Hendrik and Bruynooghe, Maurice (supervisors) PDF BibTeX
  • Croonenborghs, Tom. Model-Assisted Approaches for Relational Reinforcement Learning , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009, Bruynooghe, Maurice and Blockeel, Hendrik (supervisors) PDF BibTeX
  • Goetschalckx, Robby. The Use of Domain Knowledge in Reinforcement Learning , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009, Bruynooghe, Maurice and Blockeel, Hendrik (supervisors) PDF BibTeX
  • Guiza Grandas, Fabian. Predictive Data Mining in Intensive Care , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009, 151 pages, isbn: 978-946-018-123-8, Bruynooghe, Maurice and Blockeel, Hendrik (supervisors) PDF BibTeX

Top

Internal reports

2 references
  • Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, CW Reports, volume CW565, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2009 PDF BibTeX
  • Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky. Experience with widening based equivalence checking in realistic multimedia systems, CW Reports, volume CW572, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2009 PDF BibTeX

Top

No publications found for the period 2009-2014 and the types

  • Articles in internationally reviewed journals (professional)
  • Articles in other journals
  • Articles in other journals (professional)
  • Books, internationally recognised scientific publisher; as author
  • Books, internationally recognised scientific publisher; as author (professional)
  • Other published books; as author
  • Other published books; as author (professional)
  • Books, internationally recognised scientific publisher; as editor
  • Books, internationally recognised scientific publisher; as editor (professional)
  • Other published books; as editor
  • Other published books; as editor (professional)
  • Article in book, internationally recognised scientific publisher (professional)
  • Article in other published book
  • Article in other published book (professional)
  • Papers at international conferences and symposia, published in full in proceedings (professional)
  • Papers at other conferences and symposia, published in full in proceedings
  • Papers at other conferences and symposia, published in full in proceedings (professional)
  • Meeting abstracts, presented at international conferences and symposia (professional)
  • Meeting abstracts, presented at other conferences and symposia
  • Meeting abstracts, presented at other conferences and symposia (professional)
  • Review
  • Translation without scientific introduction
  • Scientific popularisation
  • Misc.
  • External reports
 
Last update local database Sun Dec 21 2014 0:22 am; It contains 517 publications of Maurice Bruynooghe.

Other lists

Browse by selection

Select pubtype and period. Then click


______________________________
pubtype
Select [all] [none] ______________________________ ______________________________
period
From - Till:

____________________________

Choose
mixed types
not mixed types

____________________________

Give
separate years
or not separate years

____________________________

Bibtexs of this page

A