What Is Answer Set Programming?

Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers for propositional logic.

• Type: Conference
• Year: 2008
• Where: AAAI
• Authors: Vladimir Lifschitz
• Keywords: AAAI 2008, Answer Set Programming, Difficult Search Problems, Fast Satisfiability Solvers, Intelligent Agents