• Smodels

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

  • Referenced in 168 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a system for computing answer sets ... converts it into a set C of clauses. Repeats Calls ... exists). If M is an answer set of P, then returns with it. Otherwise, finds...
  • clasp

  • Referenced in 90 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 ... clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning...
  • Gringo

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

  • Referenced in 66 articles [sw04435]
  • Cmodels is a system that computes answer sets for either disjunctive logic programs or logic ... programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine ... relation between two semantics: the answer set and the completion semantics for logic programs ... class of programs called tight, the answer set semantics is equivalent to the completion semantics...
  • Potassco

  • Referenced in 67 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...
  • Clingo

  • Referenced in 56 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed...
  • CCalc

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

  • Referenced in 36 articles [sw09892]
  • hybrid solver combining the monolithic answer set solver Clingo and the CSP solver Gecode. Clingcon ... answer set solver for (extended) constraint normal logic programs. It combines the high-level modeling ... capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • system for non-monotonic reasoning under answer set semantics NoMoRe implements answer set semantics ... realizes a novel paradigm to compute answer sets by computing a-colorings (non-standard graph ... generating rules for an answer set, which means that noMoRe is rule-based...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. The system ASPARTIX is a tool ... framework as input, and uses the answer-set solver DLV for computing the type...
  • GASP

  • Referenced in 11 articles [sw07096]
  • GASP: Answer set programming with lazy grounding In recent years, Answer Set Programming has gained ... presents a novel methodology to compute answer sets of an answer set program. The proposed ... approach to the computation of answer sets (as in existing systems), but it makes ... performed during the computation of the answer sets. The implementation has been realized using Constraint...
  • 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 ... that suit the requirements of the answer-set semantics and meet the constraints of practical...
  • ASPIDE

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

  • Referenced in 10 articles [sw09898]
  • System f2lp – computing answer sets of first-order formulas. We present an implementation ... stable model semantics into an answer set program, so that existing answer set solvers...
  • Fg-index

  • Referenced in 9 articles [sw18892]
  • proposed to first obtain a candidate answer set by filtering part of the false results ... when the size of the candidate answer set is large. In this paper, we propose ... index returns the exact set of query answers without performing candidate verification. When the query ... graph, FG-index produces a candidate answer set which is close to the exact answer...
  • 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]
  • inference engine that allows computing extended answer sets of ASP programs, as defined in [bal09a ... constraint programming (CP). An extended answer set of an ASP program P is a pair ... consisting of an answer set of P, and of a solution to the constraint satisfaction ... problem (CSP) defined by such answer set of P. The current version of EZCSP uses...
  • 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...
  • oClingo

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