1. Towards an efficient evaluation of recursive aggregates in deductive databases

   • Alexandre Lefebvre

   Regular Papers Pages: 131 - 160

2. Bounded quantifications for iteration and concurrency in logic programming

   • Jonas Barklund

   Regular Papers Pages: 161 - 182

3. Implementing specifications by dynamic inheritance

   • Amir Tomer
   • Christopher J. Hogger

   Regular Papers Pages: 183 - 208

4. Undecidable goals for completed acyclic programs

   • Marc Bezem
   • Jan Keuzenkamp

   Short Note Pages: 209 - 213

5. An artificial brain ATR's CAM-Brain Project aims to build/evolve an artificial brain with a million neural net modules inside a trillion cell Cellular Automata Machine

   • Hugo de Garis

   Project Report Pages: 215 - 221