Publications DTAI

2009

Articles in internationally reviewed journals

17 references
  • Berendt, Bettina. Ranking - use and usability, Bulletin of the Belgian Mathematical Society - Simon Stevin, volume 16, issue 4, pages 745-768, 2009 PDF BibTeX
  • Berendt, Bettina; Kralisch, Anett. A user-centric approach to identifying best deployment strategies for language tools: The impact of content and access language on Web user behaviour and attitudes, Information Retrieval, volume 12, issue 3, pages 380-399, 2009 DOI PDF BibTeX
  • Berendt, Bettina; Subasic, Ilija. Measuring graph topology for interactive temporal event detection, Künstliche Intelligenz, volume 02, issue 2009, pages 11-17, 2009 PDF BibTeX
  • Clauss, Philippe; Fernandez, Federico Javier; Garbervetsky, Diego; Verdoolaege, Sven. Symbolic polynomial maximization over convex sets and its application to memory requirement estimation, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, volume 17, issue 8, pages 983-996, 2009 DOI PDF BibTeX
  • De Koninck, Leslie. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities, Theory and Practice of Logic Programming, volume 9, issue 2, pages 165-212, 2009 DOI PDF BibTeX
  • De Raedt, Luc; Ramon, Jan. Deriving distance metrics from generality relations, Pattern Recognition Letters, volume 30, issue 3, pages 187-191, 2009 DOI PDF BibTeX
  • Dries, Anton; Rückert, Ulrich. Adaptive concept drift detection, Statistical Analysis and Data Mining, volume 2, issue 5-6, pages 311-327, 2009 DOI PDF BibTeX
  • Meyfroidt, Geert; Guiza Grandas, Fabian; Ramon, Jan; Bruynooghe, Maurice. Machine learning techniques to examine large patient databases, Baillière's Best Practice & Research. Clinical Anaesthesiology, volume 23, issue 1, pages 127-143, 2009 DOI PDF BibTeX
  • Ramon, Jan; Nijssen, Siegfried. Polynomial-delay enumeration of monotonic graph classes, Journal of Machine Learning Research, volume 10, pages 907-929, 2009 DOI PDF BibTeX
  • Schrijvers, Tom; Peyton Jones, Simon; Sulzmann, Martin; Vytiniotis, Dimitrios. Complete and decidable type inference for GADTs, Volledige en beslisbare type-inferentie voor GADTs, ACM Sigplan Notices, volume 44, issue 8-9, pages 341-352, 2009 DOI PDF BibTeX
  • Schrijvers, Tom; Stuckey, Peter; Wadler, Philip. Monadic constraint programming, Journal of Functional Programming, volume 19, issue 6, pages 663-697, 2009 DOI PDF BibTeX
  • Shen, Yi-Dong; De Schreye, Danny; Voets, Dean. Termination prediction for general logic programs, Theory and Practice of Logic Programming, volume 9, issue 6, pages 751-780, 2009 DOI PDF BibTeX
  • Sneyers, Jon. Rechtspositie en loonvoorwaarden van doctoraatsbursalen, Tijdschrift voor Onderwijsrecht en Onderwijsbeleid, volume 2008-2009, issue 5, pages 353-361, 2009 PDF BibTeX
  • Sneyers, Jon; Schrijvers, Tom; Demoen, Bart. The computational power and complexity of Constraint Handling Rules, ACM Transactions on Programming Languages and Systems, volume 31, issue 2, 42 p. pages, 2009 DOI PDF BibTeX
  • Subasic, Ilija; Berendt, Bettina. Discovery of interactive graphs for understanding and searching time-indexed corpora, Knowledge and Information Systems, volume 23, issue 3, pages 293-319, 2009 DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. CP-logic: A language of causal probabilistic events and its relation to logic programming, Theory and Practice of Logic Programming, volume 9, issue 3, pages 245-308, 2009 DOI PDF BibTeX
  • Zimmermann, Albrecht; De Raedt, Luc. Cluster-grouping: from subgroup discovery to clustering, Machine Learning, volume 77, issue 1, pages 125-159, 2009 DOI PDF BibTeX

Top

Books, internationally recognised scientific publisher; as author

1 reference
  • Fertin, Guillaume; Labarre, Anthony; Rusu, Irena; Tannier, Eric; Vialette, Stéphane. Combinatorics of Genome Rearrangements, Computational Molecular Biology (1 ed.), xvi+288 pages, The MIT Press, Cambridge, MA (USA), 2009, isbn 978-026-206-282-4 PDF PDF BibTeX

Top

Books, internationally recognised scientific publisher; as editor

2 references
  • Berendt, Bettina; Mladenic, Dunja; de Gemmis, Marco; Spiliopoulou, Myra; Semeraro, Giovanni; Svatek, Vojtech; Zelezny, Filip (eds.), Knowledge discovery enhanced with semantic and social information, Studies in Computational Intelligence Series (1st ed.), volume 220, 146 pages, Springer, Berlin etc., 2009 intranet BibTeX
  • Costa Florencio, Cristovao; Ramon, Jan; Costa, Fabrizio; Kok, Joost (eds.), Proceedings of the KDD 2009 Workshop on Statistical and Relational Learning in Bioinformatics, StReBio'09 (1 ed.), 41 pages, ACM, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, USA, 2009, isbn 978-160-558-667-0, Knowledge Discovery and Datamining, KDD, Paris, France, 28 June- 1 July 2009 PDF BibTeX

Top

Article in book, internationally recognised scientific publisher

1 reference
  • Berendt, Bettina; Trümper, Daniel. Semantics-based analysis and navigation of heterogeneous text corpora: the PORPOISE news and blogs engine, Web Mining Applications in E-commerce and E-services, pages 45-64, Springer, 2009 DOI intranet BibTeX

Top

Article in other published book

1 reference
  • De Raedt, Luc. Over machines die leren, Raymaekers, Bart (ed.), Lessen voor de Eenentwintigste Eeuw -- Visie en Vooruitgang, pages 47-68, Universitaire Pers Leuven, 2009 PDF BibTeX

Top

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

64 references
  • Antanas, Laura; Thon, Ingo; van Otterlo, Martijn; Landwehr, Niels; De Raedt, Luc. Probabilistic logical sequence learning for video, De Raedt, Luc (ed.), Online Proceedings of the International Conference on Inductive Logic Programming, Inductive Logic Programming, Leuven, Belgium, 2-4 July 2009 PDF BibTeX
  • Antanas, Laura; van Otterlo, Martijn; De Raedt, Luc; Thon, Ingo. Learning probabilistic relational models from sequential video data with applications in table-top and card games, Proceedings of the Annual Belgian-Dutch Conference on Machine Learning, pages 105-106, Belgian-Dutch Conference on Machine Learning, Tilburg, 18-19 May 2009 PDF BibTeX
  • Berendt, Bettina; Subasic, Ilija. STORIES in time: a graph-based interface for news tracking and discovery, Proceedings of Intelligent Analysis and Processing of Web News Content (IAPWNC) at The 2009 IEEE /WIC / ACM International Conferences Web Intelligence (WI’09) / Intelligent Agent Technology (IAT’09), pages 531-534, Intelligent Analysis and Processing of Web News Content (IAPWNC) at The 2009 IEEE /WIC / ACM International Conferences Web Intelligence (WI’09) / Intelligent Agent Technology (IAT’09), Milan, Italy, 15 Sep 2009 DOI intranet BibTeX
  • Berlingerio, Michele; Bonchi, Francesco; Bringmann, Björn; Gionis, Aristides. Mining graph evolution rules, Buntine, Wray L.; Grobelnik, Marko; Mladenic, Dunja; Shawe-Taylor, John (eds.), Machine Learning and Knowledge Discovery in Databases, volume 5781, pages 115-130, Springer, European Conference on Machine Learning and Knowledge Discovery in Databases, Bled, 7-11 September 2009 DOI PDF BibTeX
  • Blockeel, Hendrik; Brijder, Robert. Learning non-confluent NLC graph grammar rules, Mathematical Theory and Computational Practice, Fifth Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Abstract Booklet, University of Heidelberg., pages 60-69, Computability in Europe, Heidelberg, Germany, 19-24 July 2009 PDF BibTeX
  • Bruynooghe, Maurice; De Cat, Broes; Drijkoningen, Jochen; Fierens, Daan; Goos, Jan; Gutmann, Bernd; Kimmig, Angelika; Labeeuw, Wouter; Langenaken, Steven; Landwehr, Niels; Meert, Wannes; Nuyts, Ewoud; Pellegrims, Robin; Rymenants, Roel; Segers, Stefan; Thon, Ingo; Van Eyck, Jelle; Van den Broeck, Guy; Vangansewinkel, Tine; Van Hove, Lucie; Vennekens, Joost; Weytjens, Timmy; De Raedt, Luc. An exercise with statistical relational learning systems, Domingos, Pedro; Kersting, Kristian (eds.), Proceedings 2009 International Workshop on Statistical Relational Learning, pages 1-3, International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009 PDF PDF PDF BibTeX
  • Costa Florencio, Cristovao. Identification of NCE graph grammars, Stehouwer, Herman (ed.), Proceedings of Benelearn09, the 18th Annual Belgian-Dutch Conference on Machine Learning, pages 115-116, Benelearn, Tilburg, 18-19 May 2009 PDF BibTeX
  • Costa Florencio, Cristovao. Identification of Hyperedge-Replacement graph grammars, Blockeel, Hendrik; Borgwardt, Karsten; Yan, Xifeng (eds.), 7th International Workshop on Mining and Learning with Graphs, pages 1-3, International Workshop on Mining and Learning with Graphs, MLG, Leuven, Belgium, 2-4 July 2009 PDF BibTeX
  • Costa Florencio, Cristovao; Ramon, Jan; Daenen, Jonny; Van den Bussche, Jan; Van Dyck, Dries. Graph grammars as language bias in graph mining, Blockeel, Hendrik; Borgwardt, Karsten; Yan, Xifeng (eds.), 7th International Workshop on Mining and Learning with Graphs, Extended Abstracts, pages 1-3, International Workshop on Mining and Learning with Graphs, Leuven, Belgium, 2-4 July 2009 PDF BibTeX
  • De Raedt, Luc. The logic of learning, Lecture Notes in Computer Science, volume 5548, page 57, Springer, International Conference on Formal Concept Analysis (ICFCA), Darmstadt, Germany, May 21-24, 2009 DOI PDF BibTeX
  • De Raedt, Luc. Probabilistic logic learning - a tutorial abstract, Lecture Notes in Computer Science, volume 5649, page 39, Springer, International Conference on Logic Programming (ICLP), Pasadena, CA, USA, July 14-17, 2009 DOI PDF BibTeX
  • Degrave, François; Schrijvers, Tom; Vanhoof, Wim. Automatic test input generation for Mercury, Lecture Notes in Computer Science, volume 5438, pages 71-86, Springer, 2009, 18th Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July 2008 DOI PDF BibTeX
  • Denecker, Marc; Vennekens, Joost; Bond, Stephen; Gebser, Martin; Truszczyński, Mirosław. The second answer set programming competition, Erdem, Esra; Lin, Fangzhen; Schaub, Torsten (eds.), Logic Programming and Nonmonotonic Reasoning, volume LNAI 5753, pages 637-654, Springer, LPNMR'09, Potsdam, 14-18 September 2009 DOI PDF BibTeX
  • Dries, Anton; De Raedt, Luc. Towards clausal discovery for stream mining (extended abstract), Preliminary Proceedings of the 19th International Conference on Inductive Logic Programming (ILP’09), pages 1-6, Inductive Logic Programming, Leuven, Belgium, 2-4 July 2009 PDF BibTeX
  • Dries, Anton; Nijssen, Siegfried; De Raedt, Luc. A query language for analyzing networks, Proceedings of the ACM Conference on Information and Knowledge Management, pages 485-494, ACM, ACM Conference on Information and Knowledge Management, Hong Kong, China, 2-6 November 2009 DOI PDF BibTeX
  • Dries, Anton; Rückert, Ulrich. Adaptive concept drift detection, SIAM International Conference on Data Mining, pages 233-244, SIAM International Conference on Data Mining, Sparks, Nevada, 29 April - 2 May 2009 PDF BibTeX
  • Fierens, Daan. On the relationship between logical Bayesian networks and probabilistic logic programming based on the distribution semantics, De Raedt, Luc (ed.), Online Proceedings of the 19th International Conference on Inductive Logic Programming, International Conference on Inductive Logic Programming, Leuven, 1-4 July 2009 PDF BibTeX
  • Hou, Ping; Denecker, Marc. A logic of fixpoint definitions, Faber, Wolfgang; Lee, Joohyung (eds.), Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2009, pages 1-15, Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2009, Pasadena, California, USA, 14 July 2009 PDF BibTeX
  • Hou, Ping; Denecker, Marc. A deductive system for FO(ID) based on least fixpoint logic, Erdem, Esra; Lin, Fangzhen; Schaub, Torsten (eds.), Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Lecture Notes on Computer Science, volume 5753, pages 129-141, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany, 14-18 September, 2009 DOI PDF BibTeX
  • Kimmig, Angelika; De Raedt, Luc. Local query mining in a probabilistic Prolog, Boutilier, Craig (ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09), volume 2, pages 1095-1100, AAAI Press, International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11 - 17 2009 PDF BibTeX
  • Kimmig, Angelika; Gutmann, Bernd; Santos Costa, Vitor. Trading memory for answers: Towards tabling ProbLog, Domingos, Pedro; Kersting, Kristian (eds.), International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009 PDF BibTeX
  • Mantadelis, Theofrastos; Janssens, Gerda. Tabling relevant parts of SLD proofs for ground goals in a probabilistic setting, Tarau, Paul; Moura, Paulo; Zhou, Neng-Fa (eds.), International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Pasadena, California, USA, 14-17 July 2009 PDF BibTeX
  • Meert, Wannes; Struyf, Jan; Blockeel, Hendrik. Experimental comparison of CP-logic theory inference methods, Proceedings of the 18th Annual Belgian-Dutch Conference on Machine Learning, pages 101-102, Belgian-Dutch Conference on Machine Learning (BeNeLearn), Tilburg, 18-19 May 2009 PDF BibTeX
  • Meert, Wannes; Struyf, Jan; Blockeel, Hendrik. CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods, De Raedt, Luc (ed.), Proceedings of the 19th International Conference on Inductive Logic Programming (ILP’09), pages 1-6, International Conference on Inductive Logic Programming (ILP), Leuven, Belgium, 1-4 July 2009 PDF PDF BibTeX
  • Nijssen, Siegfried; De Raedt, Luc. Grammar mining, Park, Haesun; Parthasarathy, Srinivasan; Liu, Huan; Obradovic, Zoran (eds.), Proceedings of the Ninth SIAM International Conference on Data Mining, pages 1026-1038, Society for Industrial and Applied Mathematics, SIAM International Conference on Data Mining, Sparks, NV, 30 April - 2 May 2009 PDF BibTeX
  • Nijssen, Siegfried; Guns, Tias; De Raedt, Luc. Correlated itemset mining in ROC space: A constraint programming approach, Flach, Peter; Zaki, Mohammed (eds.), Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 647-656, ACM Press, ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, 28 June - 1 July 2009 DOI PDF BibTeX
  • Phan, Quan; Janssens, Gerda. More precise region-based memory management for Mercury programs, Proceedings of CICLOPS 2009, pages 1-15, International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Pasadena, California, USA, 17 July, 2009 PDF BibTeX
  • Phan, Quan; Janssens, Gerda. Path-sensitive region analysis for Mercury programs, Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 161-169, ACM Press, International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Coimbra, Portugal, 7-9 September 2009 DOI PDF BibTeX
  • Pilozzi, Paolo. Research summary: Termination of CHR, Lecture Notes in Computer Science, volume 5649, pages 534-535, Springer, International Conference on Logic Programming, Pasadena, California, U.S.A., 14-17 July 2009 DOI PDF BibTeX
  • Pilozzi, Paolo; De Schreye, Danny. Automating termination proofs for CHR, Hill, Patricia M.; Warren, David S (eds.), Proceedings of the 25th International Conference on Logic Programming, pages 504-508, Springer-Verlag, International Conference on Logic Programming, Pasadena, California, U.S.A., 14-17 July 2009 DOI PDF BibTeX
  • Pilozzi, Paolo; De Schreye, Danny. Proving termination by invariance relations, Lecture Notes in Computer Science, volume 5649, pages 499-503, Springer, International Conference on Logic Programming, Pasadena, California, U.S.A., 14-17 July 2009 DOI PDF BibTeX
  • Pilozzi, Paolo; Schrijvers, Tom; Bruynooghe, Maurice. A transformational approach for proving properties of the CHR constraint store, De Schreye, Danny; Quaresma, Pedro (eds.), Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, pages 1-15, International Symposium on Logic-Based Program Synthesis and Transformation, Coimbra, Portugal, 9-11 September 2009 PDF BibTeX
  • Ponsen, Marc; Croonenborghs, Tom; Tuyls, Karl; Ramon, Jan; Driessens, Kurt. Learning with whom to communicate using relational reinforcement learning, Sierra, Carles; Castelfranchi, Cristiano; Decker, Keith; Sichman, Jaime (eds.), AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems- Volume 2, pages 1221-1222, International Foundation for Autonomous Agents and Multiagent Systems, International Conference on Autonomous Agents and Multi-Agent Systems, Budapest, Hungary, 10-15 May 2009 PDF BibTeX
  • Rahmani, Hossein; Blockeel, Hendrik; Bender, Andreas. Predicting the functions of proteins in PPI networks from global information, Dzeroski, Saso; Geurts, Pierre; Rousu, Juho (eds.), Machine Learning in Systems Biology, Proceedings of the Third International Workshop, Lubljana, Slovenia, September 5-6, 2009, pages 85-94, Helsinki University Printing House, International Workshop on Machine Learning in Systems Biology, Ljubljana, Slovenia, 5-6 September 2009 PDF BibTeX
  • Sanner, Scott; Goetschalckx, Robby; Driessens, Kurt; Shani, Guy. Bayesian real-time dynamic programming, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pages 1784-1789, International Joint Conference on Artificial Intelligence, Pasadena, USA, 11-17 July 2009 PDF BibTeX
  • Sarna-Starosta, Beata; Schrijvers, Tom. Attributed data for CHR indexing, Lecture Notes in Computer Science, volume 5649, pages 357-371, Springer, International Conference on Logic Programming, Pasadena, CA, USA, July 13-17, 2009 DOI PDF BibTeX
  • Schietgat, Leander; Costa, Fabrizio; Ramon, Jan; De Raedt, Luc. Maximum common subgraph mining: A fast and effective approach towards feature generation, Blockeel, Hendrik; Borgwardt, Karsten; Yan, Xifeng (eds.), 7th International Workshop on Mining and Learning with Graphs, Leuven, Belgium, July 2-4, 2009, Extended Abstracts, pages 1-3, International Workshop on Mining and Learning with Graphs, Leuven, Belgium, 2-4 July 2009 PDF BibTeX
  • Schrijvers, Tom; Bruynooghe, Maurice; Gallagher, John P.. From monomorphic to polymorphic well-typings and beyond, Lecture Notes in Computer Science, volume 5438, pages 152-167, Springer, 2009, 18th Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July 2008 DOI PDF BibTeX
  • Schrijvers, Tom; Degrave, Francois; Vanhoof, Wim. Towards a framework for constraint-based test case generation, De Schreye, Daniel (ed.), Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, pages 1-10, International Symposium on Logic-Based Program Synthesis and Transformation, Coimbra, Portugal, 9-11 September 2009 PDF BibTeX
  • Schrijvers, Tom; Guillemette, Louis-Julien; Monnier, Stefan. Type invariants for Haskell, Altenkirch, Thorsten; Millstein, Todd (eds.), Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, pages 39-48, ACM, Programming Languages meets Program Verification, Savannah, Georgia, USA, 20 January, 2009 DOI PDF BibTeX
  • Schrijvers, Tom; Sulzmann, Martin. Confluence for non-full functional dependencies, Morazan, Marco; Achten, Peter; Koopman, Pieter (eds.), Trends in Functional Programming, volume 9, pages 49-64, Intellect, 2009, Trends in Functional Programming, Nijmegen, The Netherlands, 26-28 May 2008 PDF BibTeX
  • Sneyers, Jon. Optimizing compilation and computational complexity of Constraint Handling Rules - Ph.D. thesis summary, Hill, Patricia; Warren, David (eds.), Proceedings of the 25th International Conference on Logic Programming, pages 494-498, Springer-Verlag, International Conference on Logic Programming, Pasadena, California, USA, 14-17 July 2009 DOI PDF BibTeX
  • Sneyers, Jon; Meert, Wannes; Vennekens, Joost. CHRiSM: CHance Rules induce Statistical Models, Raiser, Frank; Sneyers, Jon (eds.), Proceedings of the Sixth International Workshop on Constraint Handling Rules (CHR'09), pages 62-76, International Workshop on Constraint Handling Rules, Pasadena, California, USA, 15 July 2009 PDF BibTeX
  • Taghipour, Nima; Meert, Wannes; Struyf, Jan; Blockeel, Hendrik. First-order Bayes-ball for CP-Logic, International Workshop on Statistical Relational Learning 2009, pages 1-3, International Workshop on Statistical Relational Learning (SRL-2009), Leuven, Belgium, 2-4 July 2009 PDF BibTeX
  • Thon, Ingo. Don’t fear optimality: Sampling for probabilistic-logic sequence models (extended abstract), De Raedt, Luc (ed.), Preliminary Proceedings of the 19th International Conference on Inductive Logic Programming (ILP’09), pages 1-6, International Conference on Inductive Logic Programming (ILP), Belgium, 1-4 July 2009 PDF BibTeX
  • Thon, Ingo; Gutmann, Bernd; van Otterlo, Martijn; Landwehr, Niels; De Raedt, Luc. From non-deterministic to probabilistic planning with the help of statistical relational learning, ICAPS 2009 - Proceedings of the Workshop on Planning and Learning, pages 23-30, ICAPS 2009 - Workshop on Planning and Learning, Thessaloniki, 20 September 2009 PDF BibTeX
  • Van den Broeck, Guy; Driessens, Kurt; Ramon, Jan. Monte-Carlo tree search in poker using expected reward distributions, Lecture Notes in Computer Science, volume 5828, pages 367-381, Springer, Asian Conference on Machine Learning (ACML), Nanjing, China, 2-4 November 2009 DOI PDF PDF BibTeX
  • Van Loon, Kristien; Guiza Grandas, Fabian; Meyfroidt, Geert; Aerts, Jean-Marie; Ramon, Jan; Blockeel, Hendrik; Bruynooghe, Maurice; Van den Berghe, Greet; Berckmans, Daniel. Dynamic data analysis and data mining for prediction of clinical stability, Studies in Health Technology and Informatics, volume 150, pages 590-594, I O S Press, 22th Medical Informatics Europe, Sarajevo, Bosnia&Herzegovina, 30 august - 2 september 2009 PDF BibTeX
  • Van Weert, Peter; De Koninck, Leslie; Sneyers, Jon. A proposal for a next generation of CHR, Raiser, Frank; Sneyers, Jon (eds.), Proceedings of the Sixth Workshop on Constraint Handling Rules, pages 1-17, Workshop on Constraint Handling Rules, Pasadena, California, July 2009 PDF BibTeX
  • Vanschoren, Joaquin; Blockeel, Hendrik. A community-based platform for machine learning experimentation, Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Lecture Notes In Computer Science, volume 5782, pages 750-754, Springer, European Conference on Machine Learning and Knowledge Discovery in Databases, Bled, Slovenia, 7-11 September 2009 DOI PDF BibTeX
  • Vanschoren, Joaquin; Blockeel, Hendrik. Stand on the shoulders of giants. Towards a portal for collaborative experimentation in data mining, Proceedings of the SoKD-09 International Workshop on Third Generation Data Mining at ECML PKDD 2009, volume 1, pages 88-99, European Conference on Machine Learning and Knowledge Discovery in Databases (ECML-PKDD) International Workshop on Third Generation Data Mining (SoKD-09), Bled, Slovenia, 7-11 September 2009 PDF BibTeX
  • Vennekens, Joost; Denecker, Marc. Using lightweight inference to solve lightweight problems, Erdem, Esra; Lin, Fangzhen; Schaub, Torsten (eds.), Logic Programming and Nonmonotonic Reasoning, volume LNAI 5753, pages 619- 621, Springer, LPNMR, Potsdam, 14-18 September 2009 DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. FO(ID) as an extension of DL with rules, Lecture Notes in Computer Science, volume 5554, pages 384-398, Springer, European Semantic Web Conference, Heraklion, Greece, 31 May-4 June 2009 DOI PDF BibTeX
  • Vennekens, Joost; Kimmig, Angelika; Mantadelis, Theofrastos; Gutmann, Bernd; Bruynooghe, Maurice; De Raedt, Luc. From ProbLog to first order logic: A first exploration, Domingos, Pedro; Kersting, Kristian (eds.), Proceedings 2009 International Workshop on Statistical Relational Learning, pages 1-3, International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009 PDF BibTeX
  • Vens, Celine; De Paula Costa, Eduardo; Blockeel, Hendrik. Top-down phylogenetic tree reconstruction, Pattern Recognition in Bioinformatics, Sheffield, United Kingdom, 7-9 September 2009 PDF BibTeX
  • Verbeke, Mathias; Berendt, Bettina; Nijssen, Siegfried. Data mining, interactive semantic structuring, and collaboration: a diversity-aware method for sense-making in search, Niederee, Claudia (ed.), Proceedings of First International Workshop on Living Web, Collocated with the 8th International Semantic Web Conference (ISWC-2009), Washington D.C., USA, October 26, 2009, 8 pages, CEUR-WS, Living Web Workshop, Washington, 26 Oct 2009 intranet BibTeX
  • Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, Bouajjani, Ahmed; Maler, Oded (eds.), Lecture Notes in Computer Science, volume 5643, pages 599-613, Springer, Computer Aided Verification CAV 09, Grenoble, France, June 26-July 2 2009 DOI PDF PDF PS BibTeX
  • Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky. Experience with widening based equivalence checking in realistic multimedia systems, High Level Design Validation and Test Workshop, 2009, pages 122-129, IEEE International, High Level Design Validation and Test Workshop, San Francisco, 4-6 November 2009 DOI PDF PDF PS BibTeX
  • Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc. A logical framework for configuration software, Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP '09, ACM, Principles and Practice of Declarative Programming, Coimbra, Portugal, 7-9 September, 2009 DOI PDF BibTeX
  • Voets, Dean; De Schreye, Danny. A new approach to non-termination analysis of Logic Programs, Lecture Notes in Computer Science, volume 5649, pages 220-234, Springer, International Conference on Logic Programming (ICLP), Pasadena, CA, USA, 14-17 July 2009 DOI PDF BibTeX
  • Wittocx, Johan; De Cat, Broes; Denecker, Marc. Towards computing revised models for FO theories, Abreu, Salvador; Seipel, Dietmar (eds.), Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management 2009, Lecture Notes in Computer Science, volume 6547, pages 199-211, International Conference on Applications of Declarative Programming and Knowledge Management, Evora, Portugal, 5-7 November 2009 DOI PDF BibTeX
  • Wittocx, Johan; Vlaeminck, Hanne; Denecker, Marc. Debugging for model expansion, Lecture Notes in Computer Science, volume 5649, pages 296-311, Springer, International Conference on Logic Programming, ICLP, Pasadena, California, US, 14-17 July 2009 DOI PDF BibTeX
  • Wuille, Pieter; Schrijvers, Tom. Monadic Constraint Programming with Gecode, Frisch, Alan M.; Lee, Jimmy (eds.), Proceedings of the 8th International Workshop on Constraint Modelling and Reformulation, pages 171-185, International workshop on Constraint Modelling and Reformulation, Lisbon, 20 September 2009 PDF BibTeX
  • Zimmermann, Albrecht; Bringmann, Björn. Aggregated subset mining, Lecture Notes in Computer Science, volume 5476, pages 664-672, Springer, 2009, Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, Bangkok, 27-30 April DOI PDF BibTeX

Top

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

3 references
  • Labeeuw, Wouter; Driessens, Kurt; Weyns, Danny; Holvoet, Tom; Deconinck, Geert. Prediction of Congested Traffic on the Critical Density Point Using Machine Learning and Decentralised Collaborating Cameras, New Trends in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, pages 15-26, Universidade de Aveiro, EPIA, Aveiro, 12-15 October 2009 PDF BibTeX
  • Tragante Do O, Vinicius; Tinos, Renato. Diversity control in genetic algorithms for protein structure prediction, Anais Do XXIX Congresso Da Sociedade Brasileira de Computação, volume 1, pages 727-737, Encontro Nacional de Inteligência Artificial, Bento Gonçalves, 20-24 July 2009 PDF BibTeX
  • Vuorikari, Riina; Berendt, Bettina. Study on contexts in tracking usage and attention metadata in the field of multilingual Technology Enhanced Learning, INFORMATIK 2009. Im Focus das Leben. 28.9.-2.10.2009, Lübeck, Proceedings, pages 1654-1663, Köllen Druck + Verlag GmbH, EUAM Workshop at INFORMATIK 2009, Lübeck, Germany, 28 Sep - 2 Oct 2009 intranet BibTeX

Top

Papers at other conferences and symposia, published in full in proceedings (professional)

1 reference
  • Mariën, André. how not to fail an IAM project, csi annual 2009, washington, 24-29 october 2009 BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

19 references
  • Blockeel, Hendrik. Mining relational databases, Sacchi, Lucia; Curk, Tomaz (eds.), Intelligent Data Analysis in BioMedicine and Pharmacology, Workshop Notes, page 1, Intelligent Data Analysis in bioMedicine and Pharmacology, Verona, Italy, 19 July 2009 PDF BibTeX
  • Costa Florencio, Cristovao. A grammatical inference approach to learning from graphs, Talks at CS Dept of the University of Trier, Trier, Germany, 8 June 2009 PDF BibTeX
  • Costa Florencio, Cristovao. A grammatical inference approach to learning from graphs, Former Freiburg, Leuven and Friends Workshop on Machine Learning, Castle de La Noue Le Coq, Grandpré, France, 18-20 March 2009 BibTeX
  • Costa Florencio, Cristovao; Fernau, Henning. Complexity of consistency in categorial grammars, Mielke, Jöran; Staiger, Ludwig; Winter, Renate (eds.), Theorietag Automaten und Formale Sprachen, Technical Report 2009/03 of the University Halle-Wittenberg, Institute of Computer Science, pages 15-17, Theorietag Automaten und Formale Sprachen, Wittenberg, Germany, 28-30 September 2009 PDF BibTeX
  • De Paula Costa, Eduardo; Vens, Celine; Blockeel, Hendrik. Top-down phylogenetic tree reconstruction: a decision tree approach, International Workshop on Machine Learning in Systems Biology, Ljubljana, Slovenia, 5-6 September 2009 PDF BibTeX
  • De Paula Costa, Eduardo; Vens, Celine; Blockeel, Hendrik. Top-down phylogenetic tree reconstruction, Benelux Bioinformatics Conference, Liege, 14-15 December 2009 PDF BibTeX
  • De Raedt, Luc. Probabilistic and logical inference for network mining, Nuernberger, Andreas; Berthold, Michael R.; Koetter, Tobias; Thiel, Kilian (eds.), Proceedings of the Workshop on Explorative Analytics of Information Networks at ECML PKDD 2009, page 64, Workshop on Explorative Analytics of Information Networks, Bled, Slovenia, 11 September 2009 PDF BibTeX
  • Dries, Anton; Rückert, Ulrich. Adaptive concept drift detection (extended abstract), Proceedings of the 21st Benelux Conference on Artificial Intelligence, pages 305-306, Benelux Conference on Artificial Intelligence, Eindhoven, the Netherlands, 29-30 October 2009 PDF BibTeX
  • Driessens, Kurt. Non-disjount modular boosted policies, Proceedings of the Multidisciplinary Symposium on Reinforcement Learning, Multidisciplinary Symposium on Reinforcement Learning, Montreal, Canada, 18-19June 2009 PDF BibTeX
  • Guns, Tias. Constraint programming for itemset mining, Summer School on the Analysis of Patterns, Cagliari, Italy, 27 September - 3 October 2009 PDF BibTeX
  • Guns, Tias; Nijssen, Siegfried; De Raedt, Luc. Constraint programming for correlated itemset mining, Proceedings of the 21st Benelux Conference on Artificial Intelligence, pages 315-316, Benelux Conference on Artificial Intelligence, Eindhoven, the Netherlands, 29-30 October 2009 PDF BibTeX
  • Ramon, Jan. Efficient search in molecular graph space to recognize mass spectra, Wehenkel, Louis (ed.), Proceedings of the Fifth Benelux Bioinformatics Conference, page 1, Benelux Bioinformatics Conference, Liege, Belgium, 14-15 December 2009 BibTeX
  • Taghipour, Nima; Fierens, Daan; Blockeel, Hendrik. Biclustering of gene expression data using probabilistic logic learning, Benelux Bioinformatics Conference, Liège, Belgium, 14-15 December 2009 PDF BibTeX
  • Van den Broeck, Guy; Driessens, Kurt; Ramon, Jan. Monte-Carlo tree search in poker using expected reward distributions, Calders, Toon; Tuyls, Karl; Pechenizkiy, Mykola (eds.), Proceedings of the 21st Benelux Conference on Artificial Intelligence, Benelux Conference on Artificial Intelligence (BNAIC), Eindhoven, the Netherlands, 29-30 October 2009 PDF BibTeX
  • Van Loon, Kristien; Guiza Grandas, Fabian; Meyfroidt, Geert; Aerts, Jean-Marie; Blockeel, Hendrik; Van den Berghe, Greet; Berckmans, Daniel. Combination of Dynamic Analysis and data mining for stability prediction after cardiac surgery, Proceedings of 8th International Conference on Complexity in Acute Illness, pages 1-2, 2009, ICCAI, Palo Alto, california, USA, 28-30 august DOC BibTeX
  • Van Loon, Kristien; Guiza Grandas, Fabian; Meyfroidt, Geert; Aerts, Jean-Marie; Blockeel, Hendrik; Van den Berghe, Greet; Berckmans, Daniel. Dynamic information improves discharge prediction after cardiac surgery, Proceedings of 8th International Conference on Complexity in Acute Illness, pages 1-2, 2009, ICCAI, Palo Alto, california, USA, 28-30 August DOC BibTeX
  • Verdoolaege, Sven. An integer set library for program analysis, Advances in the Theory of Integer Linear Optimization and its Extensions,AMS 2009 Spring Western Section Meeting, San Francisco, California, 25-26 April 2009 PDF PS BibTeX
  • Witsenburg, Tijn; Blockeel, Hendrik. Enhancing clustering methods by inserting relational information, 18th Annual Belgian-Dutch Conference on Machine Learning - Proceedings of the Conference, pages 95-96, Annual Belgian-Dutch Conference on Machine Learning, Tilburg, The Netherlands, 18-19 May 2009 PDF BibTeX
  • Zenko, Bernard; Struyf, Jan; Džeroski, Sašo. Analyzing time series gene expression data with predictive clustering rules, Džeroski, Sašo; Geurts, Pierre; Rousu, Juho (eds.), Proceedings of the Third International Workshop on Machine Learning in Systems Biology, International Workshop on Machine Learning in Systems Biology, Ljubljana, Slovenia, September 5-6, 2009 PDF BibTeX

Top

Meeting abstracts, presented at international conferences and symposia (professional)

2 references
  • André, Mariën. reconsidering the roles of security and audit, International Computer Security Symposium, dublin, 21-24 September 2009 BibTeX
  • André, Mariën. Synergie van infrastructuur en toepassingsarchitectuur voor beveiliging, Landelijk Architectuur Congress, nieuwegein NL, 25-26 November 2009 BibTeX

Top

Meeting abstracts, presented at other conferences and symposia

8 references
  • Costa Florencio, Cristovao. Graph decompositions for fast and accurate graph kernels, Talks at the Seminar fuer Sprachwissenschaft, Tuebingen, 12 November 2009 PDF BibTeX
  • De Raedt, Luc. Constraint programming for data mining, Extraction et Gestion Des Connaissances (EGC'2009), page 3, Cepadues-Editions, Extraction et gestion des connaissances (EGC), Strasbourg, France, 27-30 january 2009 PDF BibTeX
  • Verdoolaege, Sven. Derivation of process networks and the use of Bernstein expansion to compute FIFO sizes, LIP seminar, Lyon, France, 3 July 2009 PDF PS BibTeX
  • Verdoolaege, Sven. An integer set library for program analysis, De Bosschere, Koen (ed.), Architecture and Compilers for Embedded Systems Symposium Proceedings, pages 5-8, 2009, ACES symposium, Edegem, 7-8 September PDF PS PDF BibTeX
  • Verdoolaege, Sven. isl and how to solve Bart's PIP problem, LERC seminar, Leiden, 30 October 2009 PDF PS BibTeX
  • Verdoolaege, Sven. Polyhedral process networks, Alchemy seminar, Orsay, 20 November 2009 PDF PS BibTeX
  • Verdoolaege, Sven. Tools from the polyhedral model, Lunch Seminar, Delft, 25 November 2009 PDF PS BibTeX
  • Verdoolaege, Sven. Tools for the polyhedral model, Kolloquium, Passau, 15 December 2009 PDF PS BibTeX

Top

Thesis

9 references
  • Bringmann, Björn. Mining Patterns in Structured Data , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009, De Raedt, Luc (supervisor) PDF BibTeX
  • Croonenborghs, Tom. Model-Assisted Approaches for Relational Reinforcement Learning , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009, Bruynooghe, Maurice and Blockeel, Hendrik (supervisors) PDF BibTeX
  • Goetschalckx, Robby. The Use of Domain Knowledge in Reinforcement Learning , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009, Bruynooghe, Maurice and Blockeel, Hendrik (supervisors) PDF BibTeX
  • Guiza Grandas, Fabian. Predictive Data Mining in Intensive Care , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009, 151 pages, isbn: 978-946-018-123-8, Bruynooghe, Maurice and Blockeel, Hendrik (supervisors) PDF BibTeX
  • Landwehr, Niels. Trading Expressivity for Efficiency in Statistical Relational Learning , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, February 2009, De Raedt, Luc (supervisor) PDF BibTeX
  • Mariën, Maarten. Model Generation for ID-Logic , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, February 2009, Denecker, Marc (supervisor) PDF BibTeX
  • Nguyen, Manh Thang. Termination Analysis: Crossing Paradigm Borders , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, June 2009, De Schreye, Danny (supervisor) PDF BibTeX
  • Phan, Quan. Region-Based Memory Management for the Logic Programming Language Mercury , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, November 2009, Janssens, Gerda (supervisor) PDF BibTeX
  • Zimmermann, Albrecht. Mining Sets of Patterns , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2009, De Raedt, Luc (supervisor) PDF BibTeX

Top

Review

4 references

Top

Internal reports

14 references
  • De Raedt, Luc; Kimmig, Angelika; Gutmann, Bernd; Kersting, Kristian; Santos Costa, Vitor; Toivonen, Hannu. Probabilistic inductive querying using ProbLog, CW Reports, volume CW552, 27 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2009 PDF BibTeX
  • Demoen, Bart; Nguyen, Phuong-Lan. Representation sharing for Prolog, CW Reports, volume CW571, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2009 PDF BibTeX
  • Fierens, Daan. Mapping logical Bayesian networks to probabilistic logic programs with distribution semantics, CW Reports, volume CW563, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2009 PDF BibTeX
  • Nguyen, Manh Thang; De Schreye, Danny; Giesl, Jürgen; Schneider-Kamp, Peter. Polytool: Polynomial interpretations as a basis for termination analysis of logic programs, CW Reports, volume CW558, 35 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2009 PDF BibTeX
  • Nguyen, Phuong-Lan; Demoen, Bart. Input sharing for findall/3, CW Reports, volume CW553, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2009 PDF BibTeX
  • Oliveira, Bruno C. d. S.; Schrijvers, Tom; Cook, William R.. EffectiveAdvice: Overview, background and proofs, CW Reports, volume CW556, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2009 PDF BibTeX
  • Phan, Quan; Janssens, Gerda. Region-based memory management for Mercury programs. Part 1: Region analysis and transformation, CW Reports, volume CW540, 32 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2009 PDF BibTeX
  • Pilozzi, Paolo; De Schreye, Danny. Scaling termination proofs by a characterization of cycles in CHR, CW Reports, volume CW541, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2009 PDF BibTeX
  • Raiser, Frank; Sneyers, Jon. CHR 2009 - Proceedings of the 6th International Workshop on Constraint Handling Rules, CW Reports, volume CW555, 93 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2009 PDF BibTeX
  • Shen, Yi-Dong; De Schreye, Danny; Voets, Dean. Termination prediction for general logic programs, CW Reports, volume CW536, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2009 PDF BibTeX
  • Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, CW Reports, volume CW565, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2009 PDF BibTeX
  • Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky. Experience with widening based equivalence checking in realistic multimedia systems, CW Reports, volume CW572, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2009 PDF BibTeX
  • Voets, Dean; De Schreye, Danny. A new approach to non-termination analysis of Logic Programs, CW Reports, volume CW537, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2009 PDF BibTeX
  • Wuille, Pieter; Schrijvers, Tom. The FD-MCP framework, CW Reports, volume CW562, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2009 PDF BibTeX

Top

Misc.

2 references
  • Clough, Paul; Berendt, Bettina. Report on the TrebleCLEF query log analysis workshop 2009, SIGIR Forum, volume 43, issue 2, pages 71-77, 2009 intranet BibTeX
  • Ramon, Jan; Costa, Fabrizio; Costa Florencio, Cristovao. StReBio'09: Statistical Relational Learning and Mining in Bioinformatics, SIGKDD Explorations: Newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, volume 11, issue 2, pages 88-89, December 2009 PDF BibTeX

Top

 
Last update local database Sun Jan 15 2017 8:23 am; It contains now 12817 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