Publications DTAI

2004

Articles in internationally reviewed journals

16 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 BibTeX
  • 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 DOI BibTeX
  • Bruynooghe, Maurice. Enhancing a search algorithm to perform intelligent backtracking, Theory and Practice of Logic Programming, volume 4, issue 3, pages 371-380, 2004 DOI BibTeX
  • 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 DOI BibTeX
  • 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 DOI BibTeX
  • Driessens, Kurt; Dzeroski, Saso. Integrating guidance into relational reinforcement learning, Machine Learning, volume 57, issue 3, pages 271-304, 2004 DOI PDF BibTeX
  • 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 DOI BibTeX
  • 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 DOI BibTeX
  • Schrijvers, Tom. JmmSolve: A generative Java memory model implemented in Prolog and CHR, Logic Programming, Proceedings, volume 3132, pages 475-476, 2004 DOI PDF BibTeX
  • Schrijvers, Tom; Serebrenik, Alexander. Improving Prolog programs: Refactoring for prolog, Logic Programming, Proceedings, volume 3132, pages 58-72, 2004 DOI PDF BibTeX
  • Schrijvers, Tom; Warren, David S.. Constraint Handling Rules and tabled execution, Logic Programming, Proceedings, volume 3132, pages 120-136, 2004 DOI PDF BibTeX
  • 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 DOI BibTeX
  • 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 DOI PDF BibTeX
  • Vennekens, Joost; Gilis, David; Denecker, Marc. Splitting an operator - An algebraic modularity result and its application to logic programming, Lecture Notes in Computer Science, volume 3132, pages 195-209, 2004 DOI BibTeX
  • Vennekens, Joost; Verbaeten, Sofie; Bruynooghe, Maurice. Logic programs with annotated disjunctions, Lecture Notes in Computer Science, volume 3132, pages 431-445, 2004 DOI BibTeX
  • Verdoolaege, Sven; Bruynooghe, Maurice. Enumerating integer projections of parametric polytopes, Oberwolfach Reports, volume 1, issue 3, pages 2074-2075, 2004 PDF BibTeX

Top

Articles in other journals

1 reference
  • Uwents, Werner. Benelearn 2005, BNVKI Newsletter, volume 22, issue 1, pages 7-8, 2004 BibTeX

Top

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 DOI BibTeX
  • 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 DOI BibTeX

Top

Other published books; as editor

2 references

Top

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 BibTeX
  • 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 BibTeX
  • Riche, Jacques. Process logic and epistemology, Weber, M (ed.), Ontos Verlag, Frankfurt, 2004 BibTeX
  • Riche, Jacques. L'algèbre universelle, Beets, F.; Dupuis, (eds.), Ontos Verlag, Frankfurt, 2004 BibTeX

Top

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

36 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 DOI BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 DOI BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • Dehaspe, Luc. From promising to profitable applications of ILP: A case study in drug discovery, Inductive Logic Programming, Proceedings, volume 3194, page 4, Springer-verlag berlin, 2004 DOI BibTeX
  • 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 BibTeX
  • 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 DOI BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 DOI BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 DOI BibTeX
  • 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 DOI BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 PDF BibTeX
  • 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 BibTeX
  • 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 PDF BibTeX
  • 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 PDF BibTeX
  • 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 BibTeX
  • 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 PDF BibTeX
  • 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 DOI BibTeX
  • 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 BibTeX
  • 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 DOI BibTeX
  • 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 DOI BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 DOI PDF BibTeX
  • 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 DOI PDF PDF BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • Croonenborghs, Tom; Ramon, Jan. Informed reinforcement learning, 5th "Freiburg, Leuven and Friends" Workshop on Machine Leanring, Hinterzarten, Germany, March 8-10, 2004 BibTeX
  • 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 BibTeX
  • Denecker, Marc; Ternovska, Eugenia. Inductive situation calculus, 16th Belgium-Netherlands Conference on Artificial Intelligence, Groningen, The Netherlands, October 21-22, 2004 BibTeX
  • Driessens, Kurt. On afterstates and learning tetris, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004 BibTeX
  • 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 BibTeX
  • Jacobs, Nico. Inducing sequence classifiers, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004 BibTeX
  • Raeymaekers, Stefan. Minimization of tree automata, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004 BibTeX
  • 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 BibTeX
  • Ramon, Jan; Struyf, Jan. Frequent pattern mining under generalized subsumption, Dutch Belgian Database Day 2004, Antwerpen, Belgium, December 3, 2004 BibTeX
  • 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 BibTeX
  • Riche, Jacques. Process Logic, International Workshop on Patterns of Scientific Reasoning, Ghent University, Belgium, May 6-8, 2004 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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) PDF PDF BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 gz PDF PDF BibTeX

Top

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) PDF BibTeX
  • 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) PDF BibTeX
  • 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) PDF BibTeX
  • 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) PDF BibTeX
  • 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) PDF BibTeX
  • 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) PDF BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • Martens, Bern. Informatietechnologie, ethiek, samenleving en onderwijs, Leuven, February 11, 2004, Navorming KULeuven-AVL/REN, 3 pages, 2004 BibTeX
  • 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 BibTeX
  • Martens, Bern. Een inleiding tot de ethiek van informatica (voor informatici), Leuven, January 22, 2004, Capita Selecta in de Informatica, 2,5 pages, 2004 BibTeX
  • Martens, Bern. Gastcollege "IT en ethiek", Diepenbeek, October 29, Ethiek voor Handelsingenieurs in de Beleidsinformatica, 2 pages, 2004 BibTeX
  • Martens, Bern. Informatica op school: visie en beleid, Departement Lerarenopleiding, Katholieke Hogeschool Kempen, Vorselaar, March 31, 2004, Seminaries in de Informatica, 1 page, 2004 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

 
Last update local database Sun Oct 26 2014 0:23 am; It contains now 10943 items.

Yearly overview:

 

Search pubs of DTAI

Make a selection by author, year, publication type.

Search collection

Search collection COMPUTER SCIENCE

Bibtexs of this page