• Title Answer Set Programming
• Author(s) Vladimir Lifschitz
• Publisher: Springer (2019); eBook (Draft, University of Texas, April 5, 2019)
• Permission: Link to the Draft of the Book
• Hardcover 190 pages
• eBook PDF (198 pages)
• Language: English
• ISBN-10: 3030246574
• ISBN-13: 978-3030246570
• Share This:  

Book Description

Answer Set Programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers.

Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas―in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming.

The book will introduce the reader to the theory and practice of ASP. It will describe the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It will include numerous examples of ASP programs and present the mathematical theory that ASP is based on. There will be many exercises with complete solutions.

• Vladimir Lifschitz is a Professor of Computer Science at the University of Texas at Austin and a Fellow of the Association for the Advancement of Artificial Intelligence.

• Amazon
• Amazon (Knowledge Representation, Reasoning: The Answer-Set Programming Approach)

• Computer Programming
• Artificial Intelligence (AI), Logic Programming, etc.
• Combinatorics and Game Theory

• Answer Set Programming (Vladimir Lifschitz)
• The Mirror Site (1) - PDF
• Theory and Practice of Answer Set Programming (Esra Erdem, et al.)
• Answer Set Programming Modulo Theories (Michael Bartholomew)

• Elements of Programming (Alexander Stepanov, et al)

  The book shows that algorithms implemented in a real programming language, such as C++, can operate in the most general mathematical setting. For example, the fast exponentiation algorithm is defined to work with any associative operation.

• Principles of Algorithmic Problem Solving (Johan Sannemo)

  The algorithmic approach to solving problems in computer technology is an essential tool. This book presents a readable, entertaining, and energetic book that will motivate and challenge students to open their minds to the algorithmic nature of problem solving.

• Competitive Programmer's Handbook (Antti Laaksonen)

  This book is an introduction to computer programming using using any of a variety of programming languages, including C++, C#, Java, JavaScript, Python, and Swift for writing programmes, and to solid, fundamental programming principles.

• Aesthetic Programming: A Handbook of Software Studies

  The book explores the technical as well as cultural imaginaries of programming from its insides, introduces and demonstrates the reflexive practice of aesthetic programming, engaging with learning to program as a way to understand and question.

• The Black Art of Programming (Mark McIlroy)

  This book is an introduction to computer programming. It covers the essential information of a Computer Science course. It is recommended for beginners and intermediate programmers.

• Programming Fundamentals - A Modular Structured Approach

  This book is an introduction to computer programming using any of a variety of programming languages, including C++, C#, Java, JavaScript, Python, and Swift, for writing programmes, and to solid, fundamental programming principles.

• A Practical Theory of Programming (Eric C.R. Hehner)

  This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date.

• Structure and Interpretation of Computer Programs using JavaScript

  This book introduces the reader to central ideas of computation by establishing a series of mental models for computation. It has had a dramatic impact on computer science curricula over the past decades. Examples are implemented using the JavaScript.

• How to Design Programs: An Introduction to Programming

  This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines.

• Concepts, Techniques, and Models of Computer Programming

  This innovative book presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine.

• OOP: Learn Object Oriented Thinking and Programming

  It teaches programming according to the Architecture First methodology which reacts at the companies' complaints that the school graduates are usually good in coding, but bad in software architecture.