ICLP 2010 accepted papers. See also: http://www.floc-conference.org/ICLP-accepted.html
Author: Editors
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)
Report on Application Session @ LPNMR09
Agostino Dovier and Esra Erdem:
A Summary of the Panel on Applications of ASP
The Tenth International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany
Teyjus: A λProlog Implementation
Call for Papers
AIMSA 2010, UNIF 2010, ASPOCP2010, CILC2010, WCB10, SecureComm ’10, LFMTP 2010, ESORICS2010, LOPSTR 2010, …
Regular columns
Here we report the papers submitted to area editors or directly to ALP newsletter editors