Publications DTAI

2003

Articles in internationally reviewed journals

15 references
  • Arieli, Ofer; Denecker, Marc. Reducing preferential paraconsistent reasoning to classical entailment, Journal of Logic and Computation, volume 13, issue 4, pages 557-580, 2003 DOI PDF BibTeX
  • Denecker, Marc; Marek, VW; Truszczynski, M.. Uniform semantic treatment of default and autoepistemic logics, Artificial Intelligence, volume 143, issue 1, pages 79-122, 2003 DOI PDF BibTeX
  • Gartner, T.; Driessens, Kurt; Ramon, Jan. Graph kernels and Gaussian processes for relational reinforcement learning, Lecture Notes in Computer Science, volume 2835, pages 146-163, 2003 DOI PDF BibTeX
  • Landwehr, Niels; Hall, Mark; Frank, Eibe. Logistic model trees, Lecture Notes in Computer Science, volume 2837, pages 241-252, 2003 DOI PDF BibTeX
  • Mazur, Nancy; Janssens, Gerda; Vanhoof, Wim. Collecting potential optimisations, Lecture Notes in Computer Science, volume 2664, pages 109-110, 2003 DOI PDF BibTeX
  • Nijssen, Siegfried; Kok, JN. Efficient frequent query discovery in FARMER, Lecture Notes in Computer Science, volume 2838, pages 350-362, 2003 DOI PDF BibTeX
  • Santos Costa, Vítor; Srinivasan, Ashwin; Camacho, Rui; Blockeel, Hendrik; Demoen, Bart; Janssens, Gerda; Struyf, Jan; Vandecasteele, Henk; Van Laer, Wim. Query transformations for improving the efficiency of ILP systems, Journal of Machine Learning Research, volume 4, issue 4, pages 465-491, 2003 PDF BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Proving termination with adornments, Lecture Notes in Computer Science, volume 3018, pages 108-109, 2003 DOI PDF BibTeX
  • Serebrenik, Alexander; Demoen, Bart. Refactoring logic programs, Lecture Notes in Computer Science, volume 2916, pages 509-510, 2003 DOI PDF BibTeX
  • Shashidhar, K. C.; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda. An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs, Journal of Universal Computer Science, volume 9, issue 3, pages 248-269, 2003 DOI PDF BibTeX
  • Struyf, Jan; Blockeel, Hendrik. Query optimization in inductive logic programming by reordering literals, Lecture Notes in Computer Science, volume 2835, pages 329-346, 2003 DOI PDF BibTeX
  • Struyf, Jan; Ramon, Jan; Blockeel, Hendrik. Compact representation of knowledge bases in ILP, Lecture Notes in Computer Science, volume 2583, pages 254-269, 2003 DOI PDF BibTeX
  • Vandecasteele, Henk; Janssens, Gerda. An open ended tree, Theory and Practice of Logic Programming, volume 3, issue 3, pages 377-385, 2003 DOI PDF BibTeX
  • Vanhoof, Wim; Tronçon, Remko; Bruynooghe, Maurice. A fixed point semantics for logic programs extended with cuts, Lecture Notes in Computer Science, volume 2664, pages 238-257, 2003 DOI PDF BibTeX
  • Verbaeten, Sofie; Van Assche, Anneleen. Ensemble methods for noise elimination in classification problems, Lecture Notes in Computer Science, volume 2709, pages 317-325, 2003 PDF BibTeX

Top

Articles in other journals

1 reference
  • Piessens, Frank; Joosen, Wouter; Mariën, André; Dussart, Dirk. Verweer U tegen internetaanvallen!, Het Ingenieursblad, volume 72, issue 3, pages 32-38, 2003 BibTeX

Top

Books, internationally recognised scientific publisher; as editor

3 references
  • Bruynooghe, Maurice (ed.), LOPSTR 2003 Preproceedings of the International Symposium on Logic Based Program Synthesis and Transformation, Report CW, volume CW365, 252 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2003, 2003 International Symposium on Logic Based Program Synthesis and Transformation, Uppsala, Sweden, August 25-27, 2003 BibTeX
  • Lavrac, Nada; Gamberger, Dragan; Blockeel, Hendrik; Todorovski, Ljupco (eds.), Machine Learning ECML 2003, Lecture Notes in Artificial Intelligence, volume 2837, xvi+504 pages, Springer, 2003, isbn 354-020-121-1, European Conference on Machine Learning, Dubrovnik, Croatia, 22-26 September 2003 BibTeX
  • Lavrac, Nada; Gamberger, Dragan; Todorovski, Ljupco; Blockeel, Hendrik (eds.), Knowledge Discovery in Databases: PKDD 2003, Lecture Notes in Artificial Intelligence, volume 2838, xvi+508 pages, Springer, 2003, isbn 354-020-085-1, European Conference on Principles and Practice of Knowledge Discovery in Databases, Dubrovnik, Croatia, 22-26 September 2003 BibTeX

Top

Article in book, internationally recognised scientific publisher

4 references
  • De Raedt, Luc; Kramer, Stefan. Inductive databases for bio- and chemoinformatics, Frasconi, Paolo; Shamir, Ron (eds.), Artificial Intelligence and Heuristic Methods in Bioinformatics, NATO science series: Computer and systems sciences, volume 183, pages 193-207, IOS Press, 2003 PDF BibTeX
  • Flach, Peter; Blockeel, Hendrik; Ferri, Cesar; Hernández-Orallo, Jose; Struyf, Jan. Decision support for data mining: An introduction to ROC analysis and its applications, Mladenić, D.; Lavrac, N.; Bohanec, M.; Moyle, S (eds.), Data Mining and Decision Support: Integration and Collaboration, pages 81-90, Kluwer, 2003 DOI PDF BibTeX
  • Flach, Peter; Blockeel, Hendrik; Gärtner, Thomas; Grobelnik, Marko; Kavšek, Branko; Kejkula, Martin; Krzywania, Darek; Lavrač, Nada; Ljubič, Peter; Mladenić, Dunja; Moyle, Steve; Raeymaekers, Stefan; Rauch, Jan; Rawles, Simon; Ribeiro, Rita; Sclep, Gert; Struyf, Jan; Todorovski, Ljupčo; Torgo, Luis; Wettschereck, Dietrich; Wu, Shaomin. On the road to knowledge: Mining 21 years of UK traffic accident reports, Mladenić, Dunja; Lavrač, Nada; Bohanec, Marko; Moyle, Steve (eds.), Data Mining and Decision Support: Integration and Collaboration, pages 143-156, Kluwer, 2003 DOI BibTeX
  • Jorge, Alipio; Moyle, Steve; Blockeel, Hendrik; Voss, Angi. Data mining processes and collaboration principles, Mladenic, D.; Lavrac, N.; Bohanec, M.; Moyle, S (eds.), Data Mining and Decision Support: Integration and Collaboration, pages 63-78, Kluwer, 2003 DOI BibTeX

Top

Article in other published book

2 references
  • Martens, Bern. Ethiek en veiligheid in de computerklas, De Craemer, J.; Driesen, Johan; Gombeir, D. (ed. in chief); Gyselinckx, F.; Nijs, R.; van Braak, J.; Van den Vreken, C.; Willems, Patrick (eds.), ICT en Onderwijsvernieuwing, pages 95-117, Wolters-Plantyn, 2003 BibTeX
  • Martens, Bern. Informatica op school en in de lerarenopleiding, De Craemer, J.; Driesen, Johan; Gombeir, D. (ed. in chief); Gyselinckx, F.; Nijs, R.; van Braak, J.; Van den Vreken, C.; Willems, Patrick (eds.), ICT en Onderwijsvernieuwing, pages 103-124, Wolters-Plantyn, 2003 BibTeX

Top

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

23 references
  • Blockeel, Hendrik. Prolog for Bayesian networks: A meta-interpreter approach, Dzeroski, S.; De Raedt, L.; Wrobel, S (eds.), Proceedings of the 2nd International Workshop on Multi-Relational Data Mining (MRDM-2003), pages 1-13, International Workshop on Multi-Relational Data Mining, Washington, DC, August 27, 2003 PDF BibTeX
  • Demoen, Bart; Nguyen, Phuong-Lan. A tag change with support for extra types and two more experiments in hProlog, Rocha, R.; Ferreira, M (eds.), Proceedings of CICLOPS 2003: Colloquium on Implementation of Constraint and Logic Programming Systems, volume Technical Report DCC, pages 59-74, Colloquium on Implementation of Constraint and Logic Programming Systems, Mumbay, December 14, 2003 PDF BibTeX
  • Denecker, Marc. What's in a model? Epistemological analysis of logic programming, De Vos, M.; Provetti, A (eds.), Answer Set Programming: Advances in Theory and Implementation, pages 113-123, ASP03 Answer Set Programming: Advances in Theory and Implementation, Messina, Sicily, September 26-28, 2003 PDF BibTeX
  • Driessens, Kurt; Ramon, Jan. Relational instance based regression for relational reinforcement learning, Fawcett, T.; Mishra, N (eds.), Proceedings of the Twentieth International Conference on Machine Learning, pages 123-130, Twentieth International Conference on Machine Learning, Washington D.C., U.S.A., August 21-24, 2003 PDF BibTeX
  • Jacobs, Nico; Blockeel, Hendrik. User modeling with sequential data, Stephanidis, C (ed.), Volume 4 of the Proceedings of HCI International 2003, pages 557-561, Human Computer Interaction 2003, Hersonissos, Kreta, Griekenland, June 22-27, 2003 PDF BibTeX
  • Jacobs, Nico; Van den Borre, Filip; Smeets, Lennert; Schoofs, Evarest; Blockeel, Hendrik. A symbolic approach to music recognition, Heskes, T.; Lucas, P.; Vuurpijl, L.; Wiegerinck, W (eds.), Proceedings 15th Belgian-Dutch Conference on Artificial Intelligence, pages 163-170, 15th Belgian-Dutch Conference on Artificial Intelligence, Nijmegen, The Netherlands, October 23-24, 2003 PDF BibTeX
  • Kosala, Raymondus; Bruynooghe, Maurice; Blockeel, Hendrik; Van den Bussche, Jan. Information extraction from web documents based on local unranked tree automaton inference, Gottlob, G.; Walsh, T (eds.), Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pages 403-408, Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 PDF BibTeX
  • Martens, Bern. ICT, algemene vorming en onderwijssturing in een lerarenopleiding informatica, Lowyck, Joost (ed.), Velon 2003, Leren tot de derde macht: lerarenopleiders professionaliseren, Leuven, Belgium, April 7-8, 2003 BibTeX
  • Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice. Translation of aggregate programs to normal logic programs, De Vos, M.; Provetti, A (eds.), Answer Set Programming: Advances in Theory and Implementation, pages 29-42, ASP03 Answer Set Programming: Advances in Theory and Implementation, Messina, Sicily, September 26-28, 2003 PDF BibTeX
  • Ramon, Jan; Gaertner, Thomas. Expressivity versus efficiency of graph kernels, Washio, T.; De Raedt, L (eds.), Proceedings of the First International Workshop on Mining Graphs, Trees and Sequences, pages 65-74, 1st international workshop on mining graphs, trees and sequences, Cavtat-Dubrovnik, Croatia, September, 2003 PDF BibTeX
  • Ramon, Jan; Struyf, Jan. Computer science in issues in Baduk, Chihyung, N (ed.), Proceedings of the Second International Conference on Baduk, pages 163-182, International Conference on Baduk, St. Petersburg, Russia, July 26-27, 2003 PDF BibTeX
  • Schrijvers, Tom; Warren, David S.; Demoen, Bart. CHR for XSB, Lopes, R.; Ferreira, M (eds.), Proceedings of CICLOPS 2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 7-20, Colloquium on Implementation of Constraint and LOgic Programming Systems, Mumbai, India, December 14, 2003 PDF BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Hasta-La-Vista: Termination analyser for logic programs, Mesnard, F.; Serebrenik, Alexander (eds.), Proceedings of the 13th International Workshop on Logic Programming Environments, pages 60-74, 13th Workshop on Logic Programming Environments, Mumbai, India, December 8, 2003 PDF BibTeX
  • Shashidhar, K. C.; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda. Automatic functional verification of memory oriented global source code transformations, Eight Annual IEEE International Workshop on High-Level Design Validation and Test, pages 31-36, IEEE, 8th Annual IEEE International Workshop on High Level Design Validation and Test, San Francisco, California, USA, 12-14 November 2003 PDF BibTeX
  • Tronçon, Remko; Janssens, Gerda; Demoen, Bart. Alternatives for compile & run in the WAM, Lopes, R.; Ferreira, M (eds.), Proceedings of CICLOPS 2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 45-58, Colloquium on Implementation of Constraint and LOgic Programming Systems, Mumbai, India, December 14, 2003 PDF BibTeX
  • Tronçon, Remko; Vandecasteele, Henk; Struyf, Jan; Demoen, Bart; Janssens, Gerda. Query optimization: Combining query packs and the once-tranformation, Horváth, Tamás; Yamamoto, Akihiro (eds.), Inductive Logic Programming, 13th International Conference, ILP 2003, Szeged, Hungary, Short Presentations, pages 105-115, International Conference on Inductive Logic Programming, Szeged, Hungary, September 29 - October 1, 2003 PDF BibTeX
  • Van Assche, Anneleen; Krzywania, Darek; Vaneyghen, Joris; Struyf, Jan; Blockeel, Hendrik. First order alternating decision trees, Horváth, Tamás; Yamamoto, Akihiro (eds.), Inductive Logic Programming, 13th International Conference, ILP 2003, Szeged, Hungary, Short Presentations, pages 116-125, International Conference on Inductive Logic Programming, Szeged, Hungary, September 29 - October 1, 2003 PDF BibTeX
  • Van Assche, Anneleen; Verbaeten, Sofie; Krzywania, Darek; Struyf, Jan; Blockeel, Hendrik. Attribute-value and first order data mining within the STULONG project, Berka, P.; Rauch, J.; Tsumoto, S (eds.), Proceedings of the ECML/PKDD Discovery Challenge: A Collaborative Effort in Knowledge Discovery from Databases, pages 108-119, ECML/PKDD Discovery Challenge: A Collaborative Effort in Knowledge Discovery from Databases, Cavtat-Dubrovnik, Croatia, 22-26 September 2003 PDF BibTeX
  • Vanbroekhoven, Peter; Janssens, Gerda; Bruynooghe, Maurice; Corporaal, Henk; Catthoor, Francky. Advanced copy propagation for arrays, Mueller, F.; Kremer, U (eds.), Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES'03), pages 24 - 33, ACM Press, Languages, Compilers, and Tools for Embedded Systems - LCTES, San Diego, California, June 11-13, 2003 DOI PDF BibTeX
  • Vandeginste, Ruben; Demoen, Bart. Incremental copying garbage collection for WAM-based Prolog systems, Lopes, R.; Ferreira, M (eds.), Proceedings of CICLOPS'2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 103-115, Colloquium on Implementation of Constraint and LOgic Programming Systems, Mumbai, India, December 14, 2003 PDF BibTeX
  • Vennekens, Joost; Verbaeten, Sofie. A general view on probabilistic logic programming, Heskes, T.; Lucas, P.; Vuurpijl, L.; Wiegerinck, W (eds.), Proceedings 15th Belgian-Dutch Conference on Artificial Intelligence, pages 299-306, Belgian-Dutch Conference on Artificial Intelligence, Nijmegen, The Netherlands, October 23-24, 2003 PDF BibTeX
  • Vens, Celine; Blockeel, Hendrik. On heuristics for learning model trees, Heskes, T.; Lucas, P.; Vuurpijl, L.; Wiegerinck, W (eds.), Proceedings of the 15th Belgian-Dutch Conference on Artificial Intelligence, pages 307-314, 15th Belgian-Dutch Conference on Artificial Intelligence, Nijmegen, The Netherlands, October 23-24, 2003 PDF BibTeX
  • Verdoolaege, Sven; Catthoor, Francky; Bruynooghe, Maurice; Janssens, Gerda. Multi-dimensional incremental loop fusion for data locality, Proceedings 2003 Application-specific Systems, Architectures and Processors, pages 17-27, IEEE, IEEE 14th International Conference on Application-Specific Systems, Architectures, and Processors - ASAP, The Hague, The Netherlands, 24-26 June 2003 PDF PDF BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

27 references
  • Blockeel, Hendrik. Representing sets of Bayesian networks in first order logic, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Blockeel, Hendrik. Induction of supermodels, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Blockeel, Hendrik; Bruynooghe, Maurice. Aggregation versus selection bias, and relational neural networks, IJCAI-2003 Workshop on Learning Statistical Models from Relational Data, Acapulco, Mexico, August 11, 2003 PDF BibTeX
  • Blockeel, Hendrik; Vens, Celine. On heuristics for learning model trees, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Bruynooghe, Maurice. What polymorphic types can contribute to termination analysis of logic programs, Termination Day in Leuven: Logic Programming Meets Rewriting, Leuven, Belgium, November 3, 2003 PDF BibTeX
  • Codish, Michael; Genaim, Samir; Bruynooghe, Maurice; Gallagher, John P.; Vanhoof, Wim. One Loop at a Time, 6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003 PDF BibTeX
  • Driessens, Kurt. Relational instance based regression for relational reinforcement learning, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Driessens, Kurt; Ramon, Jan. Relational instance based regression for relational reinforcement learning, Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence, pages 403-404, 15th Belgian-Dutch Conference on Artificial Intelligence, Nijmegen, The Netherlands, October 23-24, 2003 BibTeX
  • Jacobs, Nico. The distance between us - instance based user modeling, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Jacobs, Nico; Van den Borre, Filip; Smeets, Lennert; Schoofs, Evarest; Blockeel, Hendrik. A symbolic approach towards music recognition, Lerende oplossingen 2003, Nijmegen, Nederland, October 22, 2003 BibTeX
  • Kosala, Raymondus; Bruynooghe, Maurice; Blockeel, Hendrik; Van den Bussche, Jan. Unranked tree automaton inference, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Krzywania, Darek. Privacy preserving distributed data mining, 4th \" Freiburg, Leuven and Friends\" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Mazur, Nancy; Janssens, Gerda; Vanhoof, Wim. Collecting potential optimisations, 2003, International Workshop on Logic Based Program Development and Transformation 2002, Madrid, Spain, September 16-20, 2002 PDF BibTeX
  • Raeymaekers, Stefan. Automata Inference: label generalisation, generalisation evidence, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuen/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Ramon, Jan. Learning problems in the game of go, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Riche, Jacques. Decision procedure of some relevant logics: a constructive perspective, 3rd World Conference on Paraconsistency, Toulouse, France, July 27-August 1, 2003 PDF BibTeX
  • Riche, Jacques. A.N. Whitehead: natural philosopher, Chromatiques Whiteheadiennes, Louvain-la-Neuve, May 30-31, 2003 BibTeX
  • Serebrenik, Alexander. Proving termination with adornments, Termination Day in Leuven: Logic Programming Meets Rewriting, Leuven, Belgium, November 3, 2003 BibTeX
  • Serebrenik, Alexander. Termination analysis of logic programs, 19th International Conference on Logic Programming, Mumbay, India, December 9-13, 2003 PDF BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Hasta-La-Vista: Termination analyzer for logic programs, 6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003 PDF BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Proving termination with adornments, 6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003 PDF BibTeX
  • Serebrenik, Alexander; Demoen, Bart. Refactoring logic programs, 19th International Conference on Logic Programming, Mumbay, India, December 9-13, 2003 PDF BibTeX
  • Struyf, Jan; Ramon, Jan; Bruynooghe, Maurice; Verbaeten, Sofie; Blockeel, Hendrik. Compact representation of knowledge bases in inductive logic programming, Fourth Freiburg-Leuven Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Tronçon, Remko. Speeding up inductive logic programming queries, ESSES PhD Student Meeting at PLI2003, Uppsala, Sweden, August 26-27, 2003 BibTeX
  • Vandeginste, Ruben. Incremental copying garbage collection for WAM-based Prolog systems, ESSES PhD Student Meeting at PLI2003, Uppsala, Sweden, August 26-27, 2003 BibTeX
  • Verbaeten, Sofie; Van Assche, Anneleen. Ensemble methods for noise filtering in ILP classification problems, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003 BibTeX
  • Verdoolaege, Sven; Danckaert, Koen; Catthoor, Francky; Bruynooghe, Maurice; Janssens, Gerda. An access regularity criterion and regularity improvement heuristics for data transfer optimization by global loop transformations, 1st Workshop on Optimization for DSP and Embedded Systems, San Francisco, USA, March 23, 2003 PDF BibTeX

Top

Meeting abstracts, presented at other conferences and symposia

10 references
  • Driessens, Kurt. Relational reinforcement learning, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003 BibTeX
  • Jacobs, Nico. Relational sequence learning for user modelling, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003 BibTeX
  • Martens, Bern. ICT, ethiek en onderwijs: nadenken over ICT, privacy en auteursrecht op school, 3de NationAAL-dag, studiedag over ICT op school, Mechelen, België, November 10, 2003 BibTeX
  • Mazur, Nancy. Compile-time garbage collection for a modern declarative language Mercury, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003 BibTeX
  • Piessens, Frank; Mariën, André; Dussart, Dirk. Security, more than network security only, Trends and Challenges in e-Security, Leuven, Belgium, April 3, 2003 BibTeX
  • Struyf, Jan. Fast relational data mining - Query optimization for improving the efficiency of relational data mining systems, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium: Book of Abstracts, page 81, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003 PDF BibTeX
  • Van Nuffelen, Bert. Knowledge engineering vs software engineering, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003 BibTeX
  • Vanbroekhoven, Peter; Janssens, Gerda; Bruynooghe, Maurice; Corporaal, Henk; Catthoor, Francky. Advanced copy propagation for arrays, PACT Symposium 2003, Edegem, Belgium, September 22-23, 2003 PDF PDF BibTeX
  • Verdoolaege, Sven. Loop transformations using polyhedra, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003 PDF BibTeX
  • Verdoolaege, Sven; Catthoor, Francky; Bruynooghe, Maurice; Janssens, Gerda. Two-phase global loop transformations, PACT Symposium 2003, Edegem, Belgium, September 22-23, 2003 PDF BibTeX

Top

Thesis

2 references
  • Kosala, Raymondus. Information extraction by tree automata inference, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2003, 202 + xii pages, Bruynooghe, Maurice (supervisor) , Van den Bussche, Jan (cosupervisor) PDF BibTeX
  • Serebrenik, Alexander. Termination analysis of logic programs, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2003, 228 + xiv pages, De Schreye, Danny (supervisor) PDF BibTeX

Top

Internal reports

12 references
  • Bruynooghe, Maurice; Codish, Michael; Genaim, Samir; Vanhoof, Wim. A note on the reuse of the results of a termination analysis based on polymorphic types, CW Reports, volume CW383, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2003 PDF BibTeX
  • Demoen, Bart; Nguyen, Phuong-Lan. Supporting more types in the WAM: the hProlog tagging scheme, CW Reports, volume CW366, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2003 PDF BibTeX
  • Mazur, Nancy; Janssens, Gerda; Vanhoof, Wim. Collecting Potential Optimisations, CW Reports, volume CW357, 22 pages, K.U.Leuven, Department of Computer Science, Leuven, Belgium, February 2003 PDF BibTeX
  • Mesnard, F.; Serebrenik, Alexander. Proceedings of the 13th International Workshop on Logic Programming Environments, CW Reports, volume CW371, 91 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2003 PDF BibTeX
  • Nguyen, Phuong-Lan; Demoen, Bart. Interleaving or separating environments and choice points in the WAM, CW Reports, volume CW364, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2003 PDF BibTeX
  • Schrijvers, Tom; Serebrenik, Alexander; Demoen, Bart. Refactoring Prolog programs, CW Reports, volume CW373, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2003 PDF BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Inference of termination conditions for numerical loops in Prolog, CW Reports, volume CW374, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2003 PDF BibTeX
  • Tronçon, Remko; Vandecasteele, Henk; Struyf, Jan; Demoen, Bart; Janssens, Gerda. An execution mechanism for combining query packs and once-transformations, CW Reports, volume CW362, pages 1-27, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2003 PDF BibTeX
  • Vanbroekhoven, Peter; Janssens, Gerda; Bruynooghe, Maurice; Corporaal, Henk; Catthoor, Francky. A step toward a scalable dynamic single assignment conversion, CW Reports, volume CW360, 61 pages, K.U.Leuven, Department of Computer Science, April 2003 PDF BibTeX
  • Vennekens, Joost; Verbaeten, Sofie. Logic progams with annotated disjunctions, CW Reports, volume CW368, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2003 PDF BibTeX
  • Verbaeten, Sofie; Van Assche, Anneleen. Ensemble methods for noise in classification problems, CW Reports, volume CW358, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2003 PDF BibTeX
  • Weyns, Kim; Demoen, Bart. On the maximal cycle and transient lengths of circular cellular automata, CW Reports, volume CW375, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2003 PDF BibTeX

Top

Misc.

5 references
  • Blockeel, Hendrik; Sebag, Michele. Scalability and efficiency in multi-relational data mining, SIGKDD Explorations: Newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, volume 5, issue 1, pages 17-30, June 2003 PDF BibTeX
  • Martens, Bern. Ethische en maatschappelijke vraagstukken in de informatica, Seminarie Informatica, 3 pages, 2003, Vorselaar, Belgium, March 26, 2003 BibTeX
  • Martens, Bern. On teaching ethics of IT, Seminars in Applied Ethics, 2 pages, 2003, Linköping, Zweden, November 28, 2003 BibTeX
  • Martens, Bern. Ethical and social issues in information technology, Technology, Information and Ethics, 4 pages, 2003, Linköping, Zweden, November 27, 2003 BibTeX
  • Martens, Bern. Een inleiding tot de ethiek van de informatica (voor informatici), Avondopleiding E-Security, 1.5 pages, 2003, Leuven, België, December 4, 2003 BibTeX

Top

 
Last update local database Sun Feb 26 2017 0:24 am; It contains now 12914 items.

Yearly overview:

 

Search pubs of DTAI

Make a selection by author, year, publication type.

Search collection INFORMATICS

Search collection COMPUTER SCIENCE

Bibtexs of this page