research
∙
03/08/2000
Problem solving in ID-logic with aggregates: some experiments
The goal of the LP+ project at the K.U.Leuven is to design an expressive...
research
∙
03/08/2000