by Yuliya Lierler,
University of Kentucky, USA
Declarative Aspects of Multicore Programming (DAMP 2011)
by Manuel Carro,
Universidad Politecnica de Madrid, Spain
Call for papers
ICLP2011, LPNMR-11, RTA2011, DAMP 2011, WOLLIC 2011
Editorial, September 2010
By Agostino Dovier and Enrico Pontelli Dear LPers, Welcome to the new issue of the ALP Newsletter. We have been busy over the summer working on refining and enhancing the new version of the newsletter, and we are excited about…
Nonmonotonicity of Probabilistic Reasoning
by Michael Gelfond and Nelson J. Rushton,
Department of Computer Science, Texas Tech University
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
By Gourinath Banda, Roskilde University, Denmark, and John P. Gallagher Roskilde University, Denmark and IMDEA Software, Madrid.