Logic Program Debugging is a systematic method for identifying and correcting logical inconsistencies and computational errors in logic programs by analyzing the declarative and procedural semantics of their clause-based execution.
24
Publications
678
Citations
49
Authors
27
Institutions
Publications per year
2017–2026
0
Variants
Debugging Logic Programs
Parents
Publications
24
Ehud Shapiro · 1982 · 100 citations
Debugging logic programs under the answer set semantics
Martin Brain, Marina De Vos · 2005 · 59 citations
1–5 of 24
Authors
49
- ME
2
h-index
- MB
2
h-index
- AM
1
h-index
- MF
1
h-index
- MD
1
h-index
1–5 of 49
Institutions
27
University of Bath
Bath, United Kingdom
2 h-index
2 publications
82 citations
Institute of Computer Science
Warsaw, Poland
1 h-index
1 publications
16 citations
University of Pisa
Pisa, Italy
1 h-index
2 publications
22 citations
University of Udine
Udine, Italy
1 h-index
1 publications
18 citations
Stony Brook University
Stony Brook, United States
1 h-index
2 publications
26 citations
University of Michigan
Ann Arbor, United States
1 h-index
2 publications
28 citations
Universität Hamburg
Hamburg, Germany
1 h-index
2 publications
42 citations
University of Bristol
Bristol, United Kingdom
1 h-index
2 publications
24 citations
1–8 of 27
Venues
- The Journal of Logic Programming
3 publications · 221 citations
3
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 47 citations
2
h-index
- SLP
1 publications · 12 citations
1
h-index
- International Joint Conference on Artificial Intelligence
Conference · 1 publications · 16 citations
1
h-index
- ACM Transactions on Computational Logic
TOCL · 1 publications · 16 citations
1
h-index
1–5