Towards an efficient evaluation of recursive aggregates in deductive databases Alexandre Lefebvre Regular Papers Pages: 131 - 160
Bounded quantifications for iteration and concurrency in logic programming Jonas Barklund Regular Papers Pages: 161 - 182
Implementing specifications by dynamic inheritance Amir TomerChristopher J. Hogger Regular Papers Pages: 183 - 208
Undecidable goals for completed acyclic programs Marc BezemJan Keuzenkamp Short Note Pages: 209 - 213
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