By Paulo Moura,
University of Beira Interior,
Portugal
Author: Editors
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
ICLP2009: Accepted papers
* International Conference on Logic Programming (ICLP 2009)
* Logic Programming and Non Monotonic Reasoning (LPNMR 2009)
* Principles and Practice of Declarative Programming (PPDP 2009)
* Practical Aspects of Declarative Programming (PADL 2010)
* International Symposium on Functional and Logic Programming (FLOPS 2010)