Early registration deadline: MAY 17
ICLP 2010: Accepted papers
ICLP 2010 accepted papers. See also: http://www.floc-conference.org/ICLP-accepted.html
Editorial, March 2010
[A long time ago, in a galaxy far far away…] it has been a long time since I sat down and wrote an editorial for the ALP newsletter. But did not forget about our beloved audience – you, dear logic…
Draft Book Announcement: Computational Logic and Human Life – How to be Artificially Intelligent
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