swMATH3032MaRDI QIDQ15566FDOQ15566
Author name not available (Why is that?)
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
- Communicating ASP and the polynomial hierarchy
- C-SPARQL
- ActHEX
- Hexlite
- From description-logic programs to multi-context systems
This page was built for software: DLVHEX
