• 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 ... first-order 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 ad-hoc 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...
  • CSP-prover

  • 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]
  • Reaction-Diffusion 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 well-documented programming languages ... basic ideas of Miranda are closely modelled on those of the earlier languages SASL...