Towards digesting the alphabet-soup of statistical relational learning L De Raedt, B Demoen, D Fierens, B Gutmann, G Janssens, A Kimmig, ... NIPS Workshop on Probabilistic Programming, 1-3, 2008 | 733* | 2008 |
Inference and learning in probabilistic logic programs using weighted Boolean formulas D Fierens, G Van den Broeck, J Renkens, D Shterionov, B Gutmann, ... Theory and Practice of Logic Programming 15 (3), 358-401, 2015 | 389 | 2015 |
Deriving descriptions of possible values of program variables by means of abstract interpretation G Janssens, M Bruynooghe Journal of Logic Programming 13 (2-3), 205-258, 1992 | 224 | 1992 |
Abstract interpretation: towards the global optimisation of Prolog programs M Bruynooghe, G Janssens, A Callebaut, B Demoen 1987 Symposium on Logic Programming location:San Francisco, 192-204, 1987 | 170 | 1987 |
Improving the efficiency of inductive logic programming through the use of query packs H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ... Journal of Artificial Intelligence Research 16 (1), 135-166, 2002 | 161 | 2002 |
An instance of abstract interpretation integrating type and mode inferencing M Bruynooghe, G Janssens Logic Programming: Proc. of the Fifth International Conference and Symposium …, 1988 | 151 | 1988 |
Predicate logic as a modeling language: the IDP system B De Cat, B Bogaerts, M Bruynooghe, G Janssens, M Denecker Declarative Logic Programming, 279-323, 2018 | 111 | 2018 |
Query transformations for improving the efficiency of ILP systems VS Costa, A Srinivasan, R Camacho, H Blockeel, B Demoen, G Janssens, ... The Journal of Machine Learning Research 4, 465-491, 2003 | 102 | 2003 |
Global analysis of constraint logic programs MG De La Banda, M Hermenegildo, M Bruynooghe, V Dumortier, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (5), 564-614, 1996 | 89 | 1996 |
Multi-dimensional incremental loop fusion for data locality S Verdoolaege, M Bruynooghe, G Janssens, F Catthoor Application-Specific Systems, Architectures, and Processors, 2003 …, 2003 | 79 | 2003 |
Executing query packs in ILP H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ... International Conference on Inductive Logic Programming, 60-77, 2000 | 68 | 2000 |
The Impact of Abstract Interpretation: and Experiment in Code Generation M Bruynooghe, A Marien, G Janssens International Conference on Logic Programming, 33-47, 1989 | 64* | 1989 |
Equivalence checking of static affine programs using widening to handle recurrences S Verdoolaege, G Janssens, M Bruynooghe ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (3), 11, 2012 | 62 | 2012 |
Storage size reduction by in-place mapping of arrays R Tronçon, M Bruynooghe, G Janssens, F Catthoor International Workshop on Verification, Model Checking, and Abstract …, 2002 | 51 | 2002 |
Equivalence checking of static affine programs using widening to handle recurrences S Verdoolaege, G Janssens, M Bruynooghe International Conference on Computer Aided Verification, 599-613, 2009 | 50 | 2009 |
Verification of source code transformations by program equivalence checking KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens International Conference on Compiler Construction, 221-236, 2005 | 47 | 2005 |
Functional equivalence checking for verification of algebraic transformations on array-intensive source code KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens Proceedings of the conference on Design, Automation and Test in Europe …, 2005 | 44 | 2005 |
Functional equivalence checking for verification of algebraic transformations on array-intensive source code KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens Proceedings of the conference on Design, Automation and Test in Europe …, 2005 | 44 | 2005 |
Functional equivalence checking for verification of algebraic transformations on array-intensive source code KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens Proceedings of the conference on Design, Automation and Test in Europe …, 2005 | 44 | 2005 |
Algebraic Transformations on Array-Intensive Source Code KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens | 44* | |