
Mathematical Aspects of Logic Programming Semantics. Hitzler, Pascal — Seda, Anthony. Taylor & Francis, 2011. ISBN: 9781439829622. DESCARGAR LIBRO
Aspectos matemáticos de la semántica de la programación lógica.
Cubriendo los resultados de la investigación de vanguardia de los propios autores, este libro presenta un relato riguroso y moderno de los métodos y herramientas matemáticas necesarias para el análisis semántico de los programas lógicos. Amplía significativamente las herramientas y métodos de la teoría del orden tradicional para incluir métodos no convencionales del análisis matemático que dependen de la topología, la teoría de dominios, las funciones de distancia generalizadas y la teoría de puntos fijos asociada.
Los autores examinan de cerca las interrelaciones entre varias semánticas así como la integración de la programación lógica y los sistemas de conexión/redes neuronales.