By Markus Triska
Author: Editors
SAT solver of Howe & King as a logic program
by Włodzimierz Drabent, Institute of Computer Science, Polish Academy of Sciences, and IDA, Linköpings universitet, Sweden.
Finite Domain Constraints in SICStus Prolog
By Mats Carlsson, SICS
BPSolver’s Solutions to the Third ASP Competition Problems
By Neng-Fa Zhou, Agostino Dovier, and Yuanlin Zhang
ICLP 2011: Accepted papers
Accepted papers of ICLP2011, 27th International Conference on Logic Programming, Lexington, KY, USA, July 6-10, 2011.
CFP: PADL 2012
Call for Papers: 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012)
Philadelphia, Pennsylvania, USA, January 23-24, 2012
International Spring School on Computational Logic
by Polina Kuznetsova
SUNY Stony Brook,
USA
Seventh ICLP Doctoral Student Consortium
By Alessandro Dal Palu’,
University of Parma,
Italy
CFP: Colloquium on Implementation of Constraint Logic Programming Systems
July 10, 2011,
Lexington, KY, USA
Editorial, March 2011
Dear LPers, as we all know this is a scientific newsletter that tries to keep real-world problem outside as much as possible. But we believe that this cannot be the case this time and we’ll spend a couple of words…