Pruning external minimality checking for answer set programs using semantic dependencies
Eiter, Thomas, Kaminski, TobiasVolume:
290
Journal:
Artificial Intelligence
DOI:
10.1016/j.artint.2020.103402
Date:
January, 2021
File:
PDF, 34 KB
2021