Robert Kowalski, Imperial College, UK
The ProB Animator and Model Checker
Michael Leuschel
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Report of the 16th Prolog Programming Contest
Tom Schrijvers
K.U. Leuven, Belgium
Report of the 1st Commercial Users of Logic Programming workshop
Tom Schrijvers
K.U. Leuven, Belgium
Logic and Abstraction, Verification and Falsification
Jan-Georg Smaus
Albert-Ludwigs-Universit¨at Freiburg, Germany
The Autonomous Agent Architecture
Marcello Balduccini
Eastman Kodak Company, USA
Michael Gelfond
Texas Tech University, USA
Communicated by: Francesca Toni