
Smodels
 Referenced in 211 articles
[sw04631]
 Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... problem as a logic program such that the answer sets (stable models) of the program ... program engine to find the answer sets of the program...

Cmodels
 Referenced in 51 articles
[sw04435]
 answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer ... class of programs called tight, the answer set semantics is equivalent to the completion semantics ... that the answer sets for such a program can be enumerated by a SAT solver ... formulas ”as needed” for finding answer sets of a program...

Gringo
 Referenced in 43 articles
[sw04630]
 document provides an introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo ... users into equivalent propositional logic programs. The answer sets of such programs can be computed...

ASSAT
 Referenced in 141 articles
[sw02524]
 system for computing answer sets of a logic program by using SAT solvers. Briefly speaking ... given a ground logic program P, ASSAT(X), depending on the SAT solver X used ... converts it into a set C of clauses. Repeats Calls ... such M exists). If M is an answer set of P, then returns with...

clasp
 Referenced in 40 articles
[sw07095]
 clasp is an answer set solver for (extended) normal logic programs. It combines ... highlevel modeling capacities of answer set programming (ASP) with stateoftheart techniques ... clasp has been genuinely developed for answer set solving based on conflictdriven nogood learning...

Potassco
 Referenced in 25 articles
[sw06996]
 solving collection, bundling tools for answer set programming developed at the University of Potsdam...

Clingcon
 Referenced in 14 articles
[sw09892]
 Clingcon is an answer set solver for (extended) constraint normal logic programs. It combines ... highlevel modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over...

NoMoRe
 Referenced in 16 articles
[sw07094]
 semantics NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm ... compute answer sets by computing acolorings (nonstandard graph colorings with two colors ... program $P$. Intuitively, an acoloring reflects the set of generating rules for an answer ... core system was designed for propositional programs only, we have integrated lparse as a grounder...

Clingo
 Referenced in 11 articles
[sw09893]
 Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam: Clingo...

ASPARTIX
 Referenced in 10 articles
[sw08820]
 ASPARTIX: Implementing Argumentation Frameworks Using AnswerSet Programming. The system ASPARTIX is a tool ... program which takes an instance of an argumentation framework as input, and uses the answer ... set solver DLV for computing the type of extension specified by the user...

f2lp
 Referenced in 7 articles
[sw09898]
 stable model semantics into an answer set program, so that existing answer set solvers...

GASP
 Referenced in 4 articles
[sw07096]
 GASP: Answer set programming with lazy grounding In recent years, Answer Set Programming has gained ... compute answer sets of an answer set program. The proposed methodology maintains a bottom ... approach to the computation of answer sets (as in existing systems), but it makes ... answer sets. The implementation has been realized using Constraint Logic Programming over finite domains...

Coala
 Referenced in 7 articles
[sw08842]
 usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed...

STeLP
 Referenced in 4 articles
[sw09772]
 STeLP  A tool for temporal answer set programming. In this paper we present STeLP ... solver for Answer Set Programming with temporal operators. Taking as an input a particular kind...

oClingo
 Referenced in 6 articles
[sw09321]
 oClingo is a system for reactive answer set programming, extending gringo and clasp for handling...

DLVComplex
 Referenced in 5 articles
[sw04434]
 Complex is an Answer Set Programming System extending DLV by means of functions...

FrameNet
 Referenced in 5 articles
[sw01965]
 FrameNet II frames into the answer set programming paradigm of logic programming. Because a number...

DFLAT
 Referenced in 3 articles
[sw09895]
 problem solving using tree decompositions and answerset programming. In this work, we propose Answer...

CCalc
 Referenced in 54 articles
[sw09899]
 related to default logic and logic programming. Computationally, CCalc uses ideas of satisfiability planning ... State University, processes CCalc input using answer set solvers instead of SAT solvers...

ASPIDE
 Referenced in 2 articles
[sw06309]
 ASPIDE: Integrated development environment for answer set programming Answer Set Programming (ASP) is a truly...