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
