{"product_id":"declarative-logic-programming-theory-systems-and-applications-9781970001969","title":"Programación Lógica Declarativa: Teoría, Sistemas y Aplicaciones","description":"\u003cp\u003eLa idea de este libro surgió de un simposio que se celebró en Stony Brook en septiembre de 2012 en celebración de las contribuciones fundamentales de David S. Warren a la informática y al área de la programación lógica en particular.\u003c\/p\u003e \u003cp\u003eLa Programación Lógica (PL) se encuentra en el nexo de la Representación del Conocimiento, la Inteligencia Artificial, la Lógica Matemática, las Bases de Datos y los Lenguajes de Programación. Es fascinante e intelectualmente estimulante debido a la interacción fundamental entre la teoría, los sistemas y las aplicaciones que la lógica propicia. Los programas lógicos son más \u003ci\u003edeclarativos\u003c\/i\u003e en el sentido de que se esfuerzan por ser especificaciones lógicas de \"qué\" hacer en lugar de \"cómo\" hacerlo, y por lo tanto son de alto nivel y más fáciles de entender y mantener. Sin embargo, sin que se les dé un algoritmo real, los sistemas de PL implementan automáticamente las especificaciones lógicas.\u003c\/p\u003e \u003cp\u003eVarios libros cubren los conceptos básicos de la PL, pero se centran principalmente en el lenguaje Prolog con su estrategia de control incompleta y sus características no lógicas. Al mismo tiempo, generalmente hay una falta de colecciones de artículos accesibles pero completas que cubran los aspectos clave de la PL declarativa. Estos aspectos incluyen, entre otros, la semántica de modelos bien fundados versus estables para la negación, las restricciones, la PL orientada a objetos, las actualizaciones, la PL probabilística y los métodos de evaluación, incluyendo de arriba hacia abajo versus de abajo hacia arriba, y la tabulación.\u003c\/p\u003e \u003cp\u003ePara los sistemas, la situación es aún menos satisfactoria, ya que carece de literatura accesible que pueda ayudar a capacitar a la nueva generación de desarrolladores, profesionales e investigadores. Existen algunas guías sobre la Máquina Abstracta de Warren (WAM), que subyace a la mayoría de las implementaciones de Prolog, pero existe muy poco sobre lo que se necesita para construir un motor de inferencia de PL declarativa de última generación. Contrástese esto con la literatura sobre, por ejemplo, Compiladores, donde uno puede estudiar primero un libro sobre los principios y algoritmos generales y luego profundizar en los detalles de un compilador específico. Dichos recursos facilitan en gran medida la capacidad de comenzar a hacer contribuciones significativas rápidamente. También hay una escasez de artículos sobre sistemas que admiten lenguajes verdaderamente declarativos, especialmente aquellos que se relacionan con la lógica de primer orden, la programación matemática y la resolución de restricciones.\u003c\/p\u003e \u003cp\u003eLa PL ayuda a resolver problemas desafiantes en una amplia gama de áreas de aplicación, pero falta un análisis en profundidad de su conexión con las abstracciones del lenguaje PL y los métodos de implementación de PL. Además, son raras las encuestas sobre áreas de aplicación desafiantes de la PL, como la Bioinformática, el Procesamiento del Lenguaje Natural, la Verificación y la Planificación.\u003c\/p\u003e \u003cp\u003eEl objetivo de este libro es ayudar a llenar el vacío antes mencionado en la literatura de PL. Ofrece una serie de resúmenes sobre aspectos clave de la PL que son adecuados para investigadores y profesionales, así como para estudiantes de posgrado. Se incluyen los siguientes capítulos sobre teoría, sistemas y aplicaciones de PL.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-12137085\"\u003eMichael Kifer\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-12137086\"\u003eYanhong Annie Liu\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e ACM Books\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 19\/09\/2018\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 615\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 2.30lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.25h x 7.50w x 1.24d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781970001969\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1970001968\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eCiencias de la Computación\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM059000\"\u003eIngeniería Informática\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051000\"\u003eProgramación | General\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003eMichael Kifer es profesor del Departamento de Ciencias de la Computación de la Universidad de Stony Brook, EE. UU. Obtuvo su doctorado en Ciencias de la Computación en 1984 en la Universidad Hebrea de Jerusalén, Israel, y la maestría en Matemáticas en 1976 en la Universidad Estatal de Moscú Lomonosov, Rusia. Desde 2012, el Dr. Kifer ha sido presidente de la Asociación de Reglas y Razonamiento (RRA). Su trabajo abarca las áreas de representación y razonamiento del conocimiento (KRR), programación lógica, sistemas de información web y bases de datos. Publicó cuatro libros de texto y numerosos artículos en estas áreas, además de coinventar F-logic, HiLog, Annotated Logic y Transaction Logic, que se encuentran entre los trabajos más citados en Ciencias de la Computación y en la investigación de la Web Semántica, en particular. En dos ocasiones, en 1999 y 2002, recibió los prestigiosos premios \"Test of Time\" de ACM-SIGMOD por sus trabajos sobre F-logic y lenguajes de bases de datos orientadas a objetos. En 2008, recibió el Premio Chancellor's Award for Excellence in Scholarship de SUNY. En 2013, el Dr. Kifer recibió otro prestigioso premio: el premio \"Test of Time\" de 20 años de la Asociación de Programación Lógica (ALP) por su trabajo en Transaction Logic. En 2013, Kifer cofundó Coherent Knowledge Systems, una startup que comercializa tecnologías semánticas y KRR.\u003c\/p\u003e","brand":"ACM Books","offers":[{"title":"Default Title","offer_id":44449865367789,"sku":"9781970001969","price":149.93,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_f30cf7e6-fda0-4345-91d8-efc2d8e83c12.jpg?v=1700314053","url":"https:\/\/sureshotbooks.com\/es\/products\/declarative-logic-programming-theory-systems-and-applications-9781970001969","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}