DLVHEX

MaRDI QIDQ15566swMATHFDO

Official website https://sourceforge.net/projects/dlvhex/files/dlvhex-dlplugin/

Source code repository https://github.com/hexhex/

Cited in

(10)

• Prolog and ASP inference under one roof
• The Hexlite solver. Lightweight and efficient evaluation of HEX programs
• Communicating answer set programs
• LARS: a logic-based framework for analytic reasoning over streams
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• C-SPARQL
• ActHEX
• Hexlite
• Communicating ASP and the polynomial hierarchy
• From description-logic programs to multi-context systems

This page was built for software: DLVHEX