Origins of Answer-Set Programming - Some Background and Two Personal Accounts
Now, more than 12 years since ASP became a recognizable paradigm of search problem solving, the authors see that the efforts of researchers in various domains: artificial intelligence, knowledge representation, non-monotonic reasoning, satisfiability and others resulted in a programming formalism that is being used in a variety of areas, but principally in those where the modelers face the issues of defaults, frame axioms and other non-monotonic phenomena. The experience of ASP programmers shows that these phenomena can be naturally incorporated into the practice of modeling real-life problems. They believe ASP is here to stay. It provides a venue for problem modeling, problem description and problem solving. This does not mean that the process of developing ASP is finished.