• 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...
  • Gringo

  • Referenced in 98 articles [sw04630]
  • provides an introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo, and iclingo ... logic programs provided by users into equivalent propositional logic programs. The answer sets of such ... acting as a monolithic solver for user programs. Finally, iclingo extends clingo by an incremental ... this document aims at enabling ASP novices to make use of the aforementioned tools...
  • clasp

  • Referenced in 92 articles [sw07095]
  • high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques ... satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software ... other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based...
  • Clingcon

  • Referenced in 34 articles [sw09892]
  • high-level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over...
  • DLV2

  • Referenced in 13 articles [sw33094]
  • introduce DLV2, a new answer set programming (ASP) system. DVL2 combines (mathcal {I}mathrm...
  • ASPIDE

  • Referenced in 12 articles [sw06309]
  • environment for answer set programming. Answer Set Programming (ASP) is a truly-declarative programming paradigm...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • 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...
  • aspeed

  • Referenced in 10 articles [sw27492]
  • modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that...
  • ezcsp

  • Referenced in 8 articles [sw27479]
  • engine that allows computing extended answer sets of ASP programs, as defined in [bal09a,bal09b ... programming (CP). An extended answer set of an ASP program P is a pair consisting ... satisfaction problem (CSP) defined by such answer set of P. The current version of EZCSP ... other solvers can be specified) as ASP solver and BProlog as constraint solver. To specify...
  • D-FLAT

  • Referenced in 8 articles [sw09895]
  • this work, we propose Answer-Set Programming (ASP) as a tool for rapid prototyping...
  • DIAMOND

  • Referenced in 8 articles [sw22086]
  • essentially a collection of answer set programming (ASP) encodings of semantics of abstract dialectical frameworks...
  • spock

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

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

  • Referenced in 7 articles [sw30415]
  • OntoDLV: An ASP-based Systemfor Enterprise Ontologies. Enterprise/Corporate ontologies are widely adopted to conceptualize business ... area, the semantic peculiarities of Answer Set Programming (ASP), like the Closed World Assumption...
  • Kara

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

  • Referenced in 5 articles [sw09817]
  • novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based...
  • Asparagus

  • Referenced in 5 articles [sw08841]
  • Asparagus Web-based Benchmarking Environment: Answer Set Programming (ASP) emerged in the late 1990s...
  • APE

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

  • Referenced in 4 articles [sw21395]
  • tool for random testing in answer set programming (ASP) that allows to incorporate constraints ... inputs. Due to the declarative nature of ASP, it can be argued that there ... paper allows for random testing of answer set programs in which both test-input generation ... determining test verdicts is facilitated using ASP itself: the test-input space is defined using...
  • Clingo

  • Referenced in 66 articles [sw09893]
  • Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam: Clingo ... because Gringo 4 adheres to the recent ASP language standard. For processing legacy encodings...