Article

A Glimpse of Answer Set Programming.

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

ABSTRACT 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.

0 Bookmarks
 · 
173 Views

Full-text (2 Sources)

Download
16 Downloads
Available from
May 17, 2014