aspcud

MaRDI QIDQ30843swMATHFDO

Official website https://arxiv.org/abs/1109.0113

Cited in

(8)

• Prolog and ASP inference under one roof
• DLVHEX
• BEE
• GidL
• asprilo
• Hexlite
• Pruning external minimality checking for answer set programs using semantic dependencies
• What is answer set programming to propositional satisfiability

This page was built for software: aspcud