rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Answer set solving in practice
  title info:
    title: Synthesis digital library of engineering and computer science
  name:
    name part: Gebser, Martin.
  name:
    name part: Kaminski, Roland.
  name:
    name part: Kaufmann, Benjamin.
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: cau
    date issued: 2013
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xxv, 212 pages) : illustrations
  abstract: 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 -- List of lists -- List of algorithms -- Preface -- About this book --
  note: Martin Gebser [and others].
  note: Electronic resource.
  note: Includes bibliographical references (pages 183-205) and index.
  subject:
    topic: Declarative programming
  subject:
    topic: Logic programming
  subject:
    topic: Algebra -- Problems, exercises, etc
  subject:
    topic: Algebra
  subject:
    topic: Word problems (Mathematics)
  subject:
    topic: MATHEMATICS / Algebra / Elementary
  subject:
    topic: answer set programming
  subject:
    topic: declarative problem solving
  subject:
    topic: logic programming
  classification: QA76.615
  classification: 512.9
  related item:
    title info:
      title: Synthesis lectures on artificial intelligence and machine learning ; #19
  identifier: 9781608459728 (electronic bk.)
  identifier: 1608459721 (electronic bk.)
  identifier: 9781608459711 (pbk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: MHW
    record creation date: 121227
    record change date: 20190404202450.0
    record identifier: in00003338107
    language of cataloging:
      language term: eng