Answer Set Solving in Practice

Answer Set Solving in Practice

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub,
ISBN: 9781608459711 | PDF ISBN: 9781608459728
Copyright © 2012 | 238 Pages | Publication Date: 01/01/2012

BEFORE YOU ORDER: You may have Academic or Corporate access to this title. Click here to find out: 10.2200/S00457ED1V01Y201211AIM019

Ordering Options: Paperback $55.00   E-book $44.00   Paperback & E-book Combo $68.75

Why pay full price? Members receive 15% off all orders.
Learn More Here

Read Our Digital Content License Agreement (pop-up)

Purchasing Options:

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.

Table of Contents

List of Figures
List of Tables
Basic modeling
Advanced modeling

About the Author(s)

Martin Gebser, University of Potsdam, Germany

Roland Kaminski, University of Potsdam, Germany

Benjamin Kaufmann, University of Potsdam, Germany

Torsten Schaub, University of Potsdam, Germany


Related Series

Human Language Technologies


Customers who bought this product also purchased
Statistical Relational Artificial Intelligence
Statistical Relational Artificial Intelligence
Browse by Subject
Case Studies in Engineering
ACM Books
SEM Books
0 items

Note: Registered customers go to: Your Account to subscribe.

E-Mail Address:

Your Name: