20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria
http://www.risc.jku.at/conferences/lopstr2010/
Author: Editors
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/
Call for papers
Call for papers of 30Y of NMR, ILP2010, COIN@MALLOW2010, DBKDA 2011
ICLP 2010 / FLOC Registration
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…
The ProB Animator and Model Checker
Michael Leuschel
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
The Autonomous Agent Architecture
Marcello Balduccini
Eastman Kodak Company, USA
Michael Gelfond
Texas Tech University, USA
Communicated by: Francesca Toni
The Autonomous Agent Architecture
By Marcello Balduccini and Michael Gelfond