CFP: EPIA/COLA 2011: 15th Portuguese Conference on Artificial Intelligence, COLA – COmputational Logic with Applications.
Author: Editors
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.
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.
CALL FOR JOURNAL PAPERS
Thematic series on Constraints and Bioinformatics
AMB: Algorithms for Molecular Biology
Submission deadline: April 30th, 2011.
Call for Participation: The 7th REASONING WEB Summer School (RW 2011)
by Axel Polleres
National University of Ireland,
Ireland
CFP: 12th International Workshop on Computational Logic in Multi-Agent Systems
by Joao Leite,
New University of Lisbon,
Portugal