• ezcsp

  • Referenced in 11 articles [sw27479]
  • engine that allows computing extended answer sets of ASP programs, as defined in [bal09a,bal09b ... constraint programming (CP). An extended answer set of an ASP program P is a pair...
  • SUNNY

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

  • Referenced in 10 articles [sw08842]
  • usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed...
  • spock

  • Referenced in 6 articles [sw30413]
  • Programs under the Answer-Set Semantics. Answer-set programming (ASP) is an emerging logic-programming ... tracing techniques for debugging logic programs under the answer-set semantics seems rather unnatural, since ... spock, a debugging support tool for answer-set programs making use of ASP itself ... independent of the actual computation of answer sets...
  • DIAMOND

  • Referenced in 9 articles [sw22086]
  • DIAMOND is essentially a collection of answer set programming (ASP) encodings of semantics of abstract...
  • plasp

  • Referenced in 9 articles [sw07080]
  • plasp, implementing Planning by compilation to Answer Set Programming (ASP). Our approach is inspired...
  • OntoDLV

  • Referenced in 9 articles [sw30415]
  • this area, the semantic peculiarities of Answer Set Programming (ASP), like the Closed World Assumption...
  • DLVHEX

  • Referenced in 8 articles [sw03032]
  • programs, which are an extension of Answer-Set Programs towards integration of external computation sources...
  • Kara

  • Referenced in 5 articles [sw30392]
  • Visual Editing of Interpretations for Answer-Set Programs. In answer-set programming (ASP), the solutions ... logical theory. These answer sets are computed from the program that represents the theory ... solver and returned to the user as sets of ground first-order literals. As this ... IDPDraw were developed that allow for visualising answer sets. The tool Kara, introduced in this...
  • ASPVIZ

  • Referenced in 4 articles [sw30389]
  • ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. Answer set programming provides a powerful ... answer sets in which we exploit answer set programming itself to define how visualisations ... assist in the debugging of answer set programs that, as a consequence of their declarative ... traditional approaches: visual rendering of answer sets offers a way to help programmers spot false...
  • Lpopt

  • Referenced in 5 articles [sw21595]
  • Lpopt: A rule optimization tool for answer set programming. State-of-the-art answer...
  • ASPMT2SMT

  • Referenced in 5 articles [sw13280]
  • computing ASPMT theories by SMT solvers. Answer set programming modulo theories (ASPMT) is an approach ... combining answer set programming and satisfiability modulo theories based on the functional stable model semantics...
  • CCalc

  • Referenced in 78 articles [sw09899]
  • related to default logic and logic programming. Computationally, CCalc uses ideas of satisfiability planning ... State University, processes CCalc input using answer set solvers instead of SAT solvers...
  • claspfolio 2

  • Referenced in 7 articles [sw11706]
  • advances in algorithm selection for answer set programming. Building on the award-winning, portfolio-based...
  • dynASP

  • Referenced in 6 articles [sw09817]
  • present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP...
  • aspcud

  • Referenced in 4 articles [sw19012]
  • Linux Package Configuration Tool Based on Answer Set Programming. We present the Linux package configuration ... tool aspcud based on Answer Set Programming. In particular, we detail aspcud’s preprocessor turning...
  • lp2normal

  • Referenced in 4 articles [sw25505]
  • normalization tool for extended logic programs. Answer set programming (ASP) features a rich rule-based ... replacing such extended rules with identically functioning sets of normal rules. In this system description ... acts as a filter on ground logic programs produced by grounders, such as gringo ... when implementing the search for answer sets using a back-end solver without direct support...
  • APE

  • Referenced in 5 articles [sw30402]
  • support the logic programming paradigm of Answer Set Programming (ASP), especially when larger scale applications...
  • Harvey

  • Referenced in 4 articles [sw21395]
  • tool for random testing in answer set programming (ASP) that allows to incorporate constraints ... paper allows for random testing of answer set programs in which both test-input generation...
  • Moviola

  • Referenced in 3 articles [sw27497]
  • dynamic logic programs via multi-shot answer set programming. The causal rejection-based update semantics ... update semantics to logic programs of answer set programming (ASP), they have ... that the resulting logic program is given to an answer set solver to compute models ... composed of iterative answer set computations of a changing program without restarting from scratch...