Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Answer Set Solving in Practice

  • Book
  • © 2013

Overview

Authors:
  1. Martin Gebser

    1. University of Potsdam, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Roland Kaminski

    1. University of Potsdam, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Benjamin Kaufmann

    1. University of Potsdam, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Torsten Schaub

    1. University of Potsdam, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 2862 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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 / Motivation / Introduction / Basic modeling / Grounding / Characterizations / Solving / Systems / Advanced modeling / Conclusions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xxv
    Download chapter PDF

  2. Motivation

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 1-10

  3. Introduction

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 11-33

  4. Basic modeling

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 35-49

  5. Grounding

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 51-67

  6. Characterizations

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 69-90

  7. Solving

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 91-111

  8. Systems

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 113-151

  9. Advanced modeling

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 153-174

  10. Conclusions

    • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
    Pages 175-179

  11. Back Matter

    Pages 181-212
    Download chapter PDF
Back to top

Authors and Affiliations

  • University of Potsdam, Germany

    Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation