• Clingo

  • Referenced in 104 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed ... offers more control over the grounding and solving process than gringo and clasp can offer...
  • Potassco

  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This paper gives an overview of the open ... source project Potassco, the Potsdam answer set solving collection, bundling tools for answer set programming...
  • clasp

  • Referenced in 103 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...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • logic program such that the answer sets (stable models) of the program correspond ... solve the problem by letting a logic program engine to find the answer sets...
  • Clingcon

  • Referenced in 39 articles [sw09892]
  • level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear...
  • asprin

  • Referenced in 11 articles [sw30408]
  • Potassco, the Potsdam Answer Set Solving Collection - asprin: asprin is a general framework for qualitative...
  • PLATYPUS

  • Referenced in 7 articles [sw01343]
  • PLATYPUS: A platform for distributed answer set solving. We propose a model to manage...
  • nomore++

  • Referenced in 6 articles [sw21358]
  • nomore++ approach to answer set solving. We present a new answer set solver, called nomore...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • into equivalent propositional logic programs. The answer sets of such programs can be computed ... incremental mode that incorporates both grounding and solving. For one, this document aims at enabling...
  • OMiGA

  • Referenced in 10 articles [sw33084]
  • present a new solver for Answer-Set Programs whose main features include grounding ... readiness for use in solving distributed answer-set programs. The solver is implemented in Java...
  • aspeed

  • Referenced in 10 articles [sw27492]
  • aspeed: solver scheduling via answer set programming. Although Boolean Constraint Technology has made tremendous progress ... advantage of the modeling and solving capacities of Answer Set Programming (ASP) to automatically determine...
  • spock

  • Referenced in 6 articles [sw30413]
  • Programs under the Answer-Set Semantics. Answer-set programming (ASP) is an emerging logic-programming ... description of a problem from its solving methods. Despite its semantic elegance, ASP suffers from ... under the answer-set semantics seems rather unnatural, since employing imperative solving algorithms would undermine ... spock, a debugging support tool for answer-set programs making use of ASP itself...
  • D-FLAT

  • Referenced in 9 articles [sw09895]
  • FLAT: Declarative problem solving using tree decompositions and answer-set programming. In this work...
  • DLV2

  • Referenced in 22 articles [sw33094]
  • DLV2. We introduce DLV2, a new answer set programming (ASP) system. DVL2 combines (mathcal ... heuristics of the system and extend its solving capabilities. An empirical analysis conducted on benchmarks...
  • SUNNY

  • Referenced in 12 articles [sw31800]
  • underlying SUNNY algorithm in order to solve a given CSP. Empirical tests conducted on exhaustive ... export them to fields such as Answer Set Programming and Constraint Logic Programming...
  • Cplus2ASP

  • Referenced in 3 articles [sw09897]
  • action descriptions written for CCalc into answer set programs. The current work comprises a suite ... CCalc action descriptions, solve the translated ASP programs, and produce answer sets similar...
  • teaspoon

  • Referenced in 3 articles [sw27500]
  • teaspoon : Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming. Answer Set Programming...
  • eclingo

  • Referenced in 4 articles [sw39883]
  • some of the answer sets of a program. The eclingo solving process follows a guess...
  • Moviola

  • Referenced in 3 articles [sw27497]
  • update semantics to logic programs of answer set programming (ASP), they have ... solving in a sense that the resulting logic program is given to an answer set...
  • cheney-kincaid

  • Referenced in 25 articles [sw11656]
  • orthogonal polynomials, have been added. Many problem sets throughout the book have been revised ... been added in the chapter on solving linear systems of equations. A new appendix ... emphasizes Fortran 77. Many more answers and hits to problems have been supplied...