By Jonathan Hodgson,
Saint Joseph’s University,
USA
Author: Enrico Pontelli
Editorial, June 2010
Dear Logic Programmers, welcome back to a new issue of the ALP Newsletter. This is an unusually short issue (no fear, we have great things coming your way for the near future), developed to announce the new Newsletter format to…
Draft Book Announcement: Computational Logic and Human Life – How to be Artificially Intelligent
Robert Kowalski, Imperial College, UK
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
Book Announcement: Argumentation in Artificial Intelligence
Iyad Rahwan and Guillermo R. Simari
Software Announcement: Tom 2.7
Pierre-Etienne Moreau
Loria, Inria, France
Software Announcement: Potassco Labs
Torsten Schaub
University of Potsdam, Germany