Publications DTAI
2004
Articles in internationally reviewed journals
12 references- Arieli, Ofer;
Denecker, Marc;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
Coherent integration of databases by abductive logic programming, Journal of Artificial Intelligence Research, volume 21, pages 245-286, 2004
- Blockeel, Hendrik;
Dzeroski, Saso;
Kompare, Boris;
Kramer, Stefan;
Pfahringer, Bernhard;
Van Laer, Wim.
Experiments in predicting biodegradability, Applied Artificial Intelligence, volume 18, issue 2, pages 157-181, 2004
- Bruynooghe, Maurice.
Enhancing a search algorithm to perform intelligent backtracking, Theory and Practice of Logic Programming, volume 4, issue 3, pages 371-380, 2004
- Demoen, Bart;
de la Banda, MG;
Harvey, W.;
Marriott, K.;
Overton, D.;
Stuckey, PJ.
Herbrand constraints in HAL, Program Development in Computational Logic, volume 3049, pages 499-538, 2004
- Denecker, Marc;
Marek, VW;
Truszczynski, M..
Ultimate approximation and its application in nonmonotonic knowledge representation systems, Information and Computation, volume 192, issue 1, pages 84-121, 2004
- Driessens, Kurt;
Dzeroski, Saso.
Integrating guidance into relational reinforcement learning, Machine Learning, volume 57, issue 3, pages 271-304, 2004
- Leuschel, Michael;
Craig, Stephen J.;
Bruynooghe, Maurice;
Vanhoof, Wim.
Specialising interpreters using offline partial deduction, Program Development in Computational Logic, Lecture Notes in Computer Science, volume 3049, pages 340-375, 2004
- Leuschel, Michael;
Jørgensen, Jesper;
Vanhoof, Wim;
Bruynooghe, Maurice.
Offline specialisation in Prolog using a hand-written compiler generator, Theory and Practice of Logic Programming, volume 4, issue 1, pages 139-191, 2004
- Schrijvers, Tom;
Warren, David S..
Constraint Handling Rules and tabled execution, Logic Programming, Proceedings, volume 3132, pages 120-136, 2004
- Serebrenik, Alexander;
De Schreye, Danny.
Inference of termination conditions for numerical loops in Prolog, Theory and Practice of Logic Programming, volume 4, pages 719-751, 2004
- Struyf, Jan;
Ramon, Jan;
Bruynooghe, Maurice;
Verbaeten, Sofie;
Blockeel, Hendrik.
Compact representation of knowledge bases in inductive logic programming, Machine Learning, volume 57, issue 3, pages 305-333, 2004
- Verdoolaege, Sven;
Bruynooghe, Maurice.
Enumerating integer projections of parametric polytopes, Oberwolfach Reports, volume 1, issue 3, pages 2074-2075, 2004
Articles in other journals
1 reference- Uwents, Werner.
Benelearn 2005, BNVKI Newsletter, volume 22, issue 1, pages 7-8, 2004
Books, internationally recognised scientific publisher; as editor
2 references- Bruynooghe, Maurice (ed.),
Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, Revised Selected Papers, 13th International Symposium on Logic Based Program Synthesis and Transformation, Uppsala, Sweden, August 25-27, 2003, Lecture Notes in Computer Science, volume 3018, 232 pages, Springer, 2004, isbn 354-022-174-3
- Bruynooghe, Maurice;
Lau, Kung-Kiu (eds.),
Program Development in Computational Logic, Lecture Notes in Computer Science, volume 3049, 538 pages, Springer, 2004, isbn 354-022-152-2
Other published books; as editor
2 references- Demoen, Bart;
Lifschitz, Vladimir (eds.),
Logic Programming, 20th International Conference, ICLP 2004, Proceedings, volume 3132, 480(+XII) pages, Springer, 2004, isbn 354-022-671-0
- Dzeroski, Saso;
Blockeel, Hendrik (eds.),
3rd International workshop on multi-relational data mining (MRDM-2004), workshop notes, 2004
Article in book, internationally recognised scientific publisher
4 references- Bringmann, Björn.
To see the wood for the trees: Mining frequent tree patterns, Boulicaut, Jean-François; De Raedt, Luc; Mannila, Heikki (eds.), Springer-Verlag Berlin / Heidelberg, 2004
- Demoen, Bart;
García de la Banda, M.;
Harvey, W.;
Marriott, K.;
Stuckey, P..
Herbrand constraint solving in HAL, Bruynooghe, M.; Lau, K (eds.), Springer, 2004
- Riche, Jacques.
Process logic and epistemology, Weber, M (ed.), Ontos Verlag, Frankfurt, 2004
- Riche, Jacques.
L'algèbre universelle, Beets, F.; Dupuis, (eds.), Ontos Verlag, Frankfurt, 2004
Papers at international conferences and symposia, published in full in proceedings
40 references- Arieli, Ofer;
Denecker, Marc;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
Database repair by signed formulae, Foundations of Information and Knowledge Systems (FOIKS 2004), Vienna, Austria, February 17-20, 2004, Lecture Notes in Computer Science, volume 2942, pages 14-30, Springer
- Blockeel, Hendrik.
Probabilistic logical models for Mendel's experiments: an exercise, Camacho, R.; King, R.; Srinivasan, A (eds.), 14th International Conference on Inductive Logic Programming, Porto, Portugal, September 6-8, 2004, Inductive Logic Programming, 14th International Conference, ILP-2004, Work in Progress, pages 20-24
- Blockeel, Hendrik;
Uwents, Werner.
Using neural networks for relational learning, Dietterich, T.; Getoor, L.; Murphy, K (eds.), ICML-2004 workshop on Statistical Relational Learning and its Connections to Other Fields, Banff, Canada, July 8, 2004, ICML 2004 Workshop on Statistical Relational Learning and Its Connections to Other Fields, pages 23-28
- Bringmann, Björn.
Matching in frequent tree discovery, Rastogi, R.; Morik, K.; Bramer, M.; Wu, X (eds.), 4th IEEE International Conference on Data Mining, Brighton, UK, November 1-4, 2004, Proceedings of the 4th IEEE International Conference on Data Mining (ICDM 2004), pages 335-338
- Bruynooghe, Maurice;
Gallagher, John P..
Inferring polymorphic types from logic programs, Etalle, S (ed.), 14th International Symposium on Logic-based Program Synthesis and Transformation, Verona, Italy, August 26-28, 2004, Logic Based Synthesis and Transformation, LOPSTR 2004, Pre-Proceedings, pages 244-259
- Croonenborghs, Tom;
Ramon, Jan;
Bruynooghe, Maurice.
Towards informed reinforcement learning, Tadepalli, P.; Givan, R.; Driessens, K (eds.), ICML-2004 workshop on relational reinforcement learning, Banff, Canada, July 8, 2004, Proceedings of the ICML'04 Workshop on Relational Reinforcement Learning, pages 21-26
- Daylight, Edgar;
Demoen, Bart;
Catthoor, Francky.
Formally specifying dynamic data structures for embedded software design: an initial approach, Kuester-Filipe, J.; Poernomo, I.; Reussner, R.; Shukla, S (eds.), First International Workshop on Formal Foundations of Embedded Software, Barcelona, Spain, April 3, 2004, Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2004), volume 108, pages 99-112
- De Raedt, Luc;
Ramon, Jan.
Condensed representations for Inductive Logic Programming, Dubois, D.; Welty C., (eds.), Ninth International Conference on the Principles of Knowledge Representation and Reasoning, Delta Whistler Resort, Canada, June 2-5, 2004, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), pages 438-446
- De Raedt, Luc;
Ramon, Jan.
Condensed representations for inductive logic programming, Camacho, R.; King, R.; Srinivasan, A (eds.), International Conference on Inductive Logic Programming, Work in Progress Track, Porto, Portugal, September 6-8, 2004, Proceedings of the 14th International Conference on Inductive Logic Programming, Work in Progress Track, pages 25-34
- Dehaspe, Luc.
From promising to profitable applications of ILP: A case study in drug discovery, Inductive Logic Programming, Proceedings, volume 3194, page4, Springer-verlag berlin, 2004
- Denecker, Marc.
What's in a model? Epistemological analysis of logic programming, Dubois, D.; Welty, C (eds.), Ninth International Conference on Principles of Knowledge Representation and Reasoning, Delta Whistler Resort, Canada, June 2-5, 2004, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), pages 106-113
- Denecker, Marc;
Ternovska, E..
A logic of non-monotone inductive definitions and its modularity properties, Lifschitz, V.; Niemelä, I (eds.), 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8, 2004, Logic Programming and Nonmonotonic Reasoning: 7th International Conference, volume 2923, pages 47-60, Springer-verlag berlin
- Denecker, Marc;
Ternovska, Eugenia.
Inductive situation calculus, Dubois, D.; Welty, C (eds.), Ninth International Conference on Principles of Knowledge Representation and Reasoning, Delta Whistler Resort, Canada, June 2-5, 2004, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), pages 545-553
- Fierens, Daan;
Blockeel, Hendrik;
Ramon, Jan;
Bruynooghe, Maurice.
Logical Bayesian networks, Dzeroski, Saso; Blockeel, Hendrik (eds.), 3rd International Workshop on Multi-Relational Data Mining, Seattle, USA, August 22, 2004, Proceedings of the 3rd International Workshop on Multi-Relational Data Mining, pages 19-30
- Fromont, Elisa;
Cordier, MO;
Quiniou, R..
Learning from multi-source data, Knowledge Discovery in Databases: Pkdd 2004, Proceedings, volume 3202, pages 503-505, Springer-verlag berlin, 2004
- Gomez, José Ignacio;
Marchal, Paul;
Verdoolaege, Sven;
Pinuel, Luis;
Catthoor, Francky.
Optimizing the memory bandwidth with loop morphing, 15th IEEE International Conference on Application-specific Systems, Architecutres and Processors, Galveston, TX, USA, September 27-29, 2004, 15th IEEE International Conference on Application-Specific Systems, Architectures and Processors, (ASAP 2004) Proceedings, pages 213-223
- Hamerly, Greg;
Elkan, Charles.
Learning the k in k-means, Thrun, S.; Saul, LK; Schölkopf, B (eds.), Neural Information Processing Systems, Vancouver, BC, Canada, December 9-11, 2003, Advances in Neural Information Processing Systems (Neural Information Processing Systems, NIPS 2003), pages 1-8, 2004
- Marchal, Paul;
Gomez, José Ignacio;
Verdoolaege, Sven;
Pinuel, Luis;
Catthoor, Francky.
Optimizing the memory bandwith with loop fusion, Orailoglu, A.; Chou, P.H.; Eles, P.; Jantsch, A (eds.), 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, Stockholm, Sweden, September 8-10, 2004, Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System Synthesis, pages 188-193, ACM
- Mariën, Maarten;
Gilis, David;
Denecker, Marc.
On the relation between ID-Logic and answer set programming, Alferes, J.J.; Leite, J.A (eds.), Logics in Artificial Intelligence, Lisbon, Portugal, 27-30 September 2004, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, volume 3229, pages 108-120, Springer
- Pelov, Nikolay;
Denecker, Marc;
Bruynooghe, Maurice.
Partial stable models for logic programs with aggregates, International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8, 2004, Lecture Notes in Computer Science, volume 2923, pages 207-219, Springer
- Pelov, Nikolay;
Truszczynski, M..
Semantics of disjunctive programs with monotone aggregates - an operator-based approach, Delgrande, J.P.; Schaub, T (eds.), The 10th International Workshop on Non-monotonic Reasoning, Whistler, British Columbia, Canada, June 6-8, 2004, Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, pages 327-334
- Raeymaekers, Stefan;
Bruynooghe, Maurice.
Parameterless information extration using (k,l)-contextual tree languages, Verbrugge, R.; Taatgen, N.; Schomaker, L (eds.), 16th Belgium-Netherlands Conference on Aritficial Intelligence (BNAIC 2004), Groningen, The Netherlands, October 21-22, 2004, BNAIC-2004, Proceedings of the Sixteenth Belgium-Netherlands Conference on Artificial Intelligence, pages 211-218
- Ramon, Jan;
Driessens, Kurt.
On the numeric stability of Gaussian processes regression for relational reinforcement learning, Tadepalli, Prasad; Givan, Robert; Driessens, Kurt (eds.), ICML-2004 workshop on relational reinforcement learning, Banff, Canada, July 9, 2004, ICML-2004 Workshop on Relational Reinforcement Learning, pages 10-14
- Ramon, Jan;
Struyf, Jan.
Efficient theta-subsumption of sets of patterns, Nowé, A.; Lenaerts, T.; Steenhaut, K (eds.), Annual Machine Learning Conference of Belgium and the Netherlands, Brussels, Belgium, January 8-9, 2004, Benelearn 2004 - Annual Machine Learning Conference of Belgium and the Netherlands, pages 95-102
- Schrijvers, Tom.
JmmSolve: A generative Java memory model implemented in Prolog and CHR, International Conference on Logic Programming, St-Malo, France, 6-10 September 2004, Logic Programming, Proceedings, volume 3132, pages 475-476, Springer-verlag berlin
- Schrijvers, Tom;
Demoen, Bart.
The K.U.Leuven CHR system: Implementation and application, Frühwirth, T.; Meister, M (eds.), Workshop on Constraint Handling Rules, Ulm, Germany, May 10-14, 2004, First Workshop on Constraint Handling Rules: Selected Contributions, pages 1-5
- Schrijvers, Tom;
Serebrenik, Alexander.
Improving Prolog programs: Refactoring for prolog, International Conference on Logic Programming, Saint-Malo, France, Septemer 6-10, 2004, Logic Programming, Proceedings, volume 3132, pages 58-72, Springer-verlag berlin
- Schrijvers, Tom;
Serebrenik, Alexander;
Demoen, Bart.
Refactoring Prolog code, Seipel, Dietmar; Hanus, Michael; Geske, Ulrich; Bartenstein, Oskar (eds.), Workshop on (Constraint) Logic Programming, Potsdam, Germany, March 4-6, 2004, INAP/WLP 2004. 13th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on Logic Programming. Proceedings., pages 115-126
- Serebrenik, Alexander;
Mesnard, F..
On termination of binary CLP programs, Munoz-Hernandez, S.; Gomez-Perez, J.; Hofstedt, P (eds.), The 14th International Workshop on Logic Programming Environments, St. Malo, France, September 6-10, 2004, WLPE 2004: 14th Workshop on Logic Programming Environments and MultiCPL 2004: Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings, pages 51-65
- Tadepalli, Prasad;
Givan, Robert;
Driessens, Kurt.
Relational Reinforcement Learning: An Overview, Tadepalli, P.; Givan, R.; Driessens, Kurt (eds.), ICML'04 Workshop on Relational Reinforcement Learning, Banff, Canada, 8 juli 2004, Proceedings of the ICML-2004 Workshop on Relational Reinforcement Learning, pages 1-9
- Tronçon, Remko;
Janssens, Gerda;
Vandecasteele, Henk.
Fast query evaluation with (lazy) control flow compilation, Logic Programming, 20th International Conference, ICLP 2004, Proceedings, Lecture Notes in Computer Science, volume 3132, pages 240-253, Springer, 2004
- Van Assche, Anneleen;
Vens, Celine;
Blockeel, Hendrik;
Dzeroski, Saso.
A random forest approach to relational learning, Dietterich, T.; Getoor, L.; Murphy, K (eds.), ICML 2004 workshop on Statistical Relational Learning and its Connections to Other Fields, Banff, Canada, July 8, 2004, ICML 2004 Workshop on Statistical Relational Learning and Its Connections to Other Fields, pages 110-116
- Van Nuffelen, Bert;
Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Data integration using ID-Logic, International Conference on Advanced Information Systems Engineering (CAiSE 2004), Riga, Latvia, June 7-11, 2004, Lecture Notes in Computer Science, volume 3084, pages 67-81, Springer
- Vanhoof, Wim;
Bruynooghe, Maurice;
Leuschel, Michael.
Binding-time analysis for Mercury, Program Development in Computational Logic, Lecture Notes in Computer Science, volume 3049, pages 189-232, Springer, 2004
- Vennekens, Joost;
Gilis, David;
Denecker, Marc.
Splitting an operator - An algebraic modularity result and its application to logic programming, International conference on logic programming (ICLP), Saint-Malo, France, 6-10 September 2004, Lecture Notes in Computer Science, volume 3132, pages 195-209, Springer
- Vennekens, Joost;
Gilis, David;
Denecker, Marc.
Splitting an operator: An algebraic modularity result and its application to auto-epistemic logic, Delgrande, J.P.; Schaub, T (eds.), The 10th International Workshop on Non-Monotonic Reasoning, Whistler, British Columbia, Canada, June 6-8, 2004, Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, pages 400-408
- Vennekens, Joost;
Verbaeten, Sofie;
Bruynooghe, Maurice.
Logic programs with annotated disjunctions, Delgrande, J.P.; Schaub, T (eds.), The 10th International Workshop on Non-Monotonic Reasoning, Whistler, British Columbia, Canada, June 6-8, 2004, Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, pages 409-415
- Vennekens, Joost;
Verbaeten, Sofie;
Bruynooghe, Maurice.
Logic programs with annotated disjunctions, International conference on logic programming (ICLP), Saint-Malo, France, 6-10 September 2004, Lecture Notes in Computer Science, volume 3132, pages 431-445, Springer
- Vens, Celine;
Van Assche, Anneleen;
Blockeel, Hendrik;
Dzeroski, Saso.
First order random forests with complex aggregates, International Conference on Inductive Logic Programming, Porto, Portugal, 2004, Lecture Notes in Computer Science, volume 3194, pages 323-340, Springer
- Verdoolaege, Sven;
Seghir, Rachid;
Beyls, Kristof;
Loechner, Vincent;
Bruynooghe, Maurice.
Analytical computation of Ehrhart polynomials: Enabling more compiler analyses and optimizations, International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2004), Washington D.C., September 22-25, 2004, Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2004), pages 248-258, ACM
Meeting abstracts, presented at international conferences and symposia
19 references- Blockeel, Hendrik;
Uwents, Werner.
Relational neural networks, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Van Nuffelen, Bert;
Arieli, Ofer;
Bruynooghe, Maurice.
A knowledge representation perspective on data integration, ARISE Workshop on Exchange and Integration of Data, Toronto, Canada, October 7, 2004
- Cortés-Calabuig, Alvaro;
Van Nuffelen, Bert;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Data integration using ID-logic, Dagstuhl Seminar 04171: Logic Based Information Agents, Dagstuhl Castle, Germany, April 18-23, 2004
- Croonenborghs, Tom;
Ramon, Jan.
Informed reinforcement learning, 5th "Freiburg, Leuven and Friends" Workshop on Machine Leanring, Hinterzarten, Germany, March 8-10, 2004
- Daylight, Edgar;
Demoen, Bart;
Catthoor, Francky.
Formally specifying dynamic data structures for embedded software design: an initial approach, Semantics, Program Analysis, and Computing Environments for Memory Management, Verona, Italië, January 2, 2004
- Denecker, Marc;
Ternovska, Eugenia.
Inductive situation calculus, 16th Belgium-Netherlands Conference on Artificial Intelligence, Groningen, The Netherlands, October 21-22, 2004
- Driessens, Kurt.
On afterstates and learning tetris, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004
- Fierens, Daan;
Blockeel, Hendrik;
Ramon, Jan.
Domain and combining rules in Bayesian logic programs, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, 8-10 March 2004
- Jacobs, Nico.
Inducing sequence classifiers, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004
- Raeymaekers, Stefan.
Minimization of tree automata, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004
- Ramon, Jan.
Active learning: The domain expert is not an oracle, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004
- Ramon, Jan;
Struyf, Jan.
Frequent pattern mining under generalized subsumption, Dutch Belgian Database Day 2004, Antwerpen, Belgium, December 3, 2004
- Ramon, Jan;
Struyf, Jan.
On efficient mining of compactly represented sets of frequent patterns in relational languages, Boulicaut, Jean-François; De Raedt, Luc; Mannila, Heikki (eds.), Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004
- Riche, Jacques.
Process Logic, International Workshop on Patterns of Scientific Reasoning, Ghent University, Belgium, May 6-8, 2004
- Van Assche, Anneleen;
Vens, Celine;
Blockeel, Hendrik;
Dzeroski, Saso.
A random forest approach to relational learning, 16h Belgian-Dutch Conference on Artificial Intelligence, Groningen, The Netherlands, October 21-22, 2004, Proceedings of the Sixteenth Belgium-Netherlands Conference on Artificial Intelligence, pages 347-348
- Vennekens, Joost;
Verbaeten, Sofie;
Bruynooghe, Maurice.
Logic programs with annotated disjunctions, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004
- Vens, Celine;
Van Assche, Anneleen;
Blockeel, Hendrik;
Dzeroski, Saso.
Aggregation and selection in relational data mining, Dutch Belgian Database Day 2004, Antwerpen, Belgium, December 3, 2004
- Vens, Celine;
Van Assche, Anneleen;
Blockeel, Hendrik;
Dzeroski, Saso.
Random forests for combining selection and aggregation in relational data mining, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004
- Verdoolaege, Sven;
Beyls, Kristof;
Bruynooghe, Maurice;
Seghir, Rachid;
Loechner, Vincent.
Analytical computation of Ehrhart polynomials and its applications for embedded systems, 2nd Workshop on Optimizations for DSP and Embedded Systems, Palo Alto, USA, March 21, 2004, Digest of the 2nd Workshop on Optimizations for DSP and Embedded Systems (ODES-2)
Meeting abstracts, presented at other conferences and symposia
3 references- Fu, Qiang;
Bruynooghe, Maurice;
Janssens, Gerda;
Catthoor, Francky.
On the problem of verification of source code transformations: a case study, PA3CT Program Acceleration through Application and Architecture driven Code Transformations, Edegem, Belgium, September 13-14, 2004, PA3CT 2004 Symposium Proceedings
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Automatic verification of algebraic transformations, PA3CT Program Acceleration through Application and Architecture driven Code Transformations, Edegem, Belgium, September 13-14, 2004, PA3CT Program Acceleration through Application and Architecture Driven Code Transformations, pages 59-61
- Verdoolaege, Sven;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Enumeration of integer projections of parametric polytopes, PA3CT Program Acceleration through Application and Architecture driven Code Transformations, Edegem, Belgium, September 13-14, 2004
Thesis
6 references- Driessens, Kurt.
Relational reinforcement learning, PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2004, 222 + xx pages, isbn: 905-682-500-3,
Bruynooghe, Maurice and
De Raedt, Luc (supervisors)
- Jacobs, Nico.
Relational sequence learning and user modelling, PhD thesis, Informatics Section, Department of Computer Science, Faculty of Science, October 2004, 235 + xii pages,
Bruynooghe, Maurice (supervisor) ,
De Raedt, Luc (cosupervisor)
- Mazur, Nancy.
Compile-time garbage collection for the declarative language Mercury, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2004, 346 + xvi pages, isbn: 905-682-505-4,
Bruynooghe, Maurice and
Janssens, Gerda (supervisors)
- Pelov, Nikolay.
Semantics of logic programs with aggregates, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2004, 152 + X pages,
Bruynooghe, Maurice and
Denecker, Marc (supervisors)
- Struyf, Jan.
Techniques for Improving the Efficiency of Inductive Logic Programming in the Context of Data Mining , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 2004, 292 pages, isbn: 905-682-562-3,
Blockeel, Hendrik (supervisor) ,
Demoen, Bart (cosupervisor)
- Van Nuffelen, Bert.
Abductive constraint logic programming: implementation and applications., PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, June 2004, 315 + xiv pages, isbn: 905-682-512-7,
Denecker, Marc and
De Schreye, Danny (supervisors)
Internal reports
9 references- Duck, Gregory;
Schrijvers, Tom;
Stuckey, P..
An abstract interpretation framework for constraint handling rules, CW Reports, volume CW391, 37 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2004
- Raeymaekers, Stefan;
Bruynooghe, Maurice;
Van den Bussche, Jan.
Learning (k,1)-contextual tree languages for information extraction, CW Reports, volume CW390, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2004
- Schrijvers, Tom;
Demoen, Bart.
JmmSolve: a generative reference implementation of CCM machines, CW Reports, volume CW379, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2004
- Schrijvers, Tom;
Demoen, Bart.
Antimonotony-based delay avoidance for CHR, CW Reports, volume CW385, 9 pages, K.U.Leuven, Department of Computer Science, July 2004
- Schrijvers, Tom;
Frühwirth, Thom.
Implementing and Analysing Union-Find in CHR, CW Reports, volume CW389, 24 pages, K.U.Leuven, Department of Computer Science, July 2004
- Sneyers, Jon;
Schrijvers, Tom;
Demoen, Bart.
Guard simplification in CHR programs, CW Reports, volume CW396, 23 pages, K.U.Leuven, Department of Computer Science, November 2004
- Struyf, Jan;
Ramon, Jan;
Bruynooghe, Maurice;
Verbaeten, Sofie;
Blockeel, Hendrik.
Compact representation of knowledge bases in inductive logic programming, CW Reports, volume CW377, 44 pages, K.U.Leuven, Department of Computer Science, May 2004
- Verdoolaege, Sven;
Beyls, Kristof;
Bruynooghe, Maurice;
Catthoor, Francky.
Experiences with enumeration of integer projections of parametric polytopes, CW Reports, volume CW395, 19 pages, K.U.Leuven, Department of Computer Science, October 2004
- Verdoolaege, Sven;
Beyls, Kristof;
Bruynooghe, Maurice;
Seghir, Rachid;
Loechner, Vincent.
Analytical computation of Ehrhart polynomials and its applications for embedded systems, CW Reports, volume CW376, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2004
Misc.
10 references- Blockeel, Hendrik.
Data mining: an introduction, South African Medical Research Council, 491 Ridge Road, Durban, South-Africa, December 14, 2004, The HIV Data Management and Data Mining Workshop
- Dzeroski, Saso;
Blockeel, Hendrik.
Multi-relational data mining 2004: workshop report, SIGKDD Explorations: Newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, volume 6, issue 2, pages 140-141, 2004
- Martens, Bern.
Informatietechnologie, ethiek, samenleving en onderwijs, Leuven, February 11, 2004, Navorming KULeuven-AVL/REN, 3 pages, 2004
- Martens, Bern.
Ethische en maatschappelijke vraagstukken in de informatica, Departement Lerarenopleiding, Katholieke Hogeschool Kempen, Vorselaar, March 31, 2004, Seminaries in de Informatica, 2,5 pages, 2004
- Martens, Bern.
Een inleiding tot de ethiek van informatica (voor informatici), Leuven, January 22, 2004, Capita Selecta in de Informatica, 2,5 pages, 2004
- Martens, Bern.
Gastcollege "IT en ethiek", Diepenbeek, October 29, Ethiek voor Handelsingenieurs in de Beleidsinformatica, 2 pages, 2004
- Martens, Bern.
Informatica op school: visie en beleid, Departement Lerarenopleiding, Katholieke Hogeschool Kempen, Vorselaar, March 31, 2004, Seminaries in de Informatica, 1 page, 2004
- Ramon, Jan.
Association analysis, South African Medical Research Council, 491 Ridge Road, Durban, South-Africa, December 16th, 2004, The HIV Data Management and Data Mining Workshop, 4 pages, 2004
- Van Assche, Anneleen.
An introduction to Weka, South African Medical Research Council, 491 Ridge Road, Durban, South-Africa, December 15, 2004, The HIV Data Management and Data Mining Workshop, 2 pages, 2004
- Vens, Celine;
Van Assche, Anneleen.
Prediction, South African Medical Research Council, 491 Ridge Road, Durban, South-Africa, December 15, 2004, The HIV Data Management and Data Mining Workshop, 6 pages, 2004
Last update local database Sun May 19 2013 0:18 am; It contains now 9737 items.
Yearly overview:
