A Glimpse of Answer Set Programming.

KI 01/2005; 19(1):12-.
Source: DBLP


sentation and reasoning. To solve a problem, a programmer designs a logic program so that models of the program determine solutions to the problem. ASP has been identi ed in the late 1990s as a subarea of logic programming and is becoming one of the fastest growing elds in knowledge representation and declarative programming. Major advantages of ASP are (1) its simplicity, (2) its ability to model e ectively incomplete speci cations and closure constraints, and (3) its relation to constraint satisfaction and propositional satis ability, which allows one to take advantage of advances in these areas when designing solvers for ASP systems.

Download full-text


Available from: Torsten Schaub, Jan 26, 2014
Show more