[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…
Author: Editors
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
Accepted papers
We report here the accepted papers at the major logic programming international meetings and journals.