Answer Set Programming: Foundations, Implementation Techniques, and Applications

Ilkka Niemela

Answer set programming (ASP) is a new declarative programming paradigm that has its roots in the stable model (answer set) semantics of logic programs and implementations of this semantics developed in the late 90's. A number of successful ASP systems have already been developed and applied in areas such as planning, decision support for the flight controllers of space shuttles, web-based product configuration, configuration of a Linux distribution, computer aided verification, VLSI routing, network management, security protocol analysis, network inhibition analysis, linguistics, and diagnosis.

The talk reviews the theoretical underpinnings of ASP, introduces the ASP programming paradigm, outlines computational techniques used in current ASP solvers, and discusses some interesting applications of the approach.