spock

MaRDI QIDQ42127swMATHFDO

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

Cited in

(15)

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

This page was built for software: spock