CW257
Kristof Van Belleghem, Marc Denecker and Daniele Theseider Dupre
Representing ramifications in an event-based language
December 1997
abstract.html / report.pdf (526K)/ email to: K. Vanbelleghem

CW256
Michael Leuschel, Bern Martens and Konstantinos Sagonas
Preserving Termination of Tabled Logic Programs While Unfolding
September 1997
abstract.html / email to: M. Leuschel

CW255
Michael Leuschel
Proceedings of the International Workshop on Specialization of Declarative Programs and its Applications
September 1997
abstract.html / email to: M. Leuschel

CW254
Sofie Verbaeten, Marc Denecker and Danny De Schreye
Compositionality of normal open logic programs
July 1997
abstract.html / report.pdf (227K)/ email to: S. Verbaeten

CW253
Bart Demoen and Gerda Janssens
LOPSTR'97 : Proceedings of the seventh international workshop on logic program synthesis and transformation, July 10-12, 1997, Leuven, Belgium
July 1997
abstract.html / email to: G. Janssens

CW252
Michael Leuschel
Extending homeomorphic embedding in the context of logic programming
June 1997
abstract.html / report.pdf (272K)/ email to: M. Leuschel

CW251
Wim Vanhoof and Bern Martens
To parse or not to parse
June 1997
abstract.html / report.pdf (286K)/ email to: W. Vanhoof

CW250
Michael Leuschel and Danny De Schreye
Constrained partial deduction and the preservation of characteristic trees
June 1997
abstract.html / report.pdf (494K)/ email to: M. Leuschel

CW249
Walid Al-Ahmad and Eric Steegmans
Java and the object-oriented paradigm: comparison and evaluation
April 1997
abstract.html / report.pdf ( 78K)/ email to: W. Al-Ahmad

CW248
Michael Leuschel, Bern Martens and Danny De Schreye
Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs
February 1997
abstract.html / report.pdf (562K)/ email to: M. Leuschel

CW247
Hendrik Blockeel and Luc De Raedt
Top-down induction of logical decision trees
January 1997
abstract.html / report.pdf (334K)/ email to: H. Blockeel

CW246
Stefaan Decorte, Danny De Schreye and Massimo Fabris
Exploiting the power of typed norms in automatic inference of interargument relations
January 1997
abstract.html / report.pdf (316K)/ email to: S. Decorte