
Answer Set Solving in Practice
Morgan & Claypool Publishers
Published on 30. December 2012
Book
Paperback/Softback
238 pages
978-1-60845-971-1 (ISBN)
Description
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 solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples.
This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples.
More details
Series
Language
English
Place of publication
San Rafael
United States
Dimensions
Height: 235 mm
Width: 187 mm
Weight
333 gr
ISBN-13
978-1-60845-971-1 (9781608459711)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
- List of Figures
- List of Tables
- Motivation
- Introduction
- Basic modeling
- Grounding
- Characterizations
- Solving
- Systems
- Advanced modeling
- Conclusions
- List of Tables
- Motivation
- Introduction
- Basic modeling
- Grounding
- Characterizations
- Solving
- Systems
- Advanced modeling
- Conclusions