
Smodels
 Referenced in 238 articles
[sw04631]
 Programming (ASP) implementation based on the stable model semantics of normal logic programs. The basic ... program such that the answer sets (stable models) of the program correspond to the solutions...

WASP
 Referenced in 40 articles
[sw09565]
 handling disjunctive logic programs under the stable model semantics. WASP implements techniques originally introduced ... atom support, and techniques for stable model checking. Concerning the branching heuristics, WASP adopts...

GNT
 Referenced in 22 articles
[sw00367]
 experimental implementation of the stable model semantics for disjunctive logic programs [Gelfond and Lifschitz ... possible model candidates while the other checks for minimality, as required from disjuctive stable models...

Lparse
 Referenced in 42 articles
[sw04633]
 also implements several other semantics (classical negation, partial stable models) by translating them into normal...

f2lp
 Referenced in 10 articles
[sw09898]
 firstorder theory under the stable model semantics into an answer set program, so that ... rules. Based on the relationship between stable models and circumscription, f2lp can also serve...

ASPeRiX
 Referenced in 6 articles
[sw00050]
 ASPeRiX is an implementation of the stable model semantics for normal logic programs. The main...

ASPMT2SMT
 Referenced in 4 articles
[sw13280]
 modulo theories based on the functional stable model semantics. It is shown that the tight ... thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper...

ActiveMath
 Referenced in 48 articles
[sw06374]
 stable, webbased, multilingual, useradaptive learning system for mathematics. It is a Semantic ... with a number of services. It’s ModelViewController architecture as presented...

PrASP
 Referenced in 2 articles
[sw18512]
 programming and firstorder theories under stable model semantics. This system description paper describes ... firstorder logic formulas (with stable model semantics), annotated with conditional or unconditional probabilities...

CSPprover
 Referenced in 15 articles
[sw11465]
 focuses on the stable failures model F as the underlying denotational semantics of CSP. Semantically...

fasp2smt
 Referenced in 2 articles
[sw33092]
 incomplete and imprecise knowledge under stable model semantics. This is a solver based on translations...

Carneades
 Referenced in 9 articles
[sw22087]
 International Competition on Computational Models of Argument (ICCMA) is a straightforward implementation ... skeptically inferred) and Dung semantics (grounded, complete, preferred, stable) covered by the competition have been...

SCEst
 Referenced in 1 article
[sw26908]
 rule,” which demands that signals have a stable value throughout one reaction cycle. This ... guaranteed, adopting the recently proposed Sequentially Constructive model of computation. SCEst is grounded ... Constructive Language, which also provides a novel semantic definition and compilation approach for Esterel...

ADOLC
 Referenced in 242 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

LAPACK
 Referenced in 1647 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6041 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

nauty
 Referenced in 571 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...