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 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 BibTeX
  • Berendt, Bettina; Subasic, Ilija. Measuring graph topology for interactive temporal event detection, Künstliche Intelligenz, volume 02, issue 2009, pages 11-17, 2009 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 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 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, Knowledge Discovery and Datamining, KDD, Paris, France, 28 June- 1 July 2009 (1 ed.), 41 pages, ACM, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, USA, 2009, isbn 978-160-558-667-0 PDF BibTeX

Top

Article in book, internationally recognised scientific publisher

1 reference

Top

Article in other published book

1 reference
  • De Raedt, Luc. Over machines die leren, Raymaekers, Bart (ed.), Universitaire Pers Leuven, 2009 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.), Inductive Logic Programming, Leuven, Belgium, 2-4 July 2009, Online Proceedings of the International Conference on Inductive Logic Programming 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, Belgian-Dutch Conference on Machine Learning, Tilburg, 18-19 May 2009, Proceedings of the Annual Belgian-Dutch Conference on Machine Learning, pages 105-106 PDF BibTeX
  • Berendt, Bettina; Subasic, Ilija. STORIES in time: a graph-based interface for news tracking and discovery, 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, 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 DOI 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.), European Conference on Machine Learning and Knowledge Discovery in Databases, Bled, 7-11 September 2009, Machine Learning and Knowledge Discovery in Databases, volume 5781, pages 115-130, Springer DOI PDF BibTeX
  • Blockeel, Hendrik; Brijder, Robert. Learning non-confluent NLC graph grammar rules, Computability in Europe, Heidelberg, Germany, 19-24 July 2009, 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 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.), International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009, Proceedings 2009 International Workshop on Statistical Relational Learning, pages 1-3 PDF PDF PDF BibTeX
  • Costa Florencio, Cristovao. Identification of NCE graph grammars, Stehouwer, Herman (ed.), Benelearn, Tilburg, 18-19 May 2009, Proceedings of Benelearn09, the 18th Annual Belgian-Dutch Conference on Machine Learning, pages 115-116 PDF BibTeX
  • Costa Florencio, Cristovao. Identification of Hyperedge-Replacement graph grammars, Blockeel, Hendrik; Borgwardt, Karsten; Yan, Xifeng (eds.), International Workshop on Mining and Learning with Graphs, MLG, Leuven, Belgium, 2-4 July 2009, 7th International Workshop on Mining and Learning with Graphs, pages 1-3 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.), International Workshop on Mining and Learning with Graphs, Leuven, Belgium, 2-4 July 2009, 7th International Workshop on Mining and Learning with Graphs, Extended Abstracts, pages 1-3 PDF BibTeX
  • De Raedt, Luc. The logic of learning, International Conference on Formal Concept Analysis (ICFCA), Darmstadt, Germany, May 21-24, 2009, Lecture Notes in Computer Science, volume 5548, page 57, Springer DOI PDF BibTeX
  • De Raedt, Luc. Probabilistic logic learning - a tutorial abstract, International Conference on Logic Programming (ICLP), Pasadena, CA, USA, July 14-17, 2009, Lecture Notes in Computer Science, volume 5649, page 39, Springer DOI PDF BibTeX
  • Degrave, François; Schrijvers, Tom; Vanhoof, Wim. Automatic test input generation for Mercury, 18th Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July 2008, Lecture Notes in Computer Science, volume 5438, pages 71-86, Springer, 2009 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.), LPNMR'09, Potsdam, 14-18 September 2009, Logic Programming and Nonmonotonic Reasoning, volume LNAI 5753, pages 637-654, Springer DOI PDF BibTeX
  • Dries, Anton; De Raedt, Luc. Towards clausal discovery for stream mining (extended abstract), Inductive Logic Programming, Leuven, Belgium, 2-4 July 2009, Preliminary Proceedings of the 19th International Conference on Inductive Logic Programming (ILP’09), pages 1-6 PDF BibTeX
  • Dries, Anton; Nijssen, Siegfried; De Raedt, Luc. A query language for analyzing networks, ACM Conference on Information and Knowledge Management, Hong Kong, China, 2-6 November 2009, Proceedings of the ACM Conference on Information and Knowledge Management, pages 485-494, ACM DOI PDF BibTeX
  • Dries, Anton; Rückert, Ulrich. Adaptive concept drift detection, SIAM International Conference on Data Mining, Sparks, Nevada, 29 April - 2 May 2009, SIAM International Conference on Data Mining, pages 233-244 PDF BibTeX
  • Fierens, Daan. On the relationship between logical Bayesian networks and probabilistic logic programming based on the distribution semantics, De Raedt, Luc (ed.), International Conference on Inductive Logic Programming, Leuven, 1-4 July 2009, Online Proceedings of the 19th International Conference on Inductive Logic Programming 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, Pasadena, California, USA, 14 July 2009, Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2009, pages 1-15 PDF BibTeX
  • Hou, Ping; Denecker, Marc. A deductive system for FO(ID) based on least fixpoint logic, Erdem, Esra; Lin, Fangzhen; Schaub, Torsten (eds.), 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany, 14-18 September, 2009, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Lecture Notes on Computer Science, volume 5753, pages 129-141 DOI PDF BibTeX
  • Kimmig, Angelika; De Raedt, Luc. Local query mining in a probabilistic Prolog, Boutilier, Craig (ed.), International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11 - 17 2009, Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09), volume 2, pages 1095-1100, AAAI Press 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, Belgian-Dutch Conference on Machine Learning (BeNeLearn), Tilburg, 18-19 May 2009, Proceedings of the 18th Annual Belgian-Dutch Conference on Machine Learning, pages 101-102 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.), International Conference on Inductive Logic Programming (ILP), Leuven, Belgium, 1-4 July 2009, Proceedings of the 19th International Conference on Inductive Logic Programming (ILP’09), pages 1-6 PDF PDF BibTeX
  • Nijssen, Siegfried; De Raedt, Luc. Grammar mining, Park, Haesun; Parthasarathy, Srinivasan; Liu, Huan; Obradovic, Zoran (eds.), SIAM International Conference on Data Mining, Sparks, NV, 30 April - 2 May 2009, Proceedings of the Ninth SIAM International Conference on Data Mining, pages 1026-1038, Society for Industrial and Applied Mathematics PDF BibTeX
  • Nijssen, Siegfried; Guns, Tias; De Raedt, Luc. Correlated itemset mining in ROC space: A constraint programming approach, Flach, Peter; Zaki, Mohammed (eds.), ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, 28 June - 1 July 2009, Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 647-656, ACM Press DOI PDF BibTeX
  • Phan, Quan; Janssens, Gerda. More precise region-based memory management for Mercury programs, International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Pasadena, California, USA, 17 July, 2009, Proceedings of CICLOPS 2009, pages 1-15 PDF BibTeX
  • Phan, Quan; Janssens, Gerda. Path-sensitive region analysis for Mercury programs, International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Coimbra, Portugal, 7-9 September 2009, Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 161-169, ACM Press DOI PDF BibTeX
  • Pilozzi, Paolo. Research summary: Termination of CHR, International Conference on Logic Programming, Pasadena, California, U.S.A., 14-17 July 2009, Lecture Notes in Computer Science, volume 5649, pages 534-535, Springer DOI PDF BibTeX
  • Pilozzi, Paolo; De Schreye, Danny. Automating termination proofs for CHR, Hill, Patricia M.; Warren, David S (eds.), International Conference on Logic Programming, Pasadena, California, U.S.A., 14-17 July 2009, Proceedings of the 25th International Conference on Logic Programming, pages 504-508, Springer-Verlag DOI PDF BibTeX
  • Pilozzi, Paolo; De Schreye, Danny. Proving termination by invariance relations, International Conference on Logic Programming, Pasadena, California, U.S.A., 14-17 July 2009, Lecture Notes in Computer Science, volume 5649, pages 499-503, Springer 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.), International Symposium on Logic-Based Program Synthesis and Transformation, Coimbra, Portugal, 9-11 September 2009, Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, pages 1-15 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.), International Conference on Autonomous Agents and Multi-Agent Systems, Budapest, Hungary, 10-15 May 2009, 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 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.), International Workshop on Machine Learning in Systems Biology, Ljubljana, Slovenia, 5-6 September 2009, Machine Learning in Systems Biology, Proceedings of the Third International Workshop, Lubljana, Slovenia, September 5-6, 2009, pages 85-94, Helsinki University Printing House PDF BibTeX
  • Sanner, Scott; Goetschalckx, Robby; Driessens, Kurt; Shani, Guy. Bayesian real-time dynamic programming, International Joint Conference on Artificial Intelligence, Pasadena, USA, 11-17 July 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pages 1784-1789 PDF BibTeX
  • Sarna-Starosta, Beata; Schrijvers, Tom. Attributed data for CHR indexing, International Conference on Logic Programming, Pasadena, CA, USA, July 13-17, 2009, Lecture Notes in Computer Science, volume 5649, pages 357-371, Springer 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.), International Workshop on Mining and Learning with Graphs, Leuven, Belgium, 2-4 July 2009, 7th International Workshop on Mining and Learning with Graphs, Leuven, Belgium, July 2-4, 2009, Extended Abstracts, pages 1-3 PDF BibTeX
  • Schrijvers, Tom; Bruynooghe, Maurice; Gallagher, John P.. From monomorphic to polymorphic well-typings and beyond, 18th Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July 2008, Lecture Notes in Computer Science, volume 5438, pages 152-167, Springer, 2009 DOI PDF BibTeX
  • Schrijvers, Tom; Degrave, Francois; Vanhoof, Wim. Towards a framework for constraint-based test case generation, De Schreye, Daniel (ed.), International Symposium on Logic-Based Program Synthesis and Transformation, Coimbra, Portugal, 9-11 September 2009, Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, pages 1-10 PDF BibTeX
  • Schrijvers, Tom; Guillemette, Louis-Julien; Monnier, Stefan. Type invariants for Haskell, Altenkirch, Thorsten; Millstein, Todd (eds.), Programming Languages meets Program Verification, Savannah, Georgia, USA, 20 January, 2009, Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, pages 39-48, ACM DOI PDF BibTeX
  • Schrijvers, Tom; Sulzmann, Martin. Confluence for non-full functional dependencies, Morazan, Marco; Achten, Peter; Koopman, Pieter (eds.), Trends in Functional Programming, Nijmegen, The Netherlands, 26-28 May 2008, Trends in Functional Programming, volume 9, pages 49-64, Intellect, 2009 PDF BibTeX
  • Sneyers, Jon. Optimizing compilation and computational complexity of Constraint Handling Rules - Ph.D. thesis summary, Hill, Patricia; Warren, David (eds.), International Conference on Logic Programming, Pasadena, California, USA, 14-17 July 2009, Proceedings of the 25th International Conference on Logic Programming, pages 494-498, Springer-Verlag DOI PDF BibTeX
  • Sneyers, Jon; Meert, Wannes; Vennekens, Joost. CHRiSM: CHance Rules induce Statistical Models, Raiser, Frank; Sneyers, Jon (eds.), International Workshop on Constraint Handling Rules, Pasadena, California, USA, 15 July 2009, Proceedings of the Sixth International Workshop on Constraint Handling Rules (CHR'09), pages 62-76 PDF BibTeX
  • Taghipour, Nima; Meert, Wannes; Struyf, Jan; Blockeel, Hendrik. First-order Bayes-ball for CP-Logic, International Workshop on Statistical Relational Learning (SRL-2009), Leuven, Belgium, 2-4 July 2009, International Workshop on Statistical Relational Learning 2009, pages 1-3 PDF BibTeX
  • Thon, Ingo. Don’t fear optimality: Sampling for probabilistic-logic sequence models (extended abstract), De Raedt, Luc (ed.), International Conference on Inductive Logic Programming (ILP), Belgium, 1-4 July 2009, Preliminary Proceedings of the 19th International Conference on Inductive Logic Programming (ILP’09), pages 1-6 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 - Workshop on Planning and Learning, Thessaloniki, 20 September 2009, ICAPS 2009 - Proceedings of the Workshop on Planning and Learning, pages 23-30 PDF BibTeX
  • Van den Broeck, Guy; Driessens, Kurt; Ramon, Jan. Monte-Carlo tree search in poker using expected reward distributions, Asian Conference on Machine Learning (ACML), Nanjing, China, 2-4 November 2009, Lecture Notes in Computer Science, volume 5828, pages 367-381, Springer 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, 22th Medical Informatics Europe, Sarajevo, Bosnia&Herzegovina, 30 august - 2 september 2009, Studies in Health Technology and Informatics, volume 150, pages 590-594, I O S Press PDF BibTeX
  • Van Weert, Peter; De Koninck, Leslie; Sneyers, Jon. A proposal for a next generation of CHR, Raiser, Frank; Sneyers, Jon (eds.), Workshop on Constraint Handling Rules, Pasadena, California, July 2009, Proceedings of the Sixth Workshop on Constraint Handling Rules, pages 1-17 PDF BibTeX
  • Vanschoren, Joaquin; Blockeel, Hendrik. A community-based platform for machine learning experimentation, European Conference on Machine Learning and Knowledge Discovery in Databases, Bled, Slovenia, 7-11 September 2009, Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Lecture Notes In Computer Science, volume 5782, pages 750-754, Springer DOI PDF BibTeX
  • Vanschoren, Joaquin; Blockeel, Hendrik. Stand on the shoulders of giants. Towards a portal for collaborative experimentation in data mining, 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, Proceedings of the SoKD-09 International Workshop on Third Generation Data Mining at ECML PKDD 2009, volume 1, pages 88-99 PDF BibTeX
  • Vennekens, Joost; Denecker, Marc. Using lightweight inference to solve lightweight problems, Erdem, Esra; Lin, Fangzhen; Schaub, Torsten (eds.), LPNMR, Potsdam, 14-18 September 2009, Logic Programming and Nonmonotonic Reasoning, volume LNAI 5753, pages 619- 621, Springer DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. FO(ID) as an extension of DL with rules, European Semantic Web Conference, Heraklion, Greece, 31 May-4 June 2009, Lecture Notes in Computer Science, volume 5554, pages 384-398, Springer 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.), International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009, Proceedings 2009 International Workshop on Statistical Relational Learning, pages 1-3 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.), Living Web Workshop, Washington, 26 Oct 2009, 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 BibTeX
  • Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, Bouajjani, Ahmed; Maler, Oded (eds.), Computer Aided Verification CAV 09, Grenoble, France, June 26-July 2 2009, Lecture Notes in Computer Science, volume 5643, pages 599-613, Springer 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, San Francisco, 4-6 November 2009, High Level Design Validation and Test Workshop, 2009, pages 122-129, IEEE International DOI PDF PDF PS BibTeX
  • Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc. A logical framework for configuration software, Principles and Practice of Declarative Programming, Coimbra, Portugal, 7-9 September, 2009, Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP '09, ACM DOI PDF BibTeX
  • Voets, Dean; De Schreye, Danny. A new approach to non-termination analysis of Logic Programs, International Conference on Logic Programming (ICLP), Pasadena, CA, USA, 14-17 July 2009, Lecture Notes in Computer Science, volume 5649, pages 220-234, Springer DOI PDF BibTeX
  • Wittocx, Johan; De Cat, Broes; Denecker, Marc. Towards computing revised models for FO theories, Abreu, Salvador; Seipel, Dietmar (eds.), International Conference on Applications of Declarative Programming and Knowledge Management, Evora, Portugal, 5-7 November 2009, Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management 2009, volume 6547, pages 199-211 DOI PDF BibTeX
  • Wittocx, Johan; Vlaeminck, Hanne; Denecker, Marc. Debugging for model expansion, International Conference on Logic Programming, ICLP, Pasadena, California, US, 14-17 July 2009, Lecture Notes in Computer Science, volume 5649, pages 296-311, Springer DOI PDF BibTeX
  • Wuille, Pieter; Schrijvers, Tom. Monadic Constraint Programming with Gecode, Frisch, Alan M.; Lee, Jimmy (eds.), International workshop on Constraint Modelling and Reformulation, Lisbon, 20 September 2009, Proceedings of the 8th International Workshop on Constraint Modelling and Reformulation, pages 171-185 PDF BibTeX
  • Zimmermann, Albrecht; Bringmann, Björn. Aggregated subset mining, Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, Bangkok, 27-30 April, Lecture Notes in Computer Science, volume 5476, pages 664-672, Springer, 2009 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, EPIA, Aveiro, 12-15 October 2009, New Trends in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, pages 15-26, Universidade de Aveiro PDF BibTeX
  • Tragante Do O, Vinicius; Tinos, Renato. Diversity control in genetic algorithms for protein structure prediction, Encontro Nacional de Inteligência Artificial, Bento Gonçalves, 20-24 July 2009, Anais Do XXIX Congresso Da Sociedade Brasileira de Computação, volume 1, pages 727-737 PDF BibTeX
  • Vuorikari, Riina; Berendt, Bettina. Study on contexts in tracking usage and attention metadata in the field of multilingual Technology Enhanced Learning, EUAM Workshop at INFORMATIK 2009, Lübeck, Germany, 28 Sep - 2 Oct 2009, INFORMATIK 2009. Im Focus das Leben. 28.9.-2.10.2009, Lübeck, Proceedings, pages 1654-1663, Köllen Druck + Verlag GmbH 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, Verona, Italy, 19 July 2009, Intelligent Data Analysis in BioMedicine and Pharmacology, Workshop Notes, page 1 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, Wittenberg, Germany, 28-30 September 2009, Theorietag Automaten und Formale Sprachen, Technical Report 2009/03 of the University Halle-Wittenberg, Institute of Computer Science, pages 15-17 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.), Workshop on Explorative Analytics of Information Networks, Bled, Slovenia, 11 September 2009, Proceedings of the Workshop on Explorative Analytics of Information Networks at ECML PKDD 2009, page 64 PDF BibTeX
  • Dries, Anton; Rückert, Ulrich. Adaptive concept drift detection (extended abstract), Benelux Conference on Artificial Intelligence, Eindhoven, the Netherlands, 29-30 October 2009, Proceedings of the 21st Benelux Conference on Artificial Intelligence, pages 305-306 PDF BibTeX
  • Driessens, Kurt. Non-disjount modular boosted policies, Multidisciplinary Symposium on Reinforcement Learning, Montreal, Canada, 18-19June 2009, Proceedings of the Multidisciplinary Symposium on Reinforcement Learning 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, Benelux Conference on Artificial Intelligence, Eindhoven, the Netherlands, 29-30 October 2009, Proceedings of the 21st Benelux Conference on Artificial Intelligence, pages 315-316 PDF BibTeX
  • Ramon, Jan. Efficient search in molecular graph space to recognize mass spectra, Wehenkel, Louis (ed.), Benelux Bioinformatics Conference, Liege, Belgium, 14-15 December 2009, Proceedings of the Fifth Benelux Bioinformatics Conference, page 1 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.), Benelux Conference on Artificial Intelligence (BNAIC), Eindhoven, the Netherlands, 29-30 October 2009, Proceedings of the 21st Benelux Conference on Artificial Intelligence 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, ICCAI, Palo Alto, california, USA, 28-30 august, Proceedings of 8th International Conference on Complexity in Acute Illness, pages 1-2, 2009 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, ICCAI, Palo Alto, california, USA, 28-30 August, Proceedings of 8th International Conference on Complexity in Acute Illness, pages 1-2, 2009 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, Annual Belgian-Dutch Conference on Machine Learning, Tilburg, The Netherlands, 18-19 May 2009, 18th Annual Belgian-Dutch Conference on Machine Learning - Proceedings of the Conference, pages 95-96 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.), International Workshop on Machine Learning in Systems Biology, Ljubljana, Slovenia, September 5-6, 2009, Proceedings of the Third International Workshop on Machine Learning in Systems Biology 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 (Accepted) 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), Strasbourg, France, 27-30 january 2009, Extraction et Gestion Des Connaissances (EGC'2009), page 3, Cepadues-Editions 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.), ACES symposium, Edegem, 7-8 September, Architecture and Compilers for Embedded Systems Symposium Proceedings, pages 5-8, 2009 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 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 Oct 19 2014 0:19 am; It contains now 10931 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