• Smodels

  • Referenced in 239 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 108 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 103 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 39 articles [sw09892]
  • high-level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over...
  • DLV2

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

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

  • Referenced in 11 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...
  • 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...
  • plasp

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

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

  • Referenced in 9 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...
  • D-FLAT

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

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

  • Referenced in 8 articles [sw31006]
  • version of the language of Answer Set Programming (ASP) that, in particular, allows users...
  • 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...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • tool for extended logic programs. Answer set programming (ASP) features a rich rule-based modeling ... 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 ... statements using comparable techniques. The produced logic programs are suitable inputs to tools that lack...
  • Clingo

  • Referenced in 102 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...
  • dynASP

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

  • Referenced in 6 articles [sw21595]
  • programming. State-of-the-art answer set programming (ASP) solvers rely on a program called...
  • 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...