spock

swMATH30413MaRDI QIDQ42127FDOQ42127

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-642-00675-3_17

Cited In (12)

• xASP
• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• xclingo
• DiscASP
• ASPIDE
• VIDEAS
• Debugging non-ground ASP programs: technique and graphical tools
• APE
• OntoDLV
• TOAST
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming

This page was built for software: spock