• ASPARTIX

  • Referenced in 18 articles [sw08820]
  • Using Answer-Set Programming. The system ASPARTIX is a tool for computing acceptable extensions ... program which takes an instance of an argumentation framework as input, and uses the answer ... set solver DLV for computing the type of extension specified by the user...
  • DLVHEX

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

  • Referenced in 10 articles [sw30393]
  • project on methods and methodologies for answer-set program development in whose context SeaLion ... syntax highlighting, syntax checking, and a visual program outline. Further implemented features are support ... well as visual editing of answer sets. SeaLion comes as a plugin of the popular ... platform and provides itself interfaces for future extensions...
  • dlvhex-sparql

  • Referenced in 1 article [sw25698]
  • such extensions a tight integration of SPARQL query processing and Answer-Set Programming, the underlying...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • define XPathLog as a Datalog-style extension of XPath. XPathLog provides a clear, declarative language ... logic-programming language, whereas also an equivalent answer-set semantics for evaluating XPathLog queries...
  • Democratix

  • Referenced in 3 articles [sw27637]
  • preference aggregation. The declarative nature of answer-set programming (ASP) and the performance of state ... voting rules are put together in the extensible tool Democratix, which handles the computation...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • ASSAT

  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • ANTLR

  • Referenced in 66 articles [sw03062]
  • ANTLR (ANother Tool for Language Recognition) is a...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • ASPIDE

  • Referenced in 14 articles [sw06309]
  • ASPIDE: Integrated development environment for answer set programming...
  • Potassco

  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...
  • Clingo

  • Referenced in 104 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...
  • Lua

  • Referenced in 40 articles [sw10207]
  • Lua is a powerful, fast, lightweight, embeddable scripting...
  • MSPASS

  • Referenced in 25 articles [sw17667]
  • MSPASS: Modal Reasoning by Translation and First-Order...
  • IDP3

  • Referenced in 10 articles [sw22941]
  • Predicate logic as a modeling language: modeling and...
  • GitHub

  • Referenced in 2766 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • PRISM

  • Referenced in 39 articles [sw23359]
  • PRISM: A language for symbolic-statistical modeling. We...