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
- Denecker, Marc;
Marek, VW;
Truszczynski, M..
Uniform semantic treatment of default and autoepistemic logics, Artificial Intelligence, volume 143, issue 1, pages 79-122, 2003
- Mazur, Nancy;
Janssens, Gerda;
Vanhoof, Wim.
Collecting potential optimisations, Logic Based Program Synthesis and Transformation, volume 2664, pages 109-110, 2003
- 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
- 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
- Vandecasteele, Henk;
Janssens, Gerda.
An open ended tree, Theory and Practice of Logic Programming, volume 3, issue 3, pages 377-385, 2003
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
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
- 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
- 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
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
- 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
- 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
- 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
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
- 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
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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Serebrenik, Alexander;
De Schreye, Danny.
Proving termination with adornments, Lecture Notes in Computer Science, volume 3018, pages 108-109, Springer, 2003
- 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
- Serebrenik, Alexander;
Demoen, Bart.
Refactoring logic programs, Lecture Notes in Computer Science, volume 2916, pages 509-510, Springer, 2003
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
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
- Blockeel, Hendrik.
Induction of supermodels, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Krzywania, Darek.
Privacy preserving distributed data mining, 4th \" Freiburg, Leuven and Friends\" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003
- 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
- Raeymaekers, Stefan.
Automata Inference: label generalisation, generalisation evidence, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuen/Dourbes, Belgium, March 19-21, 2003
- 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
- Riche, Jacques.
Decision procedure of some relevant logics: a constructive perspective, 3rd World Conference on Paraconsistency, Toulouse, France, July 27-August 1, 2003
- Riche, Jacques.
A.N. Whitehead: natural philosopher, Chromatiques Whiteheadiennes, Louvain-la-Neuve, May 30-31, 2003
- Serebrenik, Alexander.
Proving termination with adornments, Termination Day in Leuven: Logic Programming Meets Rewriting, Leuven, Belgium, November 3, 2003
- Serebrenik, Alexander.
Termination analysis of logic programs, 19th International Conference on Logic Programming, Mumbay, India, December 9-13, 2003
- Serebrenik, Alexander;
De Schreye, Danny.
Hasta-La-Vista: Termination analyzer for logic programs, 6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003
- Serebrenik, Alexander;
De Schreye, Danny.
Proving termination with adornments, 6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003
- Serebrenik, Alexander;
Demoen, Bart.
Refactoring logic programs, 19th International Conference on Logic Programming, Mumbay, India, December 9-13, 2003
- 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
- Tronçon, Remko.
Speeding up inductive logic programming queries, ESSES PhD Student Meeting at PLI2003, Uppsala, Sweden, August 26-27, 2003
- Vandeginste, Ruben.
Incremental copying garbage collection for WAM-based Prolog systems, ESSES PhD Student Meeting at PLI2003, Uppsala, Sweden, August 26-27, 2003
- 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
- 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
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
- Jacobs, Nico.
Relational sequence learning for user modelling, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003
- 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
- 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
- Piessens, Frank;
Mariën, André;
Dussart, Dirk.
Security, more than network security only, Trends and Challenges in e-Security, Leuven, Belgium, April 3, 2003
- 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, page81
- Van Nuffelen, Bert.
Knowledge engineering vs software engineering, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003
- Vanbroekhoven, Peter;
Janssens, Gerda;
Bruynooghe, Maurice;
Corporaal, Henk;
Catthoor, Francky.
Advanced copy propagation for arrays, PACT Symposium 2003, Edegem, Belgium, September 22-23, 2003
- Verdoolaege, Sven.
Loop transformations using polyhedra, Industry-Ready Innovative Research: 1st Flanders Engineering PhD Symposium, Brussels, Belgium, December 11, 2003
- Verdoolaege, Sven;
Catthoor, Francky;
Bruynooghe, Maurice;
Janssens, Gerda.
Two-phase global loop transformations, PACT Symposium 2003, Edegem, Belgium, September 22-23, 2003
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)
- 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)
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
- 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
- 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
- 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
- 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
- Schrijvers, Tom;
Serebrenik, Alexander;
Demoen, Bart.
Refactoring Prolog programs, CW Reports, volume CW373, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2003
- 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
- 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
- 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
- Vennekens, Joost;
Verbaeten, Sofie.
Logic progams with annotated disjunctions, CW Reports, volume CW368, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2003
- 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
- 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
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
- Martens, Bern.
Ethische en maatschappelijke vraagstukken in de informatica, Vorselaar, Belgium, March 26, 2003, Seminarie Informatica, 3 pages, 2003
- Martens, Bern.
On teaching ethics of IT, Linköping, Zweden, November 28, 2003, Seminars in Applied Ethics, 2 pages, 2003
- Martens, Bern.
Ethical and social issues in information technology, Linköping, Zweden, November 27, 2003, Technology, Information and Ethics, 4 pages, 2003
- Martens, Bern.
Een inleiding tot de ethiek van de informatica (voor informatici), Leuven, België, December 4, 2003, Avondopleiding E-Security, 1.5 pages, 2003
Last update local database Sun May 19 2013 0:18 am; It contains now 9737 items.
Yearly overview:
