• 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 37 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 41 articles [sw04633]
  • also implements several other semantics (classical negation, partial stable models) by translating them into normal...
  • f2lp

  • Referenced in 10 articles [sw09898]
  • 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...
  • 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, web-based, multi-lingual, user-adaptive learning system for mathematics. It is a Semantic ... with a number of services. It’s Model-View-Controller architecture as presented...
  • CSP-prover

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

  • Referenced in 1 article [sw18512]
  • programming and first-order theories under stable model semantics. This system description paper describes ... first-order logic formulas (with stable model semantics), annotated with conditional or unconditional probabilities...
  • Carneades

  • Referenced in 8 articles [sw22087]
  • International Competition on Computational Models of Argument (ICCMA) is a straight-forward 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...
  • ADOL-C

  • Referenced in 230 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • LAPACK

  • Referenced in 1617 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5020 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5857 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11969 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 528 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 553 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...