aspcud

swMATH19012MaRDI QIDQ30843FDOQ30843

Author name not available (Why is that?)

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

Cited In (8)

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

This page was built for software: aspcud