19th Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning
Please consider submitting a paper to the International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR);
submission deadline July 22, 2013
.