
Smodels
 Referenced in 238 articles
[sw04631]
 Answer Set Programming (ASP) implementation based on the stable model semantics of normal logic programs ... constraints of a problem as a logic program such that the answer sets (stable models...

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

clasp
 Referenced in 90 articles
[sw07095]
 highlevel modeling capacities of answer set programming (ASP) with stateoftheart techniques ... from the area of Boolean constraint solving. The primary clasp algorithm relies on conflictdriven ... clasp has been genuinely developed for answer set solving based on conflictdriven nogood learning...

SUNNY
 Referenced in 11 articles
[sw31800]
 schedule of them for solving a given Constraint Satisfaction Problem (CSP). Motivated by the performance ... them to fields such as Answer Set Programming and Constraint Logic Programming...

GASP
 Referenced in 13 articles
[sw07096]
 answer sets. The implementation has been realized using Constraint Logic Programming over finite domains...

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]
 engine that allows computing extended answer sets of ASP programs, as defined in [bal09a,bal09b ... integration of ASP and constraint programming (CP). An extended answer set of an ASP program ... solution to the constraint satisfaction problem (CSP) defined by such answer...

Harvey
 Referenced in 4 articles
[sw21395]
 random testing in answer set programming (ASP) that allows to incorporate constraints to guide ... paper allows for random testing of answer set programs in which both testinput generation ... simple random testing by adding further ASP constraints in the process...

SeaLion
 Referenced in 10 articles
[sw30393]
 write, evaluate, debug, and test answerset programs. To this end, new support techniques have ... requirements of the answerset semantics and meet the constraints of practical applicability. In this ... project on methods and methodologies for answerset program development in whose context SeaLion...

lp2normal
 Referenced in 3 articles
[sw25505]
 normalization tool for extended logic programs. Answer set programming (ASP) features a rich rulebased ... conditions and constraints. Normalization means replacing such extended rules with identically functioning sets of normal ... acts as a filter on ground logic programs produced by grounders, such as gringo ... answer sets using a backend solver without direct support for cardinality constraints or pseudo...

TCHR
 Referenced in 4 articles
[sw01345]
 tabled logic programming. The framework is easily instantiated with new applicationspecific constraint domains. Various ... novel, generalized technique for compacting answer sets...

meneco
 Referenced in 1 article
[sw30406]
 network that satisfy the producibility constraints. Additionally, it can compute the union and intersection ... principles into Answer Set Programming to express the producibility constraints for a set of metabolites...

S3
 Referenced in 7 articles
[sw19495]
 Motivated by the vulnerability analysis of web programs which work on string inputs, we present ... solver employs a new algorithm for a constraint language that is expressive enough for widespread ... symbolic representation so that membership in a set defined by a regular expression ... wellknown set of practical benchmarks, demonstrating both its robustness (more definitive answers...

XASP
 Referenced in 5 articles
[sw13876]
 Summary of XASP: Answer Set Programming using XSB: .. The XASP package provides various mechanisms that ... allow tight linkage of XSB programs to the SModels [14] stable model generator. The main ... incrementally asserted or deleted by an XSB program. Clauses in this store can make ... cardinality and weight constraint syntax supported by SModels, in addition to default negation. When...

InstQL
 Referenced in 1 article
[sw02055]
 query language for virtual institutions using answer set programming Institutions provide a mechanism to capture ... number of powerful features including temporal constraints over events and fluents that can be used...

Lpopt
 Referenced in 1 article
[sw21595]
 answer set programming (ASP) solvers rely on a program called a grounder to convert ... ground programs containing variables into variablefree, propositional programs. The size of this grounding depends ... lpopt, a tool that decomposes large logic programming rules into smaller rules that are easier ... users to write efficient and intuitive ASP programs, which would otherwise often require significant hand...

MetiTarski
 Referenced in 49 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Paramils
 Referenced in 70 articles
[sw00678]
 Paramils: an automatic algorithm configuration framework. The identification...