The following pages link to DLVHEX (Q15566):
Displayed 7 items.
- From description-logic programs to multi-context systems (Q516031) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs (Q2296747) (← links)
- Prolog and ASP Inference under One Roof (Q2851242) (← links)
- COMMUNICATING ANSWER SET PROGRAMS (Q2883071) (← links)
- Communicating ASP and the Polynomial Hierarchy (Q3003244) (← links)
- The mcs-ie System for Explaining Inconsistency in Multi-Context Systems (Q4930779) (← links)