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

ASSAT
 Referenced in 168 articles
[sw02524]
 ASSAT (Answer Sets by SAT solvers) is a system for computing answer sets ... converts it into a set C of clauses. Repeats Calls ... exists). If M is an answer set of P, then returns with it. Otherwise, finds...

clasp
 Referenced in 90 articles
[sw07095]
 clasp: A conflictdriven answer set solver. clasp is part of the Potassco project hosted ... Potassco download page. clasp is an answer set solver for (extended) normal logic programs ... 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...

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

Cmodels
 Referenced in 66 articles
[sw04435]
 Cmodels is a system that computes answer sets for either disjunctive logic programs or logic ... programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine ... relation between two semantics: the answer set and the completion semantics for logic programs ... class of programs called tight, the answer set semantics is equivalent to the completion semantics...

Potassco
 Referenced in 67 articles
[sw06996]
 Potassco: the Potsdam answer set solving collection. This paper gives an overview of the open ... source project Potassco, the Potsdam answer set solving collection, bundling tools for answer set programming...

Clingo
 Referenced in 56 articles
[sw09893]
 Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed...

CCalc
 Referenced in 75 articles
[sw09899]
 State University, processes CCalc input using answer set solvers instead of SAT solvers...

Clingcon
 Referenced in 36 articles
[sw09892]
 hybrid solver combining the monolithic answer set solver Clingo and the CSP solver Gecode. Clingcon ... answer set solver for (extended) constraint normal logic programs. It combines the highlevel modeling ... capacities of Answer Set Programming (ASP) with constraint solving. Constraints over nonlinear finite integers...

NoMoRe
 Referenced in 22 articles
[sw07094]
 system for nonmonotonic reasoning under answer set semantics NoMoRe implements answer set semantics ... realizes a novel paradigm to compute answer sets by computing acolorings (nonstandard graph ... generating rules for an answer set, which means that noMoRe is rulebased...

ASPARTIX
 Referenced in 18 articles
[sw08820]
 ASPARTIX: Implementing Argumentation Frameworks Using AnswerSet Programming. The system ASPARTIX is a tool ... framework as input, and uses the answerset solver DLV for computing the type...

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

SeaLion
 Referenced in 10 articles
[sw30393]
 SeaLion has Landed: An IDE for AnswerSet Programming  Preliminary Report. We report about ... integrated development environment (IDE) for answerset programming (ASP). A main goal of SeaLion ... write, evaluate, debug, and test answerset programs. To this end, new support techniques have ... that suit the requirements of the answerset semantics and meet the constraints of practical...

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

f2lp
 Referenced in 10 articles
[sw09898]
 System f2lp – computing answer sets of firstorder formulas. We present an implementation ... stable model semantics into an answer set program, so that existing answer set solvers...

Fgindex
 Referenced in 9 articles
[sw18892]
 proposed to first obtain a candidate answer set by filtering part of the false results ... when the size of the candidate answer set is large. In this paper, we propose ... index returns the exact set of query answers without performing candidate verification. When the query ... graph, FGindex produces a candidate answer set which is close to the exact answer...

aspeed
 Referenced in 11 articles
[sw27492]
 aspeed: solver scheduling via answer set programming. Although Boolean Constraint Technology has made tremendous progress ... modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that...

ezcsp
 Referenced in 8 articles
[sw27479]
 inference engine that allows computing extended answer sets of ASP programs, as defined in [bal09a ... constraint programming (CP). An extended answer set of an ASP program P is a pair ... consisting of an answer set of P, and of a solution to the constraint satisfaction ... problem (CSP) defined by such answer set of P. The current version of EZCSP uses...

STeLP
 Referenced in 10 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 12 articles
[sw09321]
 oClingo is a system for reactive answer set programming, extending gringo and clasp for handling...