• clasp

  • Referenced in 103 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp is part of the Potassco project hosted ... Potassco download page. clasp is an answer set solver for (extended) normal logic programs ... high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques ... existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based...
  • ASSAT

  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a system for computing answer sets ... ASSAT(X), depending on the SAT solver X used, works as follows: Computes the completion ... converts it into a set C of clauses. Repeats Calls ... such M exists). If M is an answer set of P, then returns with...
  • CCalc

  • Referenced in 79 articles [sw09899]
  • State University, processes CCalc input using answer set solvers instead of SAT solvers...
  • Cmodels

  • Referenced in 71 articles [sw04435]
  • logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search ... relation between two semantics: the answer set and the completion semantics for logic programs ... answer sets for such a program can be enumerated by a SAT solver ... program are equivalent to the answer sets of th! e program. Unfortunetly number of loop...
  • Clingcon

  • Referenced in 39 articles [sw09892]
  • answer set solver Clingo and the CSP solver Gecode. Clingcon is an answer set solver ... high-level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over ... learning and theory propagation for the CSP solver...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • framework as input, and uses the answer-set solver DLV for computing the type...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • answer sets of such programs can be computed by clasp, which is a solver...
  • OMiGA

  • Referenced in 10 articles [sw33084]
  • Answer Set Solver. We present a new solver for Answer-Set Programs whose main features ... solving distributed answer-set programs. The solver is implemented in Java and uses an underlying...
  • f2lp

  • Referenced in 10 articles [sw09898]
  • answer set program, so that existing answer set solvers can be used for computing...
  • STeLP

  • Referenced in 10 articles [sw09772]
  • paper we present STeLP, a solver for Answer Set Programming with temporal operators. Taking ... Splitable Temporal Logic Program), STeLP obtains its set of temporal equilibrium models (a generalisation ... models for this extended syntax). The obtained set of models is represented in terms ... readable way. The input language provides a set of constructs which allow a simple definition...
  • aspeed

  • Referenced in 10 articles [sw27492]
  • aspeed: solver scheduling via answer set programming. Although Boolean Constraint Technology has made tremendous progress ... efficacy of state-of-the-art solvers is known to vary considerably across different types ... handmade, uniform, and unordered schedules of multiple solvers in {it ppfolio}, which showed very impressive ... Answer Set Programming (ASP) to automatically determine more refined, that is, nonuniform and ordered solver...
  • nomore++

  • Referenced in 6 articles [sw21358]
  • solving. We present a new answer set solver, called nomore++, along with its underlying theoretical...
  • ASPMT2SMT

  • Referenced in 5 articles [sw13280]
  • ASPMT2SMT: computing ASPMT theories by SMT solvers. Answer set programming modulo theories (ASPMT ... approach to combining answer set programming and satisfiability modulo theories based on the functional stable ... turned into SMT instances, thereby allowing SMT solvers to compute stable models of ASPMT programs...
  • Moviola

  • Referenced in 3 articles [sw27497]
  • logic program is given to an answer set solver to compute models of the current ... multi-shot ASP, composed of iterative answer set computations of a changing program without restarting ... called Moviola, utilizing the multi-shot answer set solver Clingo. Using the system, a user...
  • Galliwasp

  • Referenced in 2 articles [sw09566]
  • Galliwasp: a goal-directed answer set solver. Galliwasp is a goal-directed implementation of answer ... programming. Unlike other answer set solvers, Galliwasp computes partial answer sets which are provably extensible ... which are comparable to other popular answer set solvers, are also presented...
  • Cplus2ASP

  • Referenced in 3 articles [sw09897]
  • language with the speed of modern answer set solvers to capture the best of both...
  • iClingo

  • Referenced in 13 articles [sw11388]
  • passed to the solver that accumulates ground rules and computes answer sets for them...
  • Lpopt

  • Referenced in 6 articles [sw21595]
  • programming. State-of-the-art answer set programming (ASP) solvers rely on a program called...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • project on methods and methodologies for answer-set program development in whose context SeaLion ... external solvers and visualisation as well as visual editing of answer sets. SeaLion comes...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • implementing the search for answer sets using a back-end solver without direct support...