… models, and answer set solvers—programs for generating stable models—are used to
perform search. The search algorithms used in the design of many answer set solvers are en…

… Namely, a set M of atoms is an answer set of the program P ∪{r} if and only if M is an
answer set of the program P and does not satisfy (as in propositional logic) the conjunction …

… programs with negation. It looks into positive programs over stratified programs to arbitrary
programs, … It shows some programming techniques and briefly overviews Answer Set solvers. …

… The Italian logic programming community has been very active in this area, some ASP results
achieved in Italy are widely recognized as milestones on the road to the current state of the …

… Towards automated integration of guess and check programs in answer set programming:
A meta-interpreter and applications. Theory and Practice of Logic Programming 6(1–2), 23–60…

… and Niemelä [2] proposed answer set computation as a new … answer set programming [12].
It turned out that a rich class of problems could be modeled elegantly as answer set programs …

… of Π such that Πr α(R) is consistent (that is has an answer set) is called an abductive support
of Π. A set A is called an answer set of Π if it is an answer set of the regular ASP program Πr …

… solvers for its programs can help to … the answer set programming paradigm. Keywords
Knowledge representation and reasoning·Answer set programming· Constraint logic programming …

… of logic programming and non-monotonic reasoning. The idea of ASP is to represent a
given problem by means of a logic program whose stable models or answer sets correspond to …

… computation for disjunctive logic programs. An interesting application method is based
on answer set programming, ie, encoding an application problem as a set of rules so that its …