DLVHEX

The dlvhex Solver. dlvhex is the name of a prototype application for computing the models of so-called HEX-programs, which are an extension of Answer-Set Programs towards integration of external computation sources. The source code of dlvhex is hosted using git at github.com/hexhex. Packages (tarballs) of dlvhex can be downloaded from the SourceForge dlvhex project page. If you are looking for the RDF- or SPARQL-plugin, please have a look at the SourceForge dlvhex-semweb project page.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Schüller, Peter: The Hexlite solver. Lightweight and efficient evaluation of HEX programs (2019)
  2. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: a logic-based framework for analytic reasoning over streams (2018)
  3. Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel: From description-logic programs to multi-context systems (2017)
  4. Balduccini, Marcello; Lierler, Yuliya; Schüller, Peter: Prolog and ASP inference under one roof (2013)
  5. Bauters, Kim; Schockaert, Steven; Vermeir, Dirk; De Cock, Martine: Communicating ASP and the polynomial hierarchy (2011)
  6. Bauters, Kim; Janssen, Jeroen; Schockaert, Steven; Vermeir, Dirk; De Cock, Martine: Communicating answer set programs (2010)
  7. Bögl, Markus; Eiter, Thomas; Fink, Michael; Schüller, Peter: The \textscmcs-ie system for explaining inconsistency in multi-context systems (2010)
  8. Van Nieuwenborgh, Davy; De Cock, Martine; Vermeir, Dirk: Computing fuzzy answer sets using DLVHEX (2007) ioport