• DLV

  • Referenced in 33 articles [sw04640]
  • DLV is a deductive database system, based on disjunctive logic programming, which offers front-ends...
  • DLV2

  • Referenced in 22 articles [sw33094]
  • system. DVL2 combines (mathcal {I}mathrm {-DLV}), a fully-compliant ASP-Core-2 grounder, with...
  • DLV-EX

  • Referenced in 16 articles [sw04642]
  • External sources of knowledge and value invention in...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • input, and uses the answer-set solver DLV for computing the type of extension specified...
  • DLV-Complex

  • Referenced in 5 articles [sw04434]
  • DLV-Complex is an Answer Set Programming System extending DLV by means of functions ... lists, along with libraries for their manipulations. DLV-Complex is based on the DLV system ... DLV-EX framework, from which it inherits the possibility of defining external predicates...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • editors for the languages of Gringo and DLV that offer syntax highlighting, syntax checking...
  • iGROM

  • Referenced in 2 articles [sw30391]
  • specifically (or, rather, currently) those written in DLV (and its frontends) and Smodels...
  • dlvhex-sparql

  • Referenced in 1 article [sw25698]
  • flexible plugin system on top of the DLV solver. This work advances our earlier translation...
  • Uhura

  • Referenced in 1 article [sw31979]
  • Uhura is implemented in Java and employs DLV as backend answer-set solver...
  • GNT

  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...
  • PLATYPUS

  • Referenced in 7 articles [sw01343]
  • PLATYPUS: A platform for distributed answer set solving...
  • GraphBase

  • Referenced in 135 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • ASSAT

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

  • Referenced in 71 articles [sw04435]
  • Cmodels is a system that computes answer sets...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • NoMoRe: A system for non-monotonic reasoning under...
  • XSB

  • Referenced in 144 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...