La lógica de Programación, Inteligencia Artificial y Razonamiento: 16 Conferencia Internacional, LPAR-16, Dakar, Senegal, abril 25-mayo 1, 2010, Revisado los Trabajos Seleccionados

Este libro constituye el fondo arbitradas post-actas de la conferencia de la 16ª Conferencia Internacional sobre la Lógica de Programación, Inteligencia Artificial y Razonamiento, LPAR de 2010, que tuvo lugar en Dakar, Senegal, en abril/Mayo de 2010. El 27 revisada de los trabajos completos y 9 revisado corto documentos presentados junto con 1 invitado a hablar fueron cuidadosamente revisados y seleccionados de 47 propuestas. Los artículos abordan todos los temas de actualidad en la automatización de razonamiento, lógica computacional, lenguajes de programación y de acuerdo con la programación de la lógica, la lógica de programa basado en la manipulación, métodos formales, y de diversos tipos de IA logica. Temas tratados van desde aspectos teóricos para diversas aplicaciones tales como autómatas, aritmética lineal, la verificación, la representación del conocimiento, prueba de la teoría, cuantificado limitaciones, así como modal y temporal de la lógica.