• Smodels

  • Referenced in 238 articles [sw04631]
  • Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... problem as a logic program such that the answer sets (stable models) of the program ... program engine to find the answer sets of the program...
  • Gringo

  • Referenced in 98 articles [sw04630]
  • document provides an introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo ... users into equivalent propositional logic programs. The answer sets of such programs can be computed...
  • clasp

  • Referenced in 93 articles [sw07095]
  • clasp is an answer set solver for (extended) normal logic programs. It combines ... high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques ... clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning...
  • Cmodels

  • Referenced in 67 articles [sw04435]
  • answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer ... class of programs called tight, the answer set semantics is equivalent to the completion semantics ... that the answer sets for such a program can be enumerated by a SAT solver ... formulas ”as needed” for finding answer sets of a program...
  • Potassco

  • Referenced in 73 articles [sw06996]
  • solving collection, bundling tools for answer set programming developed at the University of Potsdam...
  • ASSAT

  • Referenced in 169 articles [sw02524]
  • system for computing answer sets of a logic program by using SAT solvers. Briefly speaking ... given a ground logic program P, ASSAT(X), depending on the SAT solver X used ... converts it into a set C of clauses. Repeats Calls ... such M exists). If M is an answer set of P, then returns with...
  • Clingo

  • Referenced in 66 articles [sw09893]
  • Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam: Clingo...
  • Clingcon

  • Referenced in 34 articles [sw09892]
  • Clingcon is an answer set solver for (extended) constraint normal logic programs. It combines ... high-level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over...
  • GASP

  • Referenced in 13 articles [sw07096]
  • GASP: Answer set programming with lazy grounding In recent years, Answer Set Programming has gained ... compute answer sets of an answer set program. The proposed methodology maintains a bottom ... approach to the computation of answer sets (as in existing systems), but it makes ... answer sets. The implementation has been realized using Constraint Logic Programming over finite domains...
  • ASPIDE

  • Referenced in 12 articles [sw06309]
  • ASPIDE: Integrated development environment for answer set programming. Answer Set Programming (ASP) is a truly...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. The system ASPARTIX is a tool ... program which takes an instance of an argumentation framework as input, and uses the answer ... set solver DLV for computing the type of extension specified by the user...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. We report about ... integrated development environment (IDE) for answer-set programming (ASP). A main goal of SeaLion ... write, evaluate, debug, and test answer-set programs. To this end, new support techniques have ... project on methods and methodologies for answer-set program development in whose context SeaLion...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • semantics NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm ... compute answer sets by computing a-colorings (non-standard graph colorings with two colors ... program $P$. Intuitively, an a-coloring reflects the set of generating rules for an answer ... core system was designed for propositional programs only, we have integrated lparse as a grounder...
  • DLV2

  • Referenced in 15 articles [sw33094]
  • DLV2. We introduce DLV2, a new answer set programming (ASP) system. DVL2 combines (mathcal...
  • STeLP

  • Referenced in 10 articles [sw09772]
  • STeLP -- A tool for temporal answer set programming. In this paper we present STeLP ... solver for Answer Set Programming with temporal operators. Taking as an input a particular kind...
  • aspeed

  • Referenced in 10 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...
  • f2lp

  • Referenced in 10 articles [sw09898]
  • stable model semantics into an answer set program, so that existing answer set solvers...
  • oClingo

  • Referenced in 12 articles [sw09321]
  • oClingo is a system for reactive answer set programming, extending gringo and clasp for handling...
  • D-FLAT

  • Referenced in 8 articles [sw09895]
  • problem solving using tree decompositions and answer-set programming. In this work, we propose Answer...
  • SUNNY

  • Referenced in 11 articles [sw31800]
  • export them to fields such as Answer Set Programming and Constraint Logic Programming...