CW220
M. Leuschel, B. Martens
Global control for partial deduction through characteristics atoms and global trees
December 1995
abstract.html / email to: M. Leuschel

CW219
F. Piessens, E. Steegmans
Essentially algebraic specifications: deduction system and specifications of structured categories
December 1995
abstract.html / email to: F. Piessens

CW218
G. Janssens, M. Bruynooghe, A. Mulkers
Abstract equation systems: some practical experiments
November 1995
abstract.html / email to: G. Janssens

CW217
G. Janssens, M. Bruynooghe, A. Mulkers
Abstract equation systems: description and insights
November 1995
abstract.html / email to: G. Janssens

CW216
M. Leuschel
Ecologiscal partial deduction: preserving characteristic trees without constraints
October 1995
abstract.html / email to: M. Leuschel

CW215
M. Leuschel, D. De Schreye
An almost perfect abstraction operation for partial deduction using characteristic trees
October 1995
abstract.html / email to: M. Leuschel

CW214
L. Dehaspe, L. De Raedt
DLAB - A declarative language bias for concept learning and knowledge discovery engines
October 1995
abstract.html / report.pdf / email to: L. Dehaspe

CW213
K. Aerts, E. Bevers, K. De Vlaminck
A prototype environment for Karel the Robot
October 1995
abstract.html / email to: K. Aerts

CW212
G. Janssens, M. Bruynooghe, V. Dumortier
A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs
June 1995
abstract.html / email to: G. Janssens

CW211
D. Boulanger, M. Bruynooghe
Index-driven semantics of logic programs
May 1995
abstract.html / email to: M. Bruynooghe

CW210
M. Leuschel, B. Martens
Partial deduction of the ground representation and its application to integrity checking
April 1995
abstract.html / email to: M. Leuschel

CW209
R. Maelbrancke, H. Olivié
The fringe bucket-quadtree, a robust and efficient spatial data structure with a high population density
February 1995
abstract.html / email to: H. Olivié

CW208
E. Steegmans, J. Lewi, M. D'Haese, J. Dockx, D. Jehoul, B. Swennen, S. Van Baelen, P. Van Hirtum
EROOS Reference Manual. Version 1.0
January 1995
abstract.html / email to: E. Steegmans

CW207
H. Ade and M. Denecker
Abductive inductive logic programming
February 1995
abstract.html / email to: M. Denecker

CW206
H. Ade and H. Boström
Unfolding and theory revision: integrating SPECTRE into RUTH
February 1995
abstract.html / email to: ??

CW205
M. Garcia de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens
Global analysis of constraint logic programs
January 1995
abstract.html / email to: M. Bruynooghe