By Neng-Fa Zhou, Agostino Dovier, and Yuanlin Zhang
Author: Editors
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…
CFP: EPIA/COLA 2011
CFP: EPIA/COLA 2011: 15th Portuguese Conference on Artificial Intelligence, COLA – COmputational Logic with Applications.
Natural Language Processing With Prolog in the IBM Watson System
By Adam Lally, IBM Thomas J. Watson Research Center, and Paul Fodor, Stony Brook University
A Pearl on SAT Solving in Prolog (extended abstract)
By Jacob M. Howe, Department of Computing, City University London, and Andy King, School of Computing, University of Kent, Canterbury.