Achievements of the Italian Association for Logic Programming, GULP. Edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125.
Category: ALP ISSUE
LOPSTR 2010: Accepted Papers
20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria
http://www.risc.jku.at/conferences/lopstr2010/
Logtalk 2.40.0 Released
By Paulo Moura,
University of Beira Interior,
Portugal
CILC 2010: Accepted Papers
CILC2010, XXV Italian Conference on Computational Logic
http://www.mat.unical.it/CILC2010/
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
Report of the 1st Commercial Users of Logic Programming workshop
Tom Schrijvers
K.U. Leuven, Belgium