Justification and debugging of answer set programs in ASP
Proceedings of the sixth international symposium on Automated analysis-driven debugging
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
A novel test case generation method for prolog programs based on call patterns semantics
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
A survey on algorithmic debugging strategies
Advances in Engineering Software
| Hi-index | 0.00 |