Answer Set Solving in Practice

by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, et al.

Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interest in many other areas even beyond KRR. This book presents a practical introduction to ASP, aiming at using ASP languages and systems for...

• Format: Paperback
• Language: English
• ISBN: 3031004337
• ISBN13: 9783031004339
• Release Date: December 2012
• Publisher: Springer
• Length: 212 Pages
• Weight: 0.92 lbs.
• Dimensions: 0.5" x 7.5" x 9.3"