DTAI

2011

Thon, Ingo, Stochastic Relational Processes and Models: Learning and Reasoning

Gutmann, Bernd, On Continuous Distributions and Parameter Estimation in Probabilistic Logic Programs

De Grave, Kurt, Redictive Quantitative Structure-Activity Relationship Models and their use for the Efficient Screening of Molecules

Meert, Wannes, Inference and Learning for Directed Probabilistic Logic Models

2010

Dries, Anton, Data Streams and Information Networks: A Knowledge Discovery Perspective

Kimmig, Angelika, A Probabilistic Prolog and its Applications

Schietgat, Leander, Graph-Based Data Mining for Biological Applications

Van Weert, Peter, Extension and Optimizing Compilation of Constraint Handling Rules

Wittocx, Johan, Finite Domain and Symbolic Inference Methods for Extensions of First-Order Logic

Vanschoren, Joaquin, Understanding Machine Learning Performance with Experiment Databases

2009

Bringmann, Björn, Mining Patterns in Structured Data (Patronen in gestructureerde gegevens)

Croonenborghs, Tom, Model-Assisted Approaches for Relational Reinforcement Learning (Model-assisterende methoden voor het leren uit bekrachtiging in complexe omgevingen)

Goetschalckx, Robby, The Use of Domain Knowledge in Reinforcement Learning (Het gebruik van domeinkennis in reinforcement learning)

Guiza Grandas, Fabian, Predictive Data Mining in Intensive Care (Data Mining voor predictie in intensieve zorgen)

Landwehr, Niels, Trading Expressivity for Efficiency in Statistical Relational Learning (Statistisch relationeel leren: efficiëntie versus expressiviteit)

Mariën, Maarten, Model Generation for ID-Logic (Modelgeneratie voor ID-logica)

Nguyen, Manh Thang, Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)

Phan, Quan, Region-Based Memory Management for the Logic Programming Language Mercury (Gegroepeerd geheugenbeheer voor de logische programmeertaal Mercury)

Zimmermann, Albrecht, Mining Sets of Patterns (Zoeken naar verzamelingen van patronen)

2008

Cortés, Alvaro, Towards a Logical Reconstruction of a Theory for Locally Complete Databases (Een logische reconstructie van een theorie voor lokaal-volledige databases)

De Koninck, Leslie, Execution Control for Constraint Handling Rules (Uitvoeringscontrole voor Constraint Handling Rules)

Fierens, Daan, Learning Directed Probabilistic Logical Models from Relational Data (Het leren van gerichte probabilistisch-logische modellen uit relationele gegevens)

Raeymaekers, Stefan, Information Extraction from Web Pages based on Tree Automata Induction (Informatie extractie uit web-pagina's door middel van inductie van boomautomaten)

Sneyers, Jon, Optimizing Compilation and Computational Complexity of Constraint Handling Rules (Optimaliserende compilatie en computationele complexiteit van beperkingsafhandelingsregels)

Van Assche, Anneleen, Improving the Applicability of Ensemble Methods in Data Mining (Verbeteren van de toepasbaarheid van ensemble methodes in datamining)

2007

Vandeginste, Ruben, Copying garbage collection for WAM-based prolog systems

Vennekens, Joost, Algebraic and logical study of constructive processes in knowledge representation

Vens, Celine, Complex aggregates in relational learning

2006

Tronçon, Remko, Techniques for More Efficient ILP Data Mining Engines (Technieken voor efficiëntere ILP Data Mining Systemen)

Van Oudheusden, Karel, EASYMAP: A Semi-Automatic and Correct-by-Construction Abstract-Data-Type Refinement Tool for Pointer-Intensive Applications (EASYMAP: een semi-automatische en correct-bij-constructie abstract-data-type refinement tool voor pointer-intensieve applicaties)

2005

Schrijvers, Tom, Analyses, Optimizations and Extensions of Constraint Handling Rules (Analyses, optimalisaties en uitbreidingen van constraint handling rules)

Verdoolaege, Sven, Incremental Loop Transformations and Enumeration of Parametric Sets (Incrementele lustransformaties en enumeratie van parametrische verzamelingen)

2004

Driessens, Kurt, Relational reinforcement learning

Jacobs, Nico, Relational sequence learning and user modelling

Mazur, Nancy, Compile-time garbage collection for the declarative language Mercury

Pelov, Nikolay, Semantics of logic programs with aggregates

Struyf, Jan, Techniques for Improving the Efficiency of Inductive Logic Programming in the Context of Data Mining (Technieken voor het verhogen van de efficiëntie van inductief logisch programmeren in de context van datamining)

Van Nuffelen, Bert, Abductive constraint logic programming: implementation and applications.

2003

Kosala, Raymondus, Information extraction by tree automata inference

Serebrenik, Alexander, Termination analysis of logic programs

2002

Ramon, Jan, Clustering and instance based learning in first order logic

Van Laer, Wim, From Propositional to First Order Logic in Machine Learning and Data Mining - Induction of first order rules with ICL

2001

Vanhoof, Wim, Techniques for on- and off-line specialisation of logic programs

2000

Verbaeten, Sofie, Static verification of compositionality and termination for logic programming languages

1999

Vandecasteele, Henk, Constraint logic programming: applications and implementation

1998

Blockeel, Hendrik, Top-down induction of first order logical decision trees

Dehaspe, Luc, Frequent pattern discovery in first-order logic

1995

Adé, Hilde, Theory revision in inductive logic programming: inductive learning, abductive reasoning and bias

1993

Denecker, Marc, Knowledge representation and reasoning in incomplete logic programming

Mariën, André, Improving the compilation of Prolog in the framework of the Warren Abstract Machine

1991

De Raedt, Luc, Interactive concept-learning

1990

Janssens, Gerda, Deriving run time properties of logic programs by means of abstract interpretation

1988

Bruynooghe, Maurice, Twee methodes voor de globale optimalisatie van programma's in de logika der Horn-uitdrukkingen

1979

Bruynooghe, Maurice, Naar een betere beheersing van de uitvoering van programma's in de logika der Horn-uitdrukkingen

1972

Willems, Yves, The Use of Prosodics in the Automatic Recognition of Spoken English Numbers