The Hexlite solver. Lightweight and efficient evaluation of HEX programs

DOI10.1007/978-3-030-19570-0_39OpenAlexW2944557193MaRDI QIDQ2296747

Peter Schüller

Publication date: 18 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_39

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Hexlite

Uses Software

• Unnamed Item
• WASP
• Clingo
• Python
• ActHEX

This page was built for publication: The Hexlite solver. Lightweight and efficient evaluation of HEX programs