DLVHEX
From MaRDI portal
Software:15566
No author found.
Related Items (7)
LARS: a logic-based framework for analytic reasoning over streams ⋮ Communicating ASP and the Polynomial Hierarchy ⋮ From description-logic programs to multi-context systems ⋮ The mcs-ie System for Explaining Inconsistency in Multi-Context Systems ⋮ The Hexlite solver. Lightweight and efficient evaluation of HEX programs ⋮ COMMUNICATING ANSWER SET PROGRAMS ⋮ Prolog and ASP Inference under One Roof
This page was built for software: DLVHEX
