Books by Vladimir Lifschitz

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. 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.

Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. This book reviews twenty-five key topics in knowledge representation. It is useful for students, researchers and practitioners in various areas of Artificial Intelligence.