Accepted papers of ICLP2011, 27th International Conference on Logic Programming, Lexington, KY, USA, July 6-10, 2011.
Category: ALP ISSUE
International Spring School on Computational Logic
by Polina Kuznetsova
SUNY Stony Brook,
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…
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.
Concurrent Programming Constructs and First-Class Logic Engines
By Paul Tarau, Department of Computer Science and Engineering, University of North Texas, Denton, Texas.
LPNMR 2011: Accepted papers
Accepted papers of LPNMR 2011,
11th International Conference on Logic Programming and Nonmonotonic Reasoning,
Vancouver, May 16-19, 2011
Editorial, December 2010
Dear LP-ers, 2010 is over. An important year for Logic Programming. A successful ICLP conference in Edinburgh with the novelty of the proceedings published in TPLP (thanks to Manuel, Torsten, and in particular, Illka) that allowed us to improve the…
Book Announcement: A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
Datalog+/-: A New Family of Languages for Ontology Querying
By Andrea Calì (2,3), Georg Gottlob (1,3),
Thomas Lukasiewicz (1), and Andreas Pieris (1)
(1) Computing Laboratory University of Oxford, UK
(2) Department of Information Systems and Computing Brunel University, UK
(3) Oxford-Man Institute of Quantitative Finance University of Oxford, UK