Debugging ASP Programs by Means of ASP.
Martin BrainMartin GebserJörg PührerTorsten SchaubHans TompitsStefan WoltranPublished in: LPNMR (2007)
Keyphrases
- answer set programming
- answer set programs
- web applications
- answer sets
- hardware designs
- stable model semantics
- java programs
- declarative programming
- program slicing
- stable models
- logic programs
- knowledge base
- computer vision
- data sets
- logic programming
- fault localization
- open source
- hidden markov models
- novice programmers
- real time