Publications of Maurice Bruynooghe
period 2008 - 2013
Articles in internationally reviewed journals
16 references- Schietgat, Leander;
Ramon, Jan;
Bruynooghe, Maurice.
A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics, Annals of Mathematics and Artificial Intelligence, 2013 (Accepted)
- Wittocx, Johan;
Denecker, Marc;
Bruynooghe, Maurice.
Constraint propagation for first-order logic and inductive definitions, ACM Transactions on Computational Logic, 2013 (Accepted)
- Verdoolaege, Sven;
Janssens, Gerda;
Bruynooghe, Maurice.
Equivalence checking of static affine programs using widening to handle recurrences, ACM Transactions on Programming Languages and Systems, volume 34, issue 3, pages 11:1-11:35, 2012
- Vlaeminck, Hanne;
Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
An approximative inference method for solving ∃∀SO satisfiability problems, The Journal of Artificial Intelligence Research, volume 45, pages 79-124, 2012
- Gutmann, Bernd;
Thon, Ingo;
Kimmig, Angelika;
Bruynooghe, Maurice;
De Raedt, Luc.
The magic of logical inference in probabilistic programming, Theory and Practice of Logic Programming, volume 11, pages 663-680, 2011
- Meyfroidt, Geert;
Guiza Grandas, Fabian;
Cottem, Dominiek;
De Becker, Wilfried;
Van Loon, Kristien;
Aerts, Jean-Marie;
Berckmans, Daniel;
Ramon, Jan;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Computerized prediction of intensive care unit discharge after cardiac surgery: development and validation of a Gaussian processes model, BMC Medical Informatics and Decision Making, volume 11, issue 64, pages 1-13, 2011
- Denecker, Marc;
Cortés-Calabuig, Alvaro;
Bruynooghe, Maurice;
Arieli, Ofer.
Towards a logical reconstruction of a theory for locally closed databases, ACM Transactions on Database Systems, volume 35, issue 3, pages 1-60, 2010
- Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
A comparison of pruning criteria for probability trees, Machine Learning, volume 78, issue 1-2, pages 251-285, 2010
- Van Loon, Kristien;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Aerts, Jean-Marie;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van den Berghe, Greet;
Berckmans, Daniel.
Prediction of Clinical Conditions after Coronary Bypass Surgery using Dynamic Data Analysis, Journal of Medical Systems, volume 34, issue 3, pages 229-239, 2010
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
FO(ID) as an extension of DL with rules, Annals of Mathematics and Artificial Intelligence, volume 58, issue 1-2, pages 85-115, 2010
- Verdoolaege, Sven;
Palkovic, Martin;
Bruynooghe, Maurice;
Janssens, Gerda;
Catthoor, Francky.
Experience with widening based equivalence checking in realistic multimedia systems, Journal of Electronic Testing, volume 26, issue 2, pages 279-292, 2010
- Meyfroidt, Geert;
Guiza Grandas, Fabian;
Ramon, Jan;
Bruynooghe, Maurice.
Machine learning techniques to examine large patient databases, Baillière's Best Practice & Research. Clinical Anaesthesiology, volume 23, issue 1, pages 127-143, 2009
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
CP-logic: A language of causal probabilistic events and its relation to logic programming, Theory and Practice of Logic Programming, volume 9, issue 3, pages 245-308, 2009
- Fierens, Daan;
Ramon, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
Learning directed probabilistic logical models: Ordering-search versus structure-search, Annals of Mathematics and Artificial Intelligence, volume 54, issue 1-3, pages 99-133, 2008
- Raeymaekers, Stefan;
Bruynooghe, Maurice;
Van den Bussche, Jan.
Learning (k,l)-contextual tree languages for information extraction from web pages, Machine Learning, volume 71, issue 2-3, pages 155 -183, 2008
- Ramon, Jan;
Croonenborghs, Tom;
Fierens, Daan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Generalized ordering-search for learning directed probabilistic logical models, Machine Learning, volume 70, issue 2-3, pages 169-188, 2008
Article in book, internationally recognised scientific publisher
2 references- Denecker, Marc;
Bruynooghe, Maurice;
Vennekens, Joost.
Approximation fixpoint theory and the semantics of logic and answers set programs, Erdem, Esra; Lee, Joohyung; Lierler, Yuliya; Pearce, David (eds.), Lecture Notes in Computer Science, volume 7265, Springer, 2012
- Denecker, Marc;
Vennekens, Joost;
Vlaeminck, Hanne;
Wittocx, Johan;
Bruynooghe, Maurice.
Answer Set Programming's contributions to classical logic, An analysis of ASP methodology, Balduccini, Marcello; Son, Tran (eds.), Springer Verlag, 2011
Papers at international conferences and symposia, published in full in proceedings
25 references- 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, ECAI 2012 : 20th European Conference or Artificial Intelligence, S.n.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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, 15 pages
- 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
- 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
- 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
- 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
- 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
- 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
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Accuracy and efficiency of fixpoint methods for approximate query answering in locally complete databases, Brewka, Gerhard; Lang, Jérôme (eds.), Principles of Knowledge Representation and Reasoning, Sydney, Australia, 16-19 September 2008, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, pages 81-91, AAAI Press
- Croonenborghs, Tom;
Driessens, Kurt;
Bruynooghe, Maurice.
Learning relational options for inductive transfer in relational reinforcement learning, The 17th International Conference on Inductive Logic Programming (ILP), Corvallis, Oregon, 19-21 June 2007, Lecture Notes in Computer Science, volume 4894, pages 88-97, Springer, 2008
- Croonenborghs, Tom;
Driessens, Kurt;
Bruynooghe, Maurice.
Learning a transfer function for reinforcement learning problems, Taylor, Matthew; Driessens, Kurt; Fern, Alan (eds.), AAAI'08 Workshop on Transfer Learning for Complex Tasks, Chicago, USA, 14 July 2008, Proceedings of the AAAI'08 Workshop on Transfer Learning for Complex Tasks, pages 1-6, AAAI Press
- Fierens, Daan;
Ramon, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
Learning directed probabilistic logical models using ordering-search, International Conference on Inductive Logic Programming, Corvallis, USA, 19-21 June 2007, Lecture Notes in Computer Science, volume 4894, page24, Springer, 2008
- Mariën, Maarten;
Wittocx, Johan;
Denecker, Marc;
Bruynooghe, Maurice.
SAT(ID): Satisfiability of propositional logic extended with inductive definitions, SAT 2008 - Theory and Applications of Satisfiability Testing, Guangzhou, P. R. China, 12-15 May 2008, Lecture Notes in Computer Science, volume 4996, pages 211-224, Springer
- Raeymaekers, Stefan;
Bruynooghe, Maurice.
Sub node extraction with tree based wrappers, Ghallab, M.; Spyropoulos, C.D.; Fakotakis, N.; Avouris, N (eds.), European Conference on Artificial Intelligence, Patras, Greece, 21-25 July 2008, European Conference on Artificial Intelligence, pages 137 -141, IOS Press
- Schietgat, Leander;
Ramon, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
An efficiently computable graph-based metric for the classification of small molecules, International Conference on Discovery Science, Budapest, Hungary, 13-16 October 2008, Lecture Notes in Computer Science, volume 5255, pages 197-209, Springer
- Schrijvers, Tom;
Gallagher, John P.;
Bruynooghe, Maurice.
From monomorphic to polymorphic well-typings and beyond, Hanus, Michael (ed.), Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July, 2008, Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, pages 3-12, Technical University of Valencia
- Verdoolaege, Sven;
Bruynooghe, Maurice.
Algorithms for weighted counting over parametric polytopes: A survey and a practical comparison, Beck, Matthias; Stoll, Thomas (eds.), Information-Theoretic Aspects of Integer-Point Enumeration in Polyhedra, Las Vegas, July 2008, The 2008 International Conference on Information Theory and Statistical Learning, pages 60-66
Meeting abstracts, presented at international conferences and symposia
6 references- Van Eyck, Jelle;
Ramon, Jan;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Data mining techniques for predicting acute kidney injury after elective cardiac surgery, International Symposium on Intensive Care and Emergency Medicine, Brussels, 20-23 March 2012 (Accepted)
- Van Eyck, Jelle;
Ramon, Jan;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Data mining techniques for predicting acute kidney injury after elective cardiac surgery, LSD, Leuven, 7-8 June 2012
- Van Eyck, Jelle;
Ramon, Jan;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Predicting tacrolimus blood concentrations in the ICU, International Conference on Complexity in Acute Illness, Bonn, Germany, 9-11 September 2011
- Bruynooghe, Maurice.
ProbLog technology for inference in a probabilistic first order logic, Spring Workshop on Mining and Learning (SMiLe), Boppard, Germany, 17-19 March 2010
- Croonenborghs, Tom;
Driessens, Kurt;
Bruynooghe, Maurice.
Learning a transfer function for reinforcement learning problems, Wehenkel, Louis; Geurts, Pierre; Marée, Raphaël (eds.), Belgian-Dutch Conference on Machine Learning (Benelearn'08), Spa, Belgium, 19-2 May 2008, Proceedings of the Annual Belgian-Dutch Conference on Machine Learning, pages 15-16
- Guiza Grandas, Fabian;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van Loon, Kristien;
Aerts, Jean-Marie;
Berckmans, Daniel;
Meyfroidt, Geert;
Van den Berghe, Greet.
Time-series analysis techniques combined with Gaussian process classifiers for prediction of clinical stability after coronary bypass surgery, Hierlemann, Andreas (ed.), IASTED International Conference on Biomedical Engineering, Innsbruck, Austria, 13-15 February 2008, Proceedings of the 6th IASTED International Conference on Biomedical Engineering, issue 6, pages 216-221, ACTA Press
Meeting abstracts, presented at other conferences and symposia
2 references- Verdoolaege, Sven;
Bruynooghe, Maurice.
Algorithms for weighted counting over parametric polytopes: A survey and a practical comparison, ACES Symposium, Edegem, Belgium, 17-18 September 2008, Eighth ACES Symposium
- Verdoolaege, Sven;
Janssens, Gerda;
Bruynooghe, Maurice.
Equivalence checking of static affine programs using widening to handle recurrences, ACES Symposium, Edegem, Belgium, 17-18 September 2008, Eighth ACES Symposium
Thesis
9 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)
- 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)
- 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)
- 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)
- 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)
- Cortes Calabuig, Alvaro.
Towards a Logical Reconstruction of a Theory for Locally Complete Databases , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 2008,
Denecker, Marc and
Bruynooghe, Maurice (supervisors)
- Fierens, Daan.
Learning Directed Probabilistic Logical Models from Relational Data , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, July 2008,
Blockeel, Hendrik and
Bruynooghe, Maurice (supervisors)
- Kodamballi, Shashidhar.
Efficient Automatic Verification of Loop and Data-Flow Transformations by Functional Equivalence Checking , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2008,
Bruynooghe, Maurice and
Catthoor, Francky (supervisors)
- Raeymaekers, Stefan.
Information Extraction from Web Pages based on Tree Automata Induction , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, January 2008,
Bruynooghe, Maurice (supervisor) ,
Van den Bussche, Jan (cosupervisor)
Internal reports
5 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
- 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
- Schrijvers, Tom;
Gallagher, John P.;
Bruynooghe, Maurice.
From monomorphic to polymorphic well-typings and beyond - Extended report, CW Reports, volume CW518, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2008
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Automatic verification of source code transformations on array-intensive programs: demonstration with real-life examples, CW Reports, volume CW401, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2008
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
On the equivalence between CP-logic and LPADs, CW Reports, volume CW436, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2008
No publications found for the period 2008-2013 and the types
- Articles in other journals
- Books, internationally recognised scientific publisher; as author
- Other published books; as author
- Books, internationally recognised scientific publisher; as editor
- Other published books; as editor
- Article in other published book
- Papers at other conferences and symposia, published in full in proceedings
- Review
- Translation without scientific introduction
- Scientific popularisation
- Misc.
- External reports
Last update local database Sun May 19 2013 0:18 am; It contains 510 publications of Maurice Bruynooghe.
