• 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 non-linear...
  • clasp

  • Referenced in 90 articles [sw07095]
  • high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques ... from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven ... clasp has been genuinely developed for answer set solving based on conflict-driven 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 test-input generation ... simple random testing by adding further ASP constraints in the process...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • write, evaluate, debug, and test answer-set programs. To this end, new support techniques have ... requirements of the answer-set semantics and meet the constraints of practical applicability. In this ... project on methods and methodologies for answer-set 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 rule-based ... 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 back-end 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 application-specific 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 ... well-known 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 variable-free, 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 SAT-solver. MiniSat is a minimalistic...
  • Paramils

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