• Smodels

  • Referenced in 239 articles [sw04631]
  • Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... normal logic programs. The basic idea of ASP is to encode the constraints...
  • clasp

  • Referenced in 103 articles [sw07095]
  • level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from ... satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software ... solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer ... learning. clasp can be applied as an ASP solver (on SMODELS format, as output...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo, and iclingo, developed ... this document aims at enabling ASP novices to make use of the aforementioned tools ... provides a reference of their features that ASP adepts might be tempted to exploit...
  • Clingo

  • Referenced in 104 articles [sw09893]
  • because Gringo 4 adheres to the recent ASP language standard. For processing legacy encodings...
  • WASP

  • Referenced in 56 articles [sw09565]
  • WASP: a native ASP solver based on constraint learning. This paper introduces WASP ... ASP solver handling disjunctive logic programs under the stable model semantics. WASP implements techniques originally ... that have been extended to cope with ASP programs. Among them are restarts, conflict-driven ... methods that have been specifically designed for ASP computation, such as source pointers enhancing unfounded...
  • DLV2

  • Referenced in 22 articles [sw33094]
  • ASP system DLV2. We introduce DLV2, a new answer set programming (ASP) system. DVL2 combines ... mathcal {I}mathrm {-DLV}), a fully-compliant ASP-Core-2 grounder, with the well-assessed ... empirical analysis conducted on benchmarks from past ASP competitions shows that DLV2 outperforms ... close to the state-of-the-art ASP system Clingo...
  • Clingcon

  • Referenced in 39 articles [sw09892]
  • level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear...
  • ASPIDE

  • Referenced in 14 articles [sw06309]
  • answer set programming. Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed ... last few years, several tools for ASP-program development have been proposed, including (more ... less advanced) editors and debuggers. However, ASP still lacks an Integrated Development Environment (IDE) supporting ... entire life-cycle of ASP development, from (assisted) programs editing to application deployment. In this...
  • plasp

  • Referenced in 10 articles [sw07080]
  • prototype for PDDL-based planning in ASP. We present a prototypical system, plasp, implementing Planning ... compilation to Answer Set Programming (ASP). Our approach is inspired by Planning as Satisfiability ... modeling planning techniques by meta-programming in ASP. This has several advantages. First, ASP modelings ... Second, we can take advantage of available ASP grounders to obtain propositional representations. Third...
  • ezcsp

  • Referenced in 11 articles [sw27479]
  • that allows computing extended answer sets of ASP programs, as defined in [bal09a,bal09b]. Intuitively ... EZCSP allows a lightweight integration of ASP and constraint programming (CP). An extended answer ... ASP program P is a pair consisting of an answer ... other solvers can be specified) as ASP solver and BProlog as constraint solver. To specify...
  • ASP

  • Referenced in 13 articles [sw10790]
  • ASP: automated symbolic computation of approximate symmetries of differential equations. Nature of problem: Calculates approximate...
  • claspfolio 2

  • Referenced in 11 articles [sw11706]
  • Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio ... light-weight version of the ASP solver clasp to generate static and dynamic instance features ... distinguishing factor even beyond ASP. As such, it provides a unique framework for comparing...
  • D-FLAT

  • Referenced in 9 articles [sw09895]
  • this work, we propose Answer-Set Programming (ASP) as a tool for rapid prototyping ... which has to be specified in the ASP language. D-FLAT employs an ASP solver ... Moreover, we report experiments which show that ASP-based D-FLAT encodings for some problems ... outperform monolithic ASP encodings on instances of small treewidth...
  • OntoDLV

  • Referenced in 9 articles [sw30415]
  • OntoDLV: An ASP-based Systemfor Enterprise Ontologies. Enterprise/Corporate ontologies are widely adopted to conceptualize business ... semantic peculiarities of Answer Set Programming (ASP), like the Closed World Assumption ... article presents OntoDLV, a system based on ASP for the specification and reasoning on enterprise ... ontology representation language, called OntoDLP, extending (disjunctive) ASP with all the main ontology features including...
  • Lpopt

  • Referenced in 8 articles [sw21595]
  • State-of-the-art answer set programming (ASP) solvers rely on a program called ... handle the standard syntax of the ASP language (ASP-Core) and makes it easier ... users to write efficient and intuitive ASP programs, which would otherwise often require significant hand ... tuning by expert ASP engineers. It is based on an idea proposed by Morak...
  • aspeed

  • Referenced in 10 articles [sw27492]
  • solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that is, nonuniform ... multi-criteria optimization problems and provide corresponding ASP encodings. The resulting encodings are easily customizable...
  • selp

  • Referenced in 8 articles [sw31006]
  • language of Answer Set Programming (ASP) that, in particular, allows users to express epistemic negation ... input ELP into a non-ground disjunctive ASP program, making use of long rule bodies ... This allows a subsequently called ASP solving system to solve this program, and therefore...
  • iClingo

  • Referenced in 13 articles [sw11388]
  • iclingo is an incremental ASP system implemented on top of clingo. It is based...
  • DIAMOND

  • Referenced in 9 articles [sw22086]
  • essentially a collection of answer set programming (ASP) encodings of semantics of abstract dialectical frameworks ... with a wrapper script that calls an ASP solver with adequate encodings for a given...