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
- 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
- Berendt, Bettina;
Subasic, Ilija.
Measuring graph topology for interactive temporal event detection, Künstliche Intelligenz, volume 02, issue 2009, pages 11-17, 2009
- 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
- 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
- De Raedt, Luc;
Ramon, Jan.
Deriving distance metrics from generality relations, Pattern Recognition Letters, volume 30, issue 3, pages 187-191, 2009
- Dries, Anton;
Rückert, Ulrich.
Adaptive concept drift detection, Statistical Analysis and Data Mining, volume 2, issue 5-6, pages 311-327, 2009
- 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
- Ramon, Jan;
Nijssen, Siegfried.
Polynomial-delay enumeration of monotonic graph classes, Journal of Machine Learning Research, volume 10, pages 907-929, 2009
- 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
- Schrijvers, Tom;
Stuckey, Peter;
Wadler, Philip.
Monadic constraint programming, Journal of Functional Programming, volume 19, issue 6, pages 663-697, 2009
- 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
- Sneyers, Jon.
Rechtspositie en loonvoorwaarden van doctoraatsbursalen, Tijdschrift voor Onderwijsrecht en Onderwijsbeleid, volume 2008-2009, issue 5, pages 353-361, 2009
- 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
- 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
- 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
- Zimmermann, Albrecht;
De Raedt, Luc.
Cluster-grouping: from subgroup discovery to clustering, Machine Learning, volume 77, issue 1, pages 125-159, 2009
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
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
- 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
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, Springer, 2009
Article in other published book
1 reference- De Raedt, Luc.
Over machines die leren, Raymaekers, Bart (ed.), Universitaire Pers Leuven, 2009
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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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, page57, Springer
- 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, page39, Springer
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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, 15 pages
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Vens, Celine;
De Paula Costa, Eduardo;
Blockeel, Hendrik.
Top-down phylogenetic tree reconstruction, Pattern Recognition in Bioinformatics, Sheffield, United Kingdom, 7-9 September 2009
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
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
- 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
- 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
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, page1
- 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
- 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
- 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
- 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
- De Paula Costa, Eduardo;
Vens, Celine;
Blockeel, Hendrik.
Top-down phylogenetic tree reconstruction, Benelux Bioinformatics Conference, Liege, 14-15 December 2009
- 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, page64
- 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
- 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
- Guns, Tias.
Constraint programming for itemset mining, Summer School on the Analysis of Patterns, Cagliari, Italy, 27 September - 3 October 2009
- 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
- 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, page1
- 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
- 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
- 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
- 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
- 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
- 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
- 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
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
- 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), page3, Cepadues-Editions
- Verdoolaege, Sven.
Derivation of process networks and the use of Bernstein expansion to compute FIFO sizes, LIP seminar, Lyon, France, 3 July 2009
- 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
- Verdoolaege, Sven.
isl and how to solve Bart's PIP problem, LERC seminar, Leiden, 30 October 2009
- Verdoolaege, Sven.
Polyhedral process networks, Alchemy seminar, Orsay, 20 November 2009
- Verdoolaege, Sven.
Tools from the polyhedral model, Lunch Seminar, Delft, 25 November 2009
- Verdoolaege, Sven.
Tools for the polyhedral model, Kolloquium, Passau, 15 December 2009
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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Zimmermann, Albrecht.
Mining Sets of Patterns , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2009,
De Raedt, Luc (supervisor)
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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
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
- 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
Last update local database Sun Jun 16 2013 0:17 am; It contains now 9772 items.
Yearly overview:
