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.
CALL FOR PAPERS
Call for papers of EPIA2011, WLPE 2011, Log-IC2011, RCRA 2011, CLIMA XII, LPMAS2011, CP2011
LPNMR 2011: Accepted papers
Accepted papers of LPNMR 2011,
11th International Conference on Logic Programming and Nonmonotonic Reasoning,
Vancouver, May 16-19, 2011
CFP: WLPE 2011
Call for papers: WLPE 2011. 21st Workshop on Logic-based methods in Programming Environments.