DLVHEX
From MaRDI portal
Software:15566
swMATH3032MaRDI QIDQ15566FDOQ15566
Author name not available (Why is that?)
Cited In (7)
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- Communicating answer set programs
- LARS: a logic-based framework for analytic reasoning over streams
- Prolog and ASP Inference under One Roof
- The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
- Communicating ASP and the Polynomial Hierarchy
- From description-logic programs to multi-context systems
This page was built for software: DLVHEX
