Publications DTAI

2001

Articles in internationally reviewed journals

9 references
  • Demoen, Bart; Sagonas, Konstantinos. Heap memory management in Prolog with tabling: Principles and practice, Journal of Functional and Logic Programming, volume 2001, issue 9, pages 1-56, 2001 BibTeX
  • Denecker, Marc; Bruynooghe, Maurice; Marek, Victor. Logic programming revisited: logic programs as inductive definitions, ACM Transactions on Computational Logic, volume 2, issue 4, pages 623-654, 2001 DOI BibTeX
  • Dershowitz, N.; Lindenstrauss, N.; Sagiv, Yehoshua; Serebrenik, Alexander. A general framework for automatic termination analysis of logic programs, Applicable Algebra in Engineering, Communication and Computing, volume 12, issue 1-2, pages 117-156, 2001 DOI BibTeX
  • Dzeroski, S.; De Raedt, Luc; Driessens, Kurt. Relational reinforcement learning, Machine Learning, volume 43, issue 1-2, pages 7-52, 2001 DOI PDF BibTeX
  • King, RD; Karwath, A.; Clare, A.; Dehaspe, Luc. The utility of different representations of protein sequence for predicting functional class, Bioinformatics, volume 17, issue 5, pages 445-454, 2001 DOI BibTeX
  • King, RD; Srinivasan, A.; Dehaspe, Luc. Warmr: a data mining tool for chemical data, Journal of Computer-aided Molecular Design, volume 15, issue 2, pages 173-181, 2001 BibTeX
  • Ramon, Jan; Bruynooghe, Maurice. A polynomial time computable metric between point sets, Acta Informatica, volume 37, issue 10, pages 765-780, 2001 DOI BibTeX
  • Verbaeten, Sofie; De Schreye, Danny. Termination of simply-moded well-typed logic programs under a tabled execution mechanism, Applicable Algebra in Engineering Communication and Computing, volume 12, issue 1-2, pages 157-196, 2001 DOI BibTeX
  • Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny. Termination proofs for logic programs with tabling, ACM Transactions on Computational Logic, volume 2, issue 1, pages 57-92, 2001 DOI BibTeX

Top

Article in book, internationally recognised scientific publisher

4 references
  • Dastani, Mehdi; Jacobs, Nico; Jonker, Catholijn M.; Treur, Jan. Modelling user preferences and mediating agents in electronic commerce, Dignum, Frank; Cortes, Ulises (eds.), Springer-Verlag, 2001 BibTeX
  • De Raedt, Luc; Blockeel, Hendrik; Dehaspe, Luc; Van Laer, Wim. Three companions for data mining in first order logic, Dzeroski, S.; Lavrac, N (eds.), Springer-Verlag, 2001 PS BibTeX
  • Driessens, Kurt. Relational reinforcement learning, Luck, Michael; Marik, Vladimir; Trappl, Robert; Stepankova, Olga (eds.), Springer-Verlag, 2001 PDF BibTeX
  • Van Laer, Wim; De Raedt, Luc. How to upgrade propositional learners to first order logic : A case study, Paliouras, G.; Spyropoulos, C.D.; Karkaletsis, V (eds.), Springer-Verlag, 2001 DOI PDF BibTeX

Top

Article in other published book

1 reference

Top

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

38 references
  • Arieli, Ofer; Van Nuffelen, Bert; Denecker, Marc; Bruynooghe, Maurice. Coherent composition of distributed knowledge-bases through abduction, Nieuwenhuis, R.; Voronkov, A (eds.), International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Havana, Cuba, December 3-7, 2001, Lecture Notes in Computer Science, volume 2250, pages 620-635, Springer DOI BibTeX
  • Barbaix, Yvan; Van Baelen, Stefan; De Vlaminck, Karel. Handling time constraints with virtual timers, Gerard, Sebastien; Terrier, Francois; Selic, Bran; Damm, Werner; Yi, Wang; Pettersson, Paul (eds.), European conference on object-oriented programming (ECOOP 2001), Budapest, Hungary, 18-22 June 2001, Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES 2001), pages 1-4 PDF BibTeX
  • Blockeel, Hendrik; Driessens, Kurt; Jacobs, Nico; Kosala, Raymondus; Raeymaekers, Stefan; Ramon, Jan; Struyf, Jan; Van Laer, Wim; Verbaeten, Sofie. First order models for the predictive toxicology challenge, Helma, C.; King, R.; Kramer, S.; Srinivasan, A (eds.), The Predictive Toxicology Challenge for 2000-2001, Freiburg, Germany, September 6, 2001, Proceedings of the ECML/PKDD Workshop on The Predictive Toxicology Challenge 2000-2001, pages 1-12 PDF BibTeX
  • Blockeel, Hendrik; Fuernkranz, Johannes; Prskawetz, Alexia; Billari, Francesco C.. Detecting temporal changes in event sequences : An application to demographic data, European Conference on Principles and Practice of Knowledge Discovery in Databases, Freiburg, Germany, 3-7 September 2001, Lecture Notes in Computer Science, volume 2168, pages 29-41, Springer DOI PS BibTeX
  • Blockeel, Hendrik; Struyf, Jan. Deriving biased classifiers for better ROC performance, Grobelnik, Marko; Mladenič, Dunja (eds.), Data Mining and Data Warehouse (sub-conference of Information Society 2001), Ljubljana, Slovenia, October 22-26, 2001, Information Society 2001, pages 124-127 BibTeX
  • Blockeel, Hendrik; Struyf, Jan. Frankenstein classifiers: Some experiments on the Sisyphus data set, Giraud-Carrier, C.; Lavrač, N.; Moyle, S (eds.), ECML/PKDD Workshop on Integrating Aspects of Data Mining, Decision Support and Meta-Learning, Freiburg, Germany, September 4, 2001, Proceedings of the ECML/PKDD Workshop on Integrating Aspects of Data Mining, Decision Support and Meta-Learning, pages 1-12 BibTeX
  • Blockeel, Hendrik; Struyf, Jan. Efficient algorithms for decision tree cross-validation, Brodley, Carla E.; Danyluk, Andrea Pohoreckyj (eds.), International Conference on Machine Learning, Williamstown, Massachusetts, June 28 - July 1, 2001, Proceedings of the Eighteenth International Conference on Machine Learning, pages 11-18, Morgan Kaufmann BibTeX
  • Blockeel, Hendrik; Struyf, Jan. Frankenstein classifiers: Some experiments, Hoste, Véronique; De Pauw, Guy (eds.), Belgian-Dutch Conference on Machine Learning, Antwerpen, Belgium, December 21, 2001, Proceedings of the Eleventh Belgian-Dutch Conference on Machine Learning, pages 5-12 BibTeX
  • Bruynooghe, Maurice; Vanhoof, Wim; Codish, Michael. Pos(T) : Analyzing dependencies in typed logic programs, Bjørner, Dines; Broy, Manfred; Zalumin, Alexandre (eds.), Andrei Ershov Fourth International Conference "Perspectives of System Informatics", Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Perspectives of System Informatics (Proceedings of Andrei Ershov Fourth International Conference), Preliminary Proceedings BibTeX
  • Bruynooghe, Maurice; Vanhoof, Wim; Codish, Michael. Pos(T) : Analyzing dependencies in typed logic programs, Bjørner, D.; Broy, M.; Zalumin, A.V (eds.), 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorod, Novosibirsk, Russia, July 2-6, 2001, Lecture Notes in Computer Science, volume 2244, pages 406-420, Springer DOI BibTeX
  • Demoen, Bart; García de la Banda, M.; Stuckey, P.. Trying out alternatives for type class support in a new back end for HAL, Pontelli, E (ed.), Colloquium on Implementation of Constraint and Logic Programming Systems, Paphos, Cyprus, December 1, 2001, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001), volume TR-CS-003/2001, pages 15-31 BibTeX
  • Demoen, Bart; Nguyen, Phuong-Lan. About unnecessary performance differences between Prolog implementations, Pontelli, E (ed.), Colloquium on Implementation of Constraint and LOgic Programming Systems, Paphos, Cyprus, December 1, 2001, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001), volume TR-CS-003/2001, pages 32-48 BibTeX
  • Demoen, Bart; Nguyen, Phuong-Lan. Argument registers or local stack for parameter passing in the WAM, Pontelli, E (ed.), Colloquium on Implementation of Constraint and Logic Programming Systems, Paphos, Cyprus, December 1, 2001, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOP 2001), volume TR-CS-003/2001, pages 49-65 BibTeX
  • Denecker, Marc. Logic Programs: Default logic theories or inductive definitions?, Kröse, B.; de Rijke, M.; Schreiber, G.; van Someren, M (eds.), 13th Belgium-Netherlands Conference on Artificial Intelligence, Amsterdam, The Netherlands, October 25-26, 2001, Proceedings of BNAIC 2001, pages 95-102 BibTeX
  • Denecker, Marc; Pelov, Nikolay; Bruynooghe, Maurice. Ultimate Well-founded and stable semantics for logic programs with aggregates, Codognet, P (ed.), 17th International Conference on Logic Programming, Paphos, Cyprus, November 26 - December 1, 2001, Lecture Notes in Computer Science, pages 212-226, Springer DOI BibTeX
  • Driessens, Kurt. Relational reinforcement learning, Lecture Notes in Computer Science, volume 2086, pages 271-280, Springer, 2001 DOI PDF BibTeX
  • Driessens, Kurt; Ramon, Jan; Blockeel, Hendrik. Speeding up relational reinforcement learning through the use of an incremental first order decision tree algorithm, De Raedt, Luc; Flach, Peter (eds.), European Conference on Machine Learning, Freiburg, Germany, September 3-7, 2001, Lecture Notes in Computer Science, volume 2167, pages 97-108, Springer DOI PDF BibTeX
  • Jacobs, Nico; Blockeel, Hendrik. The learning shell: Automated macro construction, International Conference on User Modelling, Sonthofen, Germany, 13-17 July 2001, Lecture Notes in Computer Science, volume 2109, pages 34-43, Springer DOI BibTeX
  • Jacobs, Nico; Blockeel, Hendrik. From shell logs to shell scripts, Rouveirol, C.; Sebag, M (eds.), International Conference on Inductive Logic Programming, Strasbourg, France, September 9-11, 2001, Lecture Notes in Computer Science, volume 2157, pages 80-90, Springer DOI BibTeX
  • Jacobs, Nico; Blockeel, Hendrik. The learning shell : Automated macro construction, Bauer, M.; Gmytrasiewicz, P.J (eds.), 8th International Conference on User Modeling 2001, Sonthofen, Germany, July 13-17, 2001, User Modeling 2001, volume 2109, pages 34-43 BibTeX
  • Jacobs, Nico; Heylighen, Ann; Blockeel, Hendrik. Dynamic website mining, European Symposium on Intelligent Technologies, Hybrid Systems and their implementation on Smart Adaptive Systems, Tenerife, Spain, 13-14 December 2001, EUNITE 2001, pages 472-478 intranet BibTeX
  • Kakas, Antonis C.; Van Nuffelen, Bert; Denecker, Marc. A-system : Problem solving through abduction, Nebel, B (ed.), Seventeenth International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, August 4-10, 2001, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, pages 591-596 BibTeX
  • Keyngnaert, Peter; Demoen, Bart; De Sutter, B.; De Bus, Bruno; De Bosschere, K.. Conflict graph based allocation of static objects to memory banks, Henglein, F.; Hughes, J.; Makholm, H.; Niss, H (eds.), First workshop on Semantic, Program Analysis, and Computing Environments for Memory Management, London, United Kingdom, January 15-16, 2001, Informal Proceedings of the First Workshop on Semantic, Program Analysis, and Computing Environments for Memory Management, pages 131-142 BibTeX
  • Keyngnaert, Peter; Demoen, Bart; De Sutter, B.; De Bus, Bruno; De Bosschere, K.. Conflict graph based allocation of static objects to memory banks, Callaos, N.; Tinetti, F.G (eds.), 5th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, USA, July 22-25, 2001, Proceedings of SCI2001 - 5th World Multiconference on Systemics, Cybernetics and Informatics, volume XIV, pages 88-93 BibTeX
  • Mazur, Nancy; Ross, Peter; Janssens, Gerda; Bruynooghe, Maurice. Practical aspects for a working compile time garbage collection system for Mercury, Codognet, P (ed.), International Conference on Logic Programming, Paphos, Cyprus, November 26 - December 1, 2001, Lecture Notes in Computer Science, volume 2237, pages 105-119, Springer DOI BibTeX
  • Ramon, Jan; Blockeel, Hendrik. A survey of the application of machine learning to the game of go, Sang-Dae Hahn, (ed.), First International Conference on Baduk, Myong-ji, Korea, May 11-12, 2001, Proceedings of the First International Conference on Baduk, pages 1-10 BibTeX
  • Ramon, Jan; Francis, Tom; Blockeel, Hendrik. Learning a Tsume-Go heuristic with Tilde, Marsland, T. A.; Frank, I (eds.), Second international Conference on Computers and Games, Hamamatsu, Japan, October 26-28, 2000, Lecture Notes in Computer Science, volume 2063, pages 151-169, Springer, 2001 DOI BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. On termination of meta-programs, Nieuwenhuis, R.; Voronkov, A (eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, Havana, Cuba, December 3-7, 2001, Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, Proceedings, volume 2250, pages 517-530 DOI BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Non-transformational termination analysis of logic programs, based on general term-orderings, Lau, Kung-Kiu (ed.), 10th International Workshop on Logic Based Program Synthesis and Transformation, London, United Kingdom, July 24-28, 2000, Lecture Notes in Computer Science, volume 2042, pages 69-85, Springer, 2001 DOI BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Inference of termination conditions for numerical loops in Prolog, Nieuwenhuis, R.; Voronkov, A (eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, Proceedings, Havana, Cuba, December 3-7, 2001, Lecture Notes in Computer Science, volume 2250, pages 654-668 DOI BibTeX
  • Struyf, Jan; Blockeel, Hendrik. Efficient multi-relational data mining, Hoste, Véronique; De Pauw, Guy (eds.), Belgian-Dutch Conference on Machine Learning, Antwerpen, Belgium, December 21, 2001, Proceedings of the Eleventh Belgian-Dutch Conference on Machine Learning, pages 69-75 BibTeX
  • Struyf, Jan; Blockeel, Hendrik. Efficient cross-validation in ILP, Rouveirol, C.; Sebag, M (eds.), International Conference on Inductive Logic Programming, Strasbourg, France, September 9-11, 2001, Lecture Notes in Computer Science, volume 2157, pages 228-239, Springer DOI BibTeX
  • Van Nuffelen, Bert; Kakas, Antonis C.. A-System : Programming with abduction, Eiter, T.; Faber, W.; Truszczynski, M (eds.), 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Vienna, Austria, September 17-19, 2001, Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, Proceedings, volume 2173, pages 393-396 DOI BibTeX
  • Vandeginste, Ruben; Sagonas, Konstantinos; Demoen, Bart. Segment order preserving and generational garbage collection for Prolog, Pontelli, E (ed.), Colloquium on Implementation of Constraint and LOgic Programming Systems, Paphos, Cyprus, December 1, 2001, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001), volume TR-CS-003/2001, pages 81-95 BibTeX
  • Vanhoof, Wim; Bruynooghe, Maurice. When size does matter - Termination analysis for typed logic programs, Pettorossi, A (ed.), Logic-based Program Synthesis and Transformation, Paphos, Cyprus, November 28-30, 2001, Pre-Proceedings, LOPSTR'01 : Logic-based Program Synthesis and Transformation, pages 67-76 BibTeX
  • Vanhoof, Wim; Bruynooghe, Maurice. Binding-time annotations without binding-time analysis, Nieuwenhuis, R.; Voronkov, A (eds.), International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Havana, Cuba, December 3-7, 2001, Lecture Notes in Computer Science, volume 2250, pages 707-722, Springer DOI BibTeX
  • Verdoolaege, Sven; Denecker, Marc; Van Eynde, Frank. Abductive reasoning with temporal information, International workshop on computational semantics, 10-12 January 2001, Proceedings of the Fourth International Workshop on Computational Semantics IWCS-4, January 10-12, pages 351-366, S.l. : s.n. BibTeX
  • Vermeire, Lea; Ketels, Marc; De Schreye, Danny; Frimout, Dirk; Joniau, Marcel; Schatteman, Paul; Van der Perre, Georges; Van Heddegem, Joannes; Wambacq, Patrick. Artificial Intelligence and Beyond - Post-academic Seminars in an International Network, Van der Perre, Georges; Vandevelde, Patricia (eds.), International colloquium ‘The Wanderstudent 2000 - The wanderstudent of 1425 revived in virtual reality in 2000? Towards a European virtual university’, Leuven, Belgium, 20-21 October 2000, The Wanderstudent 2000 / Ed. by Van der Perre, G. and Vandevelde, P. - Leuven: Universitaire Pers, pages 88-90, Leuven University Press, 2001 intranet BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

19 references
  • Blockeel, Hendrik. Future directions for ILP - a personal view, 2nd Leuven-Freiburg Workshop on Machine Learning, Oostkamp, Belgium, March 14-16, 2001 BibTeX
  • Blockeel, Hendrik; Struyf, Jan. Efficient algorithms for decision tree cross-validation, Second Leuven-Freiburg Workshop on Machine Learning, Oostkamp, Belgium, March 14-16, 2001 BibTeX
  • Blockeel, Hendrik; Struyf, Jan. Efficient multi-relational data mining, Knobbe, Arno; van der Wallen, Daniël (eds.), ECML/PKDD Workshop on Multi-Relational Data Mining, Freiburg, Germany, 6 September 2001, Proceedings of the First Workshop on Multi-Relational Data Mining, pages 46-48 BibTeX
  • Blockeel, Hendrik; Struyf, Jan. Efficient algorithms for decision tree cross-validation, Kröse, Ben; de Rijke, Maarten; Schreiber, Guus; van Someren, Maarten (eds.), Belgium-Netherlands Conference on Artificial Intelligence, Amsterdam, The Netherlands, October 25-26, 2001, Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence, pages 49-50 BibTeX
  • Driessens, Kurt. Relational reinforcement learning, Advanced Course on Artificial Intelligence : The Third European Agent Systems Summer School, Prague, Czech Republik, July 2-13, 2001 BibTeX
  • Driessens, Kurt; Blockeel, Hendrik. Learning tetris, 2nd Leuven-Freiburg Workshop on Machine Learning, Oostkamp, Belgium, March 14-16, 2001 BibTeX
  • Driessens, Kurt; Blockeel, Hendrik. Learning digger using hierarchical reinforcement learning for concurrent goals, Wiering, Marco (ed.), European Workshop on Reinforcement Learning, Utrecht, the Netherlands, October 5-6, 2001, Proceedings of the European Workshop on Reinforcement Learning, pages 11-12, CKI Utrecht University PDF BibTeX
  • Driessens, Kurt; Ramon, Jan; Blockeel, Hendrik. Speeding up relational reinforcement learning through the use of an incremental first order decision tree learner, Krose, B.; de Rijke, M.; Schreiber, G.; van Someren, M (eds.), Belgian-Dutch Artificial Intelligence Conference, Amsterdam, The Netherlands, October 25-26, 2001, Proceedings of the 13th Belgian-Dutch Artificial Intelligence Conference, pages 107-108 PDF BibTeX
  • Jacobs, Nico; Blockeel, Hendrik. Building models for computer shell users, 2nd Leuven-Freiburg Workshop on Machine Learning, Oostkamp, Belgium, March 14-16, 2001 BibTeX
  • Kakas, Antonis C.; Van Nuffelen, Bert; Denecker, Marc. A-system : Problem solving through abduction, 13th Belgium-Dutch Conference on Artificial Intelligence, Amsterdam, The Netherlands, October 25-26, 2001 BibTeX
  • Kosala, Raymondus. Learning deterministic finite automata, 2nd Leuven-Freiburg Workshop on Machine Learning, Oostkamp, Belgium, March 14-16, 2001 BibTeX
  • Mazur, Nancy; Ross, Peter; Janssens, Gerda; Bruynooghe, Maurice. Practical structure reuse for Mercury, Semantics, Program Analysis, and Computing Environments for memory management, London, United Kingdom, January 15-16, 2001 BibTeX
  • Raeymaekers, Stefan; Blockeel, Hendrik. Optimisation of automatic constant generation for ACE, 2nd Leuven-Freiburg Workshop on Machine Learning, Oostkamp, Belgium, March 14-16, 2001 BibTeX
  • Ramon, Jan; Blockeel, Hendrik. A prototype for the edit distance, 2nd Leuven-Freiburg Workshop on Machine Learning, Oostkamp, Belgium, March 14-16, 2001 BibTeX
  • Riche, Jacques. L'algèbre universelle, Chromatiques Whiteheadiennes 1, Liège, Belgium, October 11-13, 2001 BibTeX
  • Serebrenik, Alexander. Inference of termination conditions for numerical loops, Fifth international workshop on termination, Utrecht, The Netherlands, May 20-21, 2001 BibTeX
  • Serebrenik, Alexander. On termination of the meta-programs, Fifth international workshop on termination, Utrecht, The Netherlands, May 20-21, 2001 BibTeX
  • Van Laer, Wim. Efficiency through query transformations, 2nd Leuven-Freiburg Workshop on Machine Learning, Oostkamp, Belgium, March 14-16, 2001 BibTeX
  • Vanhoof, Wim; Bruynooghe, Maurice. Binding-time annotations without binding-time analysis, Fifth international workshop on termination, Utrecht, The Netherlands, May 20-21, 2001 BibTeX

Top

Meeting abstracts, presented at other conferences and symposia

6 references
  • Serebrenik, Alexander. Inference of termination conditions for numerical loops, F.N.R.S. meeting on Validation and Verification of Formal Descriptions, ULB, Brussel, June 6, 2001 BibTeX
  • Tronçon, Remko. Storage Size Reduction in VLSI Design, PACT-Symposium, Oostende, Belgium, September 3-4, 2001 BibTeX
  • Vanbroekhoven, Peter. Dynamic Single Assignment and Pointer Conversion, PACT-Symposium, Oostende, Belgium, September 3-4, 2001 BibTeX
  • Vanhoof, Wim. Java programmeren: een inleiding, ** CONFERENTIENAAM ONTBREEKT **, Lerarenopleiding, KHLeuven, September 26, 2001 BibTeX
  • Vanhoof, Wim; Bruynooghe, Maurice. Binding-time annotations without binding-time analysis, F.N.R.S. meeting on Validation and Verification of Formal Descriptions, ULB, Brussel, June 6, 2001 BibTeX
  • Verdoolaege, Sven. Loop transformations in the PDG-model, PACT-Symposium, Oostende, Belgium, September 3-4, 2001 BibTeX

Top

Thesis

2 references
  • Aerts, Kris. VISTO: a declarative methodology for graphical user interfaces, based on Haskell, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2001, xii+294 pages, isbn: 905-682-292-6, De Vlaminck, Karel (supervisor) BibTeX
  • Vanhoof, Wim. Techniques for on- and off-line specialisation of logic programs, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2001, 323 + xiv pages, Bruynooghe, Maurice and De Schreye, Danny (supervisors) PDF BibTeX

Top

Internal reports

16 references
  • Arieli, Ofer; Denecker, Marc. Circumscriptive approaches to paraconsistent reasoning, CW Reports, volume CW304, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2001 BibTeX
  • Barbaix, Yvan; Van Baelen, Stefan; Wils, Andrew (eds.), Timing, memory and other resource constraints, DESS Project Report, volume D1.3.2, 20 pages, ITEA-DESS consortium, October 2001 PDF BibTeX
  • Blockeel, Hendrik; Fürnkranz, Johannes; Prskawetz, Alexia; Billari, Francesco C.. Detecting Temporal Change in Event Sequences : An Application to Demographic Data, ÖFAI Technical Report, issue TR-2001-09, 16 pages, Österreichisches Forschungsinstitut für Artificial Intelligence, April 2001 BibTeX
  • Blockeel, Hendrik; Struyf, Jan. Efficient algorithms for decision tree cross-validation, CW Reports, volume CW305, pages 1-10, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 2001 BibTeX
  • Cohen, Sara; Kanza, Yaron; Kogan, Yakov; Nutt, Werner; Sagiv, Yehoshua; Serebrenik, Alexander. EquiX---A search and query language for XML, CW Reports, volume CW322, 36 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2001 BibTeX
  • Demoen, Bart; García de la Banda, M.; Stuckey, P.. Type class support for HAL in hProlog, CW Reports, volume CW315, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2001 BibTeX
  • Demoen, Bart; Nguyen, Phuong-Lan. Odd Prolog benchmarking, CW Reports, volume CW312, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2001 BibTeX
  • Denecker, Marc; Marek, Victor W.; Truszczynski, Miroslaw. Ultimate approximations, CW Reports, volume CW320, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2001 PDF BibTeX
  • Dzeroski, Saso; De Raedt, Luc; Driessens, Kurt. Relational reinforcement learning, CW Reports, volume CW311, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2001 PDF BibTeX
  • Mazur, Nancy; Ross, Peter; Janssens, Gerda; Bruynooghe, Maurice. Practical aspects for a working compile time garbage collection sys, CW Reports, volume CW310, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2001 BibTeX
  • Schrijvers, Tom; Demoen, Bart. An improvement to PARMA variable trailing, CW Reports, volume CW326, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2001 BibTeX
  • Schrijvers, Tom; Demoen, Bart; de la Banda, Maria Garcia; Stuckey, P.. Trailing Analysis for HAL, CW Reports, volume CW327, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2001 BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. Inference of termination conditions for numerical loops, CW Reports, volume CW308, 25 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2001 BibTeX
  • Serebrenik, Alexander; De Schreye, Danny. On termination of meta-programs, CW Reports, volume CW306, 33 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 2001 BibTeX
  • Vandeginste, Ruben; Demoen, Bart. The implementation of a new segment preserving and/or (multi-)generational copying garbage collection for a WAM and its approximation, CW Reports, volume CW319, 26 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2001 BibTeX
  • Verdoolaege, Sven; Catthoor, Francky; Bruynooghe, Maurice; Janssens, Gerda. A heuristic for improving the regularity of accesses by global loop transformations in the polyhedral model, CW Reports, volume CW325, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2001 BibTeX

Top

 
Last update local database Sun Nov 23 2014 0:19 am; It contains now 10966 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