Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.

• We started tracking this book on July 5, 2022.
• This book was $0.00 when we started tracking it.
• The price of this book has changed 2 times in the past 677 days.
• The current price of this book is $72.16 last checked 5 hours ago.
• This lowest price this book has been offered at in the past year is FREE.
• The lowest price to date was FREE last reached on July 5, 2022.
• This book has been FREE one time since we started tracking it.
• The highest price to date was $90.20 last reached on February 13, 2024.
• This book has been $90.20 one time since we started tracking it.

• Computers & Technology

• Publication Date: April 19, 2016
• Text-to-Speech: Disabled
• Lending: Disabled
• Print Length: 304 Pages
• File Size: 8,252 KB