The Hexlite solver. Lightweight and efficient evaluation of HEX programs

DOI10.1007/978-3-030-19570-0_39MaRDI QIDQ2296747zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Inlining external sources in answer set programs
• Exploiting unfounded sets for HEX-program evaluation
• Exploiting partial assignments for efficient evaluation of answer set programs with external source access
• Conflict-driven ASP solving with external sources
• Answer set programming with external sources

Cited in

(4)

• Pruning external minimality checking for answer set programs using semantic dependencies
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
• Hexlite
• Efficient HEX-Program Evaluation Based on Unfounded Sets

Describes a project that uses

Uses Software

• DLVHEX
• WASP
• ActHEX
• Clingo
• Python

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2296747)