Publications DTAI

2003

Articles in internationally reviewed journals

6 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 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 BibTeX
  • Mazur, Nancy; Janssens, Gerda; Vanhoof, Wim. Collecting potential optimisations, Logic Based Program Synthesis and Transformation, volume 2664, pages 109-110, 2003 DOI 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 Aug, pages 465-491, 2003 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 BibTeX
  • Vandecasteele, Henk; Janssens, Gerda. An open ended tree, Theory and Practice of Logic Programming, volume 3, issue 3, pages 377-385, 2003 DOI 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, 2003 International Symposium on Logic Based Program Synthesis and Transformation, Uppsala, Sweden, August 25-27, 2003, Report CW, volume CW365, 252 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2003 BibTeX
  • Lavrac, Nada; Gamberger, Dragan; Blockeel, Hendrik; Todorovski, Ljupco (eds.), Machine Learning ECML 2003, European Conference on Machine Learning, Dubrovnik, Croatia, 22-26 September 2003, Lecture Notes in Artificial Intelligence, volume 2837, xvi+504 pages, Springer, 2003, isbn 354-020-121-1 BibTeX
  • Lavrac, Nada; Gamberger, Dragan; Todorovski, Ljupco; Blockeel, Hendrik (eds.), Knowledge Discovery in Databases: PKDD 2003, European Conference on Principles and Practice of Knowledge Discovery in Databases, Dubrovnik, Croatia, 22-26 September 2003, Lecture Notes in Artificial Intelligence, volume 2838, xvi+508 pages, Springer, 2003, isbn 354-020-085-1 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, R (eds.), IOS Press, 2003 PS 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.), Kluwer, 2003 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.), Kluwer, 2003 BibTeX
  • Jorge, Alipio; Moyle, Steve; Blockeel, Hendrik; Voss, Angi. Data mining processes and collaboration principles, Mladenic, D.; Lavrac, N.; Bohanec, M.; Moyle, S (eds.), Kluwer, 2003 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.), 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.), Wolters-Plantyn, 2003 BibTeX

Top

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

32 references
  • Blockeel, Hendrik. Prolog for Bayesian networks: a meta-interpreter approach, Dzeroski, S.; De Raedt, L.; Wrobel, S (eds.), International Workshop on Multi-Relational Data Mining, Washington, DC, August 27, 2003, Proceedings of the 2nd International Workshop on Multi-Relational Data Mining (MRDM-2003), pages 1-13 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.), Colloquium on Implementation of Constraint and Logic Programming Systems, Mumbay, December 14, 2003, Proceedings of CICLOPS 2003: Colloquium on Implementation of Constraint and Logic Programming Systems, volume Technical Report DCC, pages 59-74 BibTeX
  • Denecker, Marc. What's in a model? Epistemological analysis of logic programming, De Vos, M.; Provetti, A (eds.), ASP03 Answer Set Programming: Advances in Theory and Implementation, Messina, Sicily, September 26-28, 2003, Answer Set Programming: Advances in Theory and Implementation, pages 113-123 BibTeX
  • Driessens, Kurt; Ramon, Jan. Relational instance based regression for relational reinforcement learning, Fawcett, T.; Mishra, N (eds.), Twentieth International Conference on Machine Learning, Washington D.C., U.S.A., August 21-24, 2003, Proceedings of the Twentieth International Conference on Machine Learning, pages 123-130 BibTeX
  • Gartner, T.; Driessens, Kurt; Ramon, Jan. Graph kernels and Gaussian processes for relational reinforcement learning, Inductive Logic Programming, Szeged, Hungary, September 29 - October 1, 2003, Lecture Notes in Computer Science, volume 2835, pages 146-163, Springer DOI PDF BibTeX
  • Jacobs, Nico; Blockeel, Hendrik. User modeling with sequential data, Stephanidis, C (ed.), Human Computer Interaction 2003, Hersonissos, Kreta, Griekenland, June 22-27, 2003, Volume 4 of the Proceedings of HCI International 2003, pages 557-561 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.), 15th Belgian-Dutch Conference on Artificial Intelligence, Nijmegen, The Netherlands, October 23-24, 2003, Proceedings 15th Belgian-Dutch Conference on Artificial Intelligence, pages 163-170 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.), Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pages 403-408 BibTeX
  • Landwehr, Niels; Hall, Mark; Frank, Eibe. Logistic model trees, Lavrac, N.; Gamberger, D.; Todorovski, L.; Blockeel, Hendrik (eds.), 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings of the 14th European Conference on Machine Learning (ECML), volume 2837, pages 241-252 DOI 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
  • Nijssen, Siegfried; Kok, JN. Efficient frequent query discovery in FARMER, Knowledge Discovery in Databases: Pkdd 2003, Proceedings, volume 2838, pages 350-362, Springer-verlag berlin, 2003 DOI BibTeX
  • Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice. Translation of aggregate programs to normal logic programs, De Vos, M.; Provetti, A (eds.), ASP03 Answer Set Programming: Advances in Theory and Implementation, Messina, Sicily, September 26-28, 2003, Answer Set Programming: Advances in Theory and Implementation, pages 29-42 BibTeX
  • Ramon, Jan; Gaertner, Thomas. Expressivity versus efficiency of graph kernels, Washio, T.; De Raedt, L (eds.), 1st international workshop on mining graphs, trees and sequences, Cavtat-Dubrovnik, Croatia, September, 2003, Proceedings of the First International Workshop on Mining Graphs, Trees and Sequences, pages 65-74 BibTeX
  • Ramon, Jan; Struyf, Jan. Computer science in issues in Baduk, Chihyung, N (ed.), International Conference on Baduk, St. Petersburg, Russia, July 26-27, 2003, Proceedings of the Second International Conference on Baduk, pages 163-182 BibTeX
  • Schrijvers, Tom; Warren, David S.; Demoen, Bart. CHR for XSB, Lopes, R.; Ferreira, M (eds.), Colloquium on Implementation of Constraint and LOgic Programming Systems, Mumbai, India, December 14, 2003, Proceedings of CICLOPS 2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 7-20 PDF BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Proving termination with adornments, Lecture Notes in Computer Science, volume 3018, pages 108-109, Springer, 2003 DOI BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Hasta-La-Vista: Termination analyser for logic programs, Mesnard, F.; Serebrenik, Alexander (eds.), 13th Workshop on Logic Programming Environments, Mumbai, India, December 8, 2003, Proceedings of the 13th International Workshop on Logic Programming Environments, pages 60-74 BibTeX
  • Serebrenik, Alexander; Demoen, Bart. Refactoring logic programs, Lecture Notes in Computer Science, volume 2916, pages 509-510, Springer, 2003 DOI BibTeX
  • Shashidhar, K. C.; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda. Automatic functional verification of memory oriented global source code transformations, 8th Annual IEEE International Workshop on High Level Design Validation and Test, San Francisco, California, USA, 12-14 November 2003, Eight Annual IEEE International Workshop on High-Level Design Validation and Test, pages 31-36, IEEE BibTeX
  • Struyf, Jan; Blockeel, Hendrik. Query optimization in inductive logic programming by reordering literals, International Conference on Inductive Logic Programming, Szeged, Hungary, September 29 - October 1, 2003, Lecture Notes in Computer Science, volume 2835, pages 329-346, Springer DOI BibTeX
  • Struyf, Jan; Ramon, Jan; Blockeel, Hendrik. Compact representation of knowledge bases in ILP, International Conference on Inductive Logic Programming, Sydney, Australia, July 9-11, 2002, Lecture Notes in Computer Science, volume 2583, pages 254-269, Springer, 2003 DOI BibTeX
  • Tronçon, Remko; Janssens, Gerda; Demoen, Bart. Alternatives for compile & run in the WAM, Lopes, R.; Ferreira, M (eds.), Colloquium on Implementation of Constraint and LOgic Programming Systems, Mumbai, India, December 14, 2003, Proceedings of CICLOPS 2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 45-58 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.), International Conference on Inductive Logic Programming, Szeged, Hungary, September 29 - October 1, 2003, Inductive Logic Programming, 13th International Conference, ILP 2003, Szeged, Hungary, Short Presentations, pages 105-115 BibTeX
  • Van Assche, Anneleen; Krzywania, Darek; Vaneyghen, Joris; Struyf, Jan; Blockeel, Hendrik. First order alternating decision trees, Horváth, Tamás; Yamamoto, Akihiro (eds.), International Conference on Inductive Logic Programming, Szeged, Hungary, September 29 - October 1, 2003, Inductive Logic Programming, 13th International Conference, ILP 2003, Szeged, Hungary, Short Presentations, pages 116-125 PS 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.), ECML/PKDD Discovery Challenge: A Collaborative Effort in Knowledge Discovery from Databases, Cavtat-Dubrovnik, Croatia, 22-26 September 2003, Proceedings of the ECML/PKDD Discovery Challenge: A Collaborative Effort in Knowledge Discovery from Databases, pages 108-119 PS BibTeX
  • Vanbroekhoven, Peter; Janssens, Gerda; Bruynooghe, Maurice; Corporaal, Henk; Catthoor, Francky. Advanced copy propagation for arrays, Mueller, F.; Kremer, U (eds.), Languages, Compilers, and Tools for Embedded Systems - LCTES, San Diego, California, June 11-13, 2003, Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES'03), pages 24 - 33, ACM Press DOI BibTeX
  • Vandeginste, Ruben; Demoen, Bart. Incremental copying garbage collection for WAM-based Prolog systems, Lopes, R.; Ferreira, M (eds.), Colloquium on Implementation of Constraint and LOgic Programming Systems, Mumbai, India, December 14, 2003, Proceedings of CICLOPS'2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 103-115 BibTeX
  • Vanhoof, Wim; Tronçon, Remko; Bruynooghe, Maurice. A fixed point semantics for logic programs extended with cuts, Logic Based Program Synthesis and Transformation (LOPSTR 2002), Madrid, Spain, September 16-20, 2002, Lecture Notes in Computer Science, volume 2664, pages 238-257, Springer, 2003 DOI BibTeX
  • Vennekens, Joost; Verbaeten, Sofie. A general view on probabilistic logic programming, Heskes, T.; Lucas, P.; Vuurpijl, L.; Wiegerinck, W (eds.), Belgian-Dutch Conference on Artificial Intelligence, Nijmegen, The Netherlands, October 23-24, 2003, Proceedings 15th Belgian-Dutch Conference on Artificial Intelligence, pages 299-306 BibTeX
  • Vens, Celine; Blockeel, Hendrik. On heuristics for learning model trees, Heskes, T.; Lucas, P.; Vuurpijl, L.; Wiegerinck, W (eds.), 15th Belgian-Dutch Conference on Artificial Intelligence, Nijmegen, The Netherlands, October 23-24, 2003, Proceedings of the 15th Belgian-Dutch Conference on Artificial Intelligence, pages 307-314 BibTeX
  • Verbaeten, Sofie; Van Assche, Anneleen. Ensemble methods for noise elimination in classification problems, Windeatt, T.; Roli, F (eds.), Fourth Workshop on Multiple Classifier Systems, Guildford, United Kingdom, June 11-13, 2003, Multiple Classifier Systems, volume 2709, pages 317-325 BibTeX
  • Verdoolaege, Sven; Catthoor, Francky; Bruynooghe, Maurice; Janssens, Gerda. Multi-dimensional incremental loop fusion for data locality, IEEE 14th International Conference on Application-Specific Systems, Architectures, and Processors - ASAP, The Hague, The Netherlands, 24-26 June 2003, Proceedings 2003 Application-specific Systems, Architectures and Processors, pages 17-27, IEEE 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 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 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 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, 15th Belgian-Dutch Conference on Artificial Intelligence, Nijmegen, The Netherlands, October 23-24, 2003, Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence, pages 403-404 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, International Workshop on Logic Based Program Development and Transformation 2002, Madrid, Spain, September 16-20, 2002, 2003 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 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 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 BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Proving termination with adornments, 6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003 BibTeX
  • Serebrenik, Alexander; Demoen, Bart. Refactoring logic programs, 19th International Conference on Logic Programming, Mumbay, India, December 9-13, 2003 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 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, Brussels, Belgium, December 11, 2003, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium: Book of Abstracts, page 81 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 BibTeX
  • Verdoolaege, Sven. Loop transformations using polyhedra, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003 BibTeX
  • Verdoolaege, Sven; Catthoor, Francky; Bruynooghe, Maurice; Janssens, Gerda. Two-phase global loop transformations, PACT Symposium 2003, Edegem, Belgium, September 22-23, 2003 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) PS 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 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 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 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 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 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 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 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 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 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 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 BibTeX
  • Martens, Bern. Ethische en maatschappelijke vraagstukken in de informatica, Vorselaar, Belgium, March 26, 2003, Seminarie Informatica, 3 pages, 2003 BibTeX
  • Martens, Bern. On teaching ethics of IT, Linköping, Zweden, November 28, 2003, Seminars in Applied Ethics, 2 pages, 2003 BibTeX
  • Martens, Bern. Ethical and social issues in information technology, Linköping, Zweden, November 27, 2003, Technology, Information and Ethics, 4 pages, 2003 BibTeX
  • Martens, Bern. Een inleiding tot de ethiek van de informatica (voor informatici), Leuven, België, December 4, 2003, Avondopleiding E-Security, 1.5 pages, 2003 BibTeX

Top

 
Last update local database Thu Apr 17 2014 17:01 pm; It contains now 10550 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