
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...

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

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

micrOMEGAs
 Referenced in 60 articles
[sw01425]
 properties of a stable massive particle in a generic model. First developed to compute ... relic density of a stable massive particle, the code also computes the rates for direct ... MSSM and various extensions. Extensions to other models can be implemented by the user...

STABLE
 Referenced in 107 articles
[sw04843]
 stable densities and distribution functions”, J. P. Nolan, Commun. Statist.Stochastic Models ... Mallows and Stuck’s algorithm to generate stable random variates. It also performs maximum likelihood...

f2lp
 Referenced in 10 articles
[sw09898]
 implementation of the general language of stable models proposed by Ferraris, Lee and Lifschitz. Under ... 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...

GPfit
 Referenced in 19 articles
[sw14044]
 package GPfit: Gaussian Processes Modeling. A computationally stable approach of fitting a Gaussian Process ... emulating expensive computer simulators. Fitting a GP model can be numerically unstable if any pair ... proposed a computationally stable approach for fitting GP models to deterministic computer simulators. They used...

MicrOMEGAs 2.0
 Referenced in 42 articles
[sw01426]
 relic density of a stable massive particle in an arbitrary model. The underlying assumption...

mi
 Referenced in 26 articles
[sw10551]
 prior distributions to construct more stable estimates of imputation models. Our goal is to have...

STeLP
 Referenced in 10 articles
[sw09772]
 temporal equilibrium models (a generalisation of stable models for this extended syntax). The obtained...

parfm
 Referenced in 10 articles
[sw19053]
 parametric frailty models in R. The gamma, inverse Gaussian, and positive stable frailty distributions ... least one cluster. The positive stable model shows analogous difficulties but an adhoc solution...

asprin
 Referenced in 10 articles
[sw30408]
 that allows: computing optimal stable models of logic programs with preferences, and; defining new preference...

XASP
 Referenced in 5 articles
[sw13876]
 programs to the SModels [14] stable model generator. The main interface is based ... complete representation of a program whose stable model should be generated, the clauses are copied ... invoked, and information about any stable models generated are returned. This use of XASP ... also through the stable models produced for the various bindings. The current version of XASP...

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

URDME
 Referenced in 25 articles
[sw10400]
 ReactionDiffusion Master Equation formalism to model the processes under study. An interface ... Multiphysics) provides for a stable and interactive environment for model construction. The core simulation routines...

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...

DeReS
 Referenced in 3 articles
[sw32312]
 logic program, DeReS computes stable models of this program and supports queries on membership ... atom in some or all stable models. The paper contains an account of our preliminary...

Miranda
 Referenced in 152 articles
[sw04986]
 larger community, in the form of stable implementations of complete and welldocumented programming languages ... basic ideas of Miranda are closely modelled on those of the earlier languages SASL...